gps/style_checker.xml

   1 <?xml version="1.0" ?>
   2 <!--  This file adds support for the style_checker utility to GPS. -->
   3
   4 <style_checker>
   5    <action name="Style_Checker" output="none" category="Style_Checker">
   6       <description>Check source code style.</description>
   7
   8       <shell>MDI.save_all</shell>
   9       <shell>Locations.remove_category "Style Checker"</shell>
  10       <shell>Project %p</shell>
  11       <shell>Project.get_tool_switches_as_string %1 Style_Checker</shell>
  12       <external output="">style_checker %1 "%F"</external>
  13       <on-failure>
  14         <shell>Locations.parse "%1 " "Style Checker"</shell>
  15       </on-failure>
  16    </action>
  17
  18    <submenu>
  19       <Title>Edit</Title>
  20       <menu action="Style_Checker" before="Unit Testing" >
  21          <title>Check for style errors</title>
  22       </menu>
  23    </submenu>
  24
  25    <tool name="Style_Checker" package="Style_Checker" index="Style_Checker" >
  26       <language>Ada</language>
  27       <switches lines="3">
  28          <title line="1" >Simple switches</title>
  29          <title line="2" >Line ending</title>
  30          <title line="3" >Copyright</title>
  31
  32          <!-- section 1 -->
  33          <check label="Allow trailing spaces"
  34                 switch="-T" line="1"/>
  35
  36          <check label="Allow duplicate blank lines"
  37                 switch="-B" line="1"/>
  38
  39          <check label="Allow single space after comment characters"
  40                 switch="-C" line="1"/>
  41
  42          <check label="Forbid single comment line ending with dot"
  43                 switch="-d" line="1"/>
  44
  45          <check label="Disable Ada syntax check"
  46                 switch="-S" line="1"/>
  47
  48          <spin label="Maximum line length" min="50" max="120" default="79"
  49                switch="-l"/>
  50
  51          <check label="Do not check for header size"
  52                 switch="-H" line="1"/>
  53
  54          <spin label="Header size" min="0" max="40" default="20"
  55                switch="-h"/>
  56
  57          <dependency master-page="Style_Checker" slave-page="Style_Checker"
  58                      master-switch="-H"
  59                      slave-switch="-h"
  60                      master-status="on" slave-status="20" />
  61
  62          <dependency master-page="Style_Checker" slave-page="Style_Checker"
  63                      master-switch="-h"
  64                      slave-switch="-H"
  65                      master-status="21" slave-status="off" />
  66
  67          <dependency master-page="Style_Checker" slave-page="Style_Checker"
  68                      master-switch="-h"
  69                      slave-switch="-H"
  70                      master-status="19" slave-status="off" />
  71
  72          <!-- section 2 -->
  73          <radio line="2">
  74            <radio-entry label="Do not check line ending" switch="-E" />
  75            <radio-entry label="DOS line ending" switch="-eDOS" />
  76            <radio-entry label="UNIX line ending" switch="-eUNIX" />
  77          </radio>
  78
  79          <!-- section 3 -->
  80          <check label="Check for copyright presence"
  81                 switch="-cp" line="3"/>
  82
  83          <check label="Check for copyright year"
  84                 switch="-cy" line="3"/>
  85
  86          <field label="Copyright pattern" switch="-cf"
  87                 separator=" " line="3"/>
  88       </switches>
  89    </tool>
  90 </style_checker>