-- --
-- S p e c --
-- --
--- Copyright (C) 1996-2008, Free Software Foundation, Inc. --
+-- Copyright (C) 1996-2009, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
--
-- Work quietly, only output warnings and errors.
+ S_Check_Time : aliased constant S := "/TIME " &
+ "-t";
+ -- /NOTIME (D)
+ -- /TIME
+ --
+ -- Print out execution time
+
+ S_Check_Log : aliased constant S := "/LOG " &
+ "-log";
+ -- /NOLOG (D)
+ -- /LOG
+ --
+ -- Duplicate all the output sent to Stderr into a log file.
+
S_Check_Sections : aliased constant S := "/SECTIONS=" &
"DEFAULT " &
"-s123 " &
-- copies of the gnat1 commands spawned to obtain the chop control
-- information.
+ S_Check_Out : aliased constant S := "/OUTPUT=@" &
+ "-o@";
+ -- /OUTPUT=filename
+ --
+ -- Specify the name of the output file.
+
Check_Switches : aliased constant Switches :=
(S_Check_Add 'Access,
S_Check_All 'Access,
S_Check_Mess 'Access,
S_Check_Project 'Access,
S_Check_Quiet 'Access,
+ S_Check_Time 'Access,
+ S_Check_Log 'Access,
S_Check_Sections 'Access,
S_Check_Short 'Access,
S_Check_Subdirs 'Access,
- S_Check_Verb 'Access);
+ S_Check_Verb 'Access,
+ S_Check_Out 'Access);
----------------------------
-- Switches for GNAT CHOP --
--
-- Do not look for library files in the system default directory.
+ S_GCC_NoWarnP : aliased constant S := "/NOWARNING_PRAGMAS " &
+ "-gnatd.i";
+ -- /NOWARNING_PRAGMAS
+ --
+ -- Causes all Warnings pragmas to be ignored. Useful to check if the
+ -- program has obsolete warnings pragmas that are hiding problems.
+
S_GCC_Opt : aliased constant S := "/OPTIMIZE=" &
"ALL " &
"-O2,!-O0,!-O1,!-O3 " &
--
-- Build against an alternate runtime system named xxx or RTS-xxx.
+ S_GCC_SCO : aliased constant S := "/SCO_OUTPUT " &
+ "-gnateS";
+ -- /NOSCO_OUTPUT (D)
+ -- /SCO_OUTPUT
+ --
+ -- Controls the output of SCO (Source Coverage Obligation) information
+ -- in the generated ALI file. This information is used by advanced source
+ -- coverage tools. For a full description of the SCO format, see unit
+ -- SCOs in the compiler sources (sco.ads/sco.adb).
+
S_GCC_Search : aliased constant S := "/SEARCH=*" &
"-I*";
-- /SEARCH=(directory[,...])
"-gnaty-A " &
"BLANKS " &
"-gnatyb " &
+ "BOOLEAN_OPERATORS " &
+ "-gnatyB " &
"NOBLANKS " &
"-gnaty-b " &
"COMMENTS " &
"-gnatwm " &
"NOMODIFIED_UNREF " &
"-gnatwM " &
+ "SUSPICIOUS_MODULUS " &
+ "-gnatw.m " &
+ "NOSUSPICIOUS_MODULUS " &
+ "-gnatw.M " &
"NORMAL " &
"-gnatwn " &
"OVERLAYS " &
"-gnatwv " &
"NOVARIABLES_UNINITIALIZED " &
"-gnatwV " &
+ "REVERSE_BIT_ORDER " &
+ "-gnatw.v " &
+ "NOREVERSE_BIT_ORDER " &
+ "-gnatw.V " &
"LOWBOUND_ASSUMED " &
"-gnatww " &
"NOLOWBOUND_ASSUMED " &
S_GCC_Noload 'Access,
S_GCC_Nostinc 'Access,
S_GCC_Nostlib 'Access,
+ S_GCC_NoWarnP 'Access,
S_GCC_Opt 'Access,
S_GCC_OptX 'Access,
S_GCC_Pointer 'Access,
S_GCC_Repinfo 'Access,
S_GCC_RepinfX 'Access,
S_GCC_RTS 'Access,
+ S_GCC_SCO 'Access,
S_GCC_Search 'Access,
S_GCC_Style 'Access,
S_GCC_StyleX 'Access,
-- NODOC (see /SYNTAX_METRICS)
S_Metric_Syntax : aliased constant S := "/SYNTAX_METRICS=" &
- "ALL_ON " &
+ "ALL " &
"--syntax-all " &
- "ALL_OFF " &
+ "NONE " &
"--no-syntax-all " &
- "DECLARATIONS_ON " &
+ "DECLARATIONS " &
"--declarations " &
- "DECLARATIONS_OFF " &
+ "NODECLARATIONS " &
"--no-declarations " &
- "STATEMENTS_ON " &
+ "STATEMENTS " &
"--statements " &
- "STATEMENTS_OFF " &
+ "NOSTATEMENTS " &
"--no-statements " &
- "PUBLIC_SUBPROGRAMS_ON " &
+ "PUBLIC_SUBPROGRAMS " &
"--public-subprograms " &
- "PUBLIC_SUBPROGRAMS_OFF " &
+ "NOPUBLIC_SUBPROGRAMS " &
"--no-public-subprograms " &
- "ALL_SUBPROGRAMS_ON " &
+ "ALL_SUBPROGRAMS " &
"--all-subprograms " &
- "ALL_SUBPROGRAMS_OFF " &
+ "NOALL_SUBPROGRAMS " &
"--no-all-subprograms " &
- "PUBLIC_TYPES_ON " &
+ "PUBLIC_TYPES " &
"--public-types " &
- "PUBLIC_TYPES_OFF " &
+ "NOPUBLIC_TYPES " &
"--no-public-types " &
- "ALL_TYPES_ON " &
+ "ALL_TYPES " &
"--all-types " &
- "ALL_TYPES_OFF " &
+ "NOALL_TYPES " &
"--no-all-types " &
- "UNIT_NESTING_ON " &
+ "UNIT_NESTING " &
"--unit-nesting " &
- "UNIT_NESTING_OFF " &
+ "NOUNIT_NESTING " &
"--no-unit-nesting " &
- "CONSTRUCT_NESTING_ON " &
+ "CONSTRUCT_NESTING " &
"--construct-nesting " &
- "CONSTRUCT_NESTING_OFF " &
+ "NOCONSTRUCT_NESTING " &
"--no-construct-nesting";
-- /SYNTAX_METRICS(option, option ...)
--
--
-- option may be one of the following:
--
- -- ALL_ON (D) All the syntax element metrics are computed
- -- ALL_OFF None of syntax element metrics is computed
- -- DECLARATIONS_ON Compute the total number of declarations
- -- DECLARATIONS_OFF Do not compute the total number of
- -- declarations
- -- STATEMENTS_ON Compute the total number of statements
- -- STATEMENTS_OFF Do not compute the total number of
- -- statements
- -- PUBLIC_SUBPROGRAMS_ON Compute the number of public subprograms
- -- PUBLIC_SUBPROGRAMS_OFF Do not compute the number of public
- -- subprograms
- -- ALL_SUBPROGRAMS_ON Compute the number of all the subprograms
- -- ALL_SUBPROGRAMS_OFF Do not compute the number of all the
- -- subprograms
- -- PUBLIC_TYPES_ON Compute the number of public types
- -- PUBLIC_TYPES_OFF Do not compute the number of public types
- -- ALL_TYPES_ON Compute the number of all the types
- -- ALL_TYPES_OFF Do not compute the number of all the types
- -- UNIT_NESTING_ON Compute the maximal program unit nesting
- -- level
- -- UNIT_NESTING_OFF Do not compute the maximal program unit
- -- nesting level
- -- CONSTRUCT_NESTING_ON Compute the maximal construct nesting level
- -- CONSTRUCT_NESTING_OFF Do not compute the maximal construct nesting
- -- level
+ -- ALL (D) All the syntax element metrics are computed
+ -- NONE None of syntax element metrics is computed
+ -- DECLARATIONS Compute the total number of declarations
+ -- NODECLARATIONS Do not compute the total number of declarations
+ -- STATEMENTS Compute the total number of statements
+ -- NOSTATEMENTS Do not compute the total number of statements
+ -- PUBLIC_SUBPROGRAMS Compute the number of public subprograms
+ -- NOPUBLIC_SUBPROGRAMS Do not compute the number of public subprograms
+ -- ALL_SUBPROGRAMS Compute the number of all the subprograms
+ -- NOALL_SUBPROGRAMS Do not compute the number of all the
+ -- subprograms
+ -- PUBLIC_TYPES Compute the number of public types
+ -- NOPUBLIC_TYPES Do not compute the number of public types
+ -- ALL_TYPES Compute the number of all the types
+ -- NOALL_TYPES Do not compute the number of all the types
+ -- UNIT_NESTING Compute the maximal program unit nesting
+ -- level
+ -- NOUNIT_NESTING Do not compute the maximal program unit
+ -- nesting level
+ -- CONSTRUCT_NESTING Compute the maximal construct nesting level
+ -- NOCONSTRUCT_NESTING Do not compute the maximal construct nesting
+ -- level
--
-- All combinations of syntax element metrics options are allowed.
"!-x,!-nt,!-sfn " &
"XML " &
"-x " &
+ "XSD " &
+ "-xs " &
"NO_TEXT " &
"-nt " &
"SHORT_SOURCE_FILE_NAME " &
-- DEFAULT (D) Generate the text output only, use full
-- argument source names in global information
-- XML Generate the output in XML format
+ -- XSD Generate the output in XML format, and
+ -- generate an XML schema file that describes
+ -- the structure of XML metrics report
-- NO_TEXT Do not generate the text output (implies XML)
-- SHORT_SOURCE_FILE_NAME Use short argument source names in output
-- NODOC (see /LINE_COUNT_METRICS)
S_Metric_Lines : aliased constant S := "/LINE_COUNT_METRICS=" &
- "ALL_ON " &
+ "ALL " &
"--lines-all " &
- "ALL_OFF " &
+ "NONE " &
"--no-lines-all " &
- "ALL_LINES_ON " &
+ "ALL_LINES " &
"--lines " &
- "ALL_LINES_OFF " &
+ "NOALL_LINES " &
"--no-lines " &
- "CODE_LINES_ON " &
+ "CODE_LINES " &
"--lines-code " &
- "CODE_LINES_OFF " &
+ "NOCODE_LINES " &
"--no-lines-code " &
- "COMMENT_LINES_ON " &
+ "COMMENT_LINES " &
"--lines-comment " &
- "COMMENT_LINES_OFF " &
+ "NOCOMMENT_LINES " &
"--no-lines-comment " &
- "CODE_COMMENT_LINES_ON " &
+ "CODE_COMMENT_LINES " &
"--lines-eol-comment " &
- "CODE_COMMENT_LINES_OFF " &
+ "NOCODE_COMMENT_LINES " &
"--no-lines-eol-comment " &
- "COMMENT_PERCENTAGE_ON " &
+ "COMMENT_PERCENTAGE " &
"--lines-ratio " &
- "COMMENT_PERCENTAGE_OFF " &
+ "NOCOMMENT_PERCENTAGE " &
"--no-lines-ratio " &
- "BLANK_LINES_ON " &
+ "BLANK_LINES " &
"--lines-blank " &
- "BLANK_LINES_OFF " &
+ "NOBLANK_LINES " &
"--no-lines-blank " &
- "AVERAGE_BODY_LINES_ON " &
+ "AVERAGE_BODY_LINES " &
"--lines-average " &
- "AVERAGE_BODY_LINES_OFF " &
+ "NOAVERAGE_BODY_LINES " &
"--no-lines-average";
-- /LINE_COUNT_METRICS=(option, option ...)
--
-- option may be one of the following:
--
- -- ALL_ON (D) All the line metrics are computed
- -- ALL_OFF None of line metrics is computed
- -- ALL_LINES_ON All lines are computed
- -- ALL_LINES_OFF All lines are not computed
- -- CODE_LINES_ON Lines with Ada code are computed
- -- CODE_LINES_OFF Lines with Ada code are not computed
- -- COMMENT_LINES_ON Comment lines are computed
- -- COMMENT_LINES_OFF Comment lines are not computed
- -- COMMENT_PERCENTAGE_ON Ratio between comment lines and all the
- -- lines containing comments and program code
- -- is computed
- -- COMMENT_PERCENTAGE_OFF Ratio between comment lines and all the
- -- lines containing comments and program code
- -- is not computed
- -- BLANK_LINES_ON Blank lines are computed
- -- BLANK_LINES_OFF Blank lines are not computed
- -- AVERAGE_BODY_LINES_ON Average number of code lines in subprogram,
- -- task and entry bodies and statement
- -- sequences of package bodies is computed
- -- AVERAGE_BODY_LINES_OFF Average number of code lines in subprogram,
- -- task and entry bodies and statement
- -- sequences of package bodies is not computed
+ -- ALL (D) All the line metrics are computed
+ -- NONE None of line metrics is computed
+ -- ALL_LINES All lines are computed
+ -- NOALL_LINES All lines are not computed
+ -- CODE_LINES Lines with Ada code are computed
+ -- NOCODE_LINES Lines with Ada code are not computed
+ -- COMMENT_LINES Comment lines are computed
+ -- NOCOMMENT_LINES Comment lines are not computed
+ -- CODE_COMMENT_LINES Lines containing both code and comment parts
+ -- are computed
+ -- NOCODE_COMMENT_LINES Lines containing both code and comment parts
+ -- are not computed
+ -- COMMENT_PERCENTAGE Ratio between comment lines and all the lines
+ -- containing comments and program code is
+ -- computed
+ -- NOCOMMENT_PERCENTAGE Ratio between comment lines and all the lines
+ -- containing comments and program code is not
+ -- computed
+ -- BLANK_LINES Blank lines are computed
+ -- NOBLANK_LINES Blank lines are not computed
+ -- AVERAGE_BODY_LINES Average number of code lines in subprogram,
+ -- task and entry bodies and statement sequences
+ -- of package bodies is computed
+ -- NOAVERAGE_BODY_LINES Average number of code lines in subprogram,
+ -- task and entry bodies and statement sequences
+ -- of package bodies is not computed
--
-- All combinations of line metrics options are allowed.
S_Metric_Complexity : aliased constant S := "/COMPLEXITY_METRICS=" &
- "ALL_ON " &
+ "ALL " &
"--complexity-all " &
- "ALL_OFF " &
+ "NONE " &
"--no-complexity-all " &
- "CYCLOMATIC_ON " &
+ "CYCLOMATIC " &
"--complexity-cyclomatic " &
- "CYCLOMATIC_OFF " &
+ "NOCYCLOMATIC " &
"--no-complexity-cyclomatic "&
- "ESSENTIAL_ON " &
+ "ESSENTIAL " &
"--complexity-essential " &
- "ESSENTIAL_OFF " &
+ "NOESSENTIAL " &
"--no-complexity-essential " &
- "LOOP_NESTING_ON " &
+ "LOOP_NESTING " &
"--loop-nesting " &
- "LOOP_NESTING_OFF " &
+ "NOLOOP_NESTING " &
"--no-loop-nesting " &
- "AVERAGE_COMPLEXITY_ON " &
+ "AVERAGE_COMPLEXITY " &
"--complexity-average " &
- "AVERAGE_COMPLEXITY_OFF " &
- "--no-complexity-average";
+ "NOAVERAGE_COMPLEXITY " &
+ "--no-complexity-average " &
+ "EXTRA_EXIT_POINTS " &
+ "--extra-exit-points " &
+ "NOEXTRA_EXIT_POINTS " &
+ "--no-extra-exit-points";
-- /COMPLEXITY_METRICS=(option, option ...)
-- Specifies the complexity metrics to be computed (if at least one
--
-- option may be one of the following:
--
- -- ALL_ON (D) All the complexity metrics are computed
- -- ALL_OFF None of complexity metrics is computed
- -- CYCLOMATIC_ON Compute the McCabe Cyclomatic Complexity
- -- CYCLOMATIC_OFF Do not compute the McCabe Cyclomatic
- -- Complexity
- -- ESSENTIAL_ON Compute the Essential Complexity
- -- ESSENTIAL_OFF Do not compute the Essential Complexity
- -- LOOP_NESTIMG_ON Compute the maximal loop nesting
- -- LOOP_NESTIMG_OFF Do not compute the maximal loop nesting
- -- AVERAGE_COMPLEXITY_ON Compute the average complexity for
- -- executable bodies
- -- AVERAGE_COMPLEXITY_OFF Do not compute the average complexity for
- -- executable bodies
+ -- ALL (D) All the complexity metrics are computed
+ -- NONE None of complexity metrics is computed
+ -- CYCLOMATIC Compute the McCabe Cyclomatic Complexity
+ -- NOCYCLOMATIC Do not compute the McCabe Cyclomatic Complexity
+ -- ESSENTIAL Compute the Essential Complexity
+ -- NOESSENTIAL Do not compute the Essential Complexity
+ -- LOOP_NESTING Compute the maximal loop nesting
+ -- NOLOOP_NESTING Do not compute the maximal loop nesting
+ -- AVERAGE_COMPLEXITY Compute the average complexity for executable
+ -- bodies
+ -- NOAVERAGE_COMPLEXITY Do not compute the average complexity for
+ -- executable bodies
+ -- EXTRA_EXIT_POINTS Compute extra exit points metric
+ -- NOEXTRA_EXIT_POINTS Do not compute extra exit points metric
--
-- All combinations of line metrics options are allowed.
S_Metric_Coupling : aliased constant S := "/COUPLING_METRICS=" &
- "ALL_ON " &
+ "ALL " &
"--coupling-all " &
- "ALL_OFF " &
+ "NONE " &
"--no-coupling-all " &
- "PACKAGE_EFFERENT_ON " &
+ "PACKAGE_EFFERENT " &
"--package-efferent-coupling " &
- "PACKAGE_EFFERENT_OFF " &
+ "NOPACKAGE_EFFERENT " &
"--no-package-efferent-coupling " &
- "PACKAGE_AFFERENT_ON " &
+ "PACKAGE_AFFERENT " &
"--package-afferent-coupling " &
- "PACKAGE_AFFERENT_OFF " &
+ "NOPACKAGE_AFFERENT " &
"--no-package-afferent-coupling " &
- "CATEGORY_EFFERENT_ON " &
+ "CATEGORY_EFFERENT " &
"--category-efferent-coupling " &
- "CATEGORY_EFFERENT_OFF " &
+ "NOCATEGORY_EFFERENT " &
"--no-category-efferent-coupling " &
- "CATEGORY_AFFERENT_ON " &
+ "CATEGORY_AFFERENT " &
"--category-afferent-coupling " &
- "CATEGORY_AFFERENT_OFF " &
+ "NOCATEGORY_AFFERENT " &
"--no-category-afferent-coupling";
-- /COUPLING_METRICS=(option, option ...)
--
-- option may be one of the following:
--
- -- ALL_ON All the coupling metrics are computed
- -- ALL_OFF (D) None of coupling metrics is computed
- -- PACKAGE_EFFERENT_ON Compute package efferent coupling
- -- PACKAGE_EFFERENT_OFF Do not compute package efferent coupling
- -- PACKAGE_AFFERENT_ON Compute package afferent coupling
- -- PACKAGE_AFFERENT_OFF Do not compute package afferent coupling
- -- CATEGORY_EFFERENT_ON Compute category efferent coupling
- -- CATEGORY_EFFERENT_OFF Do not compute category efferent coupling
- -- CATEGORY_AFFERENT_ON Compute category afferent coupling
- -- CATEGORY_AFFERENT_OFF Do not compute category afferent coupling
+ -- ALL All the coupling metrics are computed
+ -- NONE (D) None of coupling metrics is computed
+ -- PACKAGE_EFFERENT Compute package efferent coupling
+ -- NOPACKAGE_EFFERENT Do not compute package efferent coupling
+ -- PACKAGE_AFFERENT Compute package afferent coupling
+ -- NOPACKAGE_AFFERENT Do not compute package afferent coupling
+ -- CATEGORY_EFFERENT Compute category efferent coupling
+ -- NOCATEGORY_EFFERENT Do not compute category efferent coupling
+ -- CATEGORY_AFFERENT Compute category afferent coupling
+ -- NOCATEGORY_AFFERENT Do not compute category afferent coupling
--
-- All combinations of coupling metrics options are allowed.
-- Do not place the IS keyword on a separate line in a subprogram body in
-- case if the specification occupies more then one line.
+ S_Pretty_Sep_Label : aliased constant S := "/SEPARATE_LABEL " &
+ "--separate-label";
+ -- /SEPARATE_LABEL
+ --
+ -- Place statement label(s) and the statement itself on separate lines.
+
S_Pretty_Sep_Loop_Then : aliased constant S := "/SEPARATE_LOOP_THEN " &
"--separate-loop-then";
-- /SEPARATE_LOOP_THEN
S_Pretty_Project 'Access,
S_Pretty_RTS 'Access,
S_Pretty_Search 'Access,
+ S_Pretty_Sep_Label 'Access,
S_Pretty_Sep_Loop_Then 'Access,
S_Pretty_N_Sep_Loop_Then 'Access,
S_Pretty_Subdirs 'Access,
-- HIGH A great number of messages are output, most of them not
-- being useful for the user.
+ S_Stub_No_Exc : aliased constant S := "/NO_EXCEPTION " &
+ "--no-exception";
+ -- /NONO_EXCEPTION (D)
+ -- /NO_EXCEPTION
+ --
+ -- Avoid raising PROGRAM_ERROR in the generated program unit stubs.
+
+ S_Stub_No_Head : aliased constant S := "/NO_LOCAL_HEADER " &
+ "--no-local-header";
+ -- /NONO_LOCAL_HEADER (D)
+ -- /NO_LOCAL_HEADER
+ --
+ -- Do not put local comment header before body stub for local program unit.
+
S_Stub_Output : aliased constant S := "/OUTPUT=@" &
"-o@";
-- /OUTPUT=filespec
-- OVERWRITE (D) Overwrite the existing tree file. If the current
-- directory already contains the file which, according
-- to the GNAT file naming rules should be considered
- -- as a tree file for the argument source file,
- -- gnatstub will refuse to create the tree file needed
- -- to create a sample body unless this option is chosen.
+ -- as a tree file for the argument source file, gnatstub
+ -- will refuse to create the tree file needed to create
+ -- a sample body unless this option is chosen.
--
-- SAVE Do not remove the tree file (i.e., the snapshot
-- of the compiler internal structures used by gnatstub)
S_Stub_Mess 'Access,
S_Stub_Output 'Access,
S_Stub_Project 'Access,
+ S_Stub_No_Exc 'Access,
+ S_Stub_No_Head 'Access,
S_Stub_Quiet 'Access,
S_Stub_Search 'Access,
S_Stub_Subdirs 'Access,
-- components of the GNAT RTL when building and analyzing the global
-- structure for checking the global rules.
+ S_Sync_Allproj : aliased constant S := "/ALL_PROJECTS " &
+ "-U";
+ -- /NOALL_PROJECTS (D)
+ -- /ALL_PROJECTS
+ --
+ -- When GNAT SYNC is used with a Project File and no source is
+ -- specified, the underlying tool gnatsync is called for all the
+ -- sources of all the Project Files in the project tree.
+
S_Sync_Ext : aliased constant S := "/EXTERNAL_REFERENCE=" & '"' &
"-X" & '"';
-- /EXTERNAL_REFERENCE="name=val"
--
-- Follow links when parsing project files
+ S_Sync_Main : aliased constant S := "/MAIN_SUBPROGRAM=@" &
+ "-main=@";
+ -- /MAIN_SUBPROGRAM=filename
+ --
+ -- Specify the name of the file containing the main subprogram
+
S_Sync_Mess : aliased constant S := "/MESSAGES_PROJECT_FILE=" &
"DEFAULT " &
"-vP0 " &
Sync_Switches : aliased constant Switches :=
(S_Sync_Add 'Access,
S_Sync_All 'Access,
+ S_Sync_Allproj 'Access,
S_Sync_Ext 'Access,
S_Sync_Follow 'Access,
S_Sync_Files 'Access,
+ S_Sync_Main 'Access,
S_Sync_Mess 'Access,
S_Sync_Project 'Access,
S_Sync_Quiet 'Access,
OSDN Git Service
