![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Compiler Switches Ada Compiler Switches.
- ADA_LINK_MODE
Specifies the link mode for Ada main programs in the view. A detailed discussion of this switch can be found in "Shared Libraries and the Application Program Interface (API)"
- ADA_LINKBLOCK_FORMAT
Specifies whether to include a timestamp indicating the time of linking in the executable.
- ALTERNATE_KEY
Identifies the alternate key in an Ada view that is used to enable linking C/C++ in the closure.
- APEX_CLEAN_GOAL
The state to which the units will be cleaned. All compilation artifacts associated with higher states are deleted.
- APEX_CLOSURE
Used to determine additional units to be analyzed.
- APEX_COMPILE_CONFIGURATION
Specifies that all views in the configuration are to be compiled.
- APEX_FIRST_ERROR
Continue past the first unit with errors. If True, command will stop after the first unit containing an error.
- APEX_INCREMENTAL
Use the platform incremental linker, if it exists.
- APEX_INTO
The directory into which the files will be parsed.
- APEX_NEW_RELEASE
Recompiles the units in each view, converting to new DIANA, CG attribute, and program library formats.
- APP_DIRECTIVES
Name of the file that gets included whenever the preprocessor is invoked.
- BUILD_POLICY
Determine type of library view to be created.
- COMPILER_KEY
The compiler to use, which provides for platform-specific semantic checking and code generation. Set by installation. Do not change.
- CONFIGURATION
Configuration to use during a link to compute the closure of a main program. .
- CREATE_ARCHIVED_LIBRARY
Determine whether or not an archive will be created when a library is specified by the build policy.
- CREATE_SHARED_LIBRARY
Determine whether or not a shared library will be created when a library is specified by the build policy.
- ELABORATION_ORDER_LISTING
Create a file containing a listing of the elaboration order of the units in its closure when a main program is linked.
- FLAG_INEVITABLE_EXCEPTIONS
Control the handling of any statically determinable situation that is certain to raise an exception when executed, such as an out-of-bounds assignment.
- IGNORE_INTERFACE_PRAGMAS
Cause pragma Interface to be ignored during semantic checking.
- IGNORE_INVALID_REP_SPECS
Controls the handling of invalid or unsupported representation specifications.
- IGNORE_REP_SPECS
Ignore representation specifications during semantic analysis.
- IGNORE_UNSUPPORTED_REP_SPECS
Control the handling of unsupported representation specifications.
- INCREMENTAL_LINK
Attempt to use incremental features of the platform linker.
- LIBRARY_NAME
Specifies the name of the archive file.
- LINK_CLOSURE_LANGUAGES
Specifies the languages in the closure.
- LINK_CLOSURE_POLICY
Specifies the way in which the closure of main programs is to be computed.
- LINK_CONTRIBUTION_PRE_OPTIONS
Specifies the options that are included as part of the link contribution of the view whenever the view is part of the closure of a main program.
- LINK_DEPENDENCIES
Specifies additional dependencies to be considered during linking.
- NON_ADA_LINKAGE
The arguments to pass to the target linker. This can be used to specify object files and archive libraries for non-Ada program units that will be included when an Ada main program is linked.
- OMIT_PREPROCESSOR_DIRECTIVES
Controls how the preprocessor handles directives when producing .ada files from .app files. .
- OPTIMIZATION_LEVEL
The optimization level to use for compiling and inlining.
- OPTIMIZATION_OBJECTIVE
The optimization objective, either Time or Space, to be used for any compilation unit that does not contain a pragma Optimize.
- PROFILING
The type of profiling to use when preparing the code.
- REJECT_BAD_LRM_PRAGMAS
Control the handling of illegal Ada pragmas.
- REJECT_BAD_RATIONAL_PRAGMAS
- REJECT_INEVITABLE_EXCEPTIONS
Control the handling of any statically determinable situation that is certain to raise an exception.
- REJECT_OPTIMIZATION_WARNINGS
Controls the conversion of warnings generated by the code checker into errors.
- REJECT_PROMPTS
Control the coding of units that contain prompts.
- REJECT_SYNTAX_ERRORS
Control the automatic correction of syntactic errors.
- REJECT_UNDEFINED_PRAGMAS
Control the handling of undefined pragmas.
- SHARED_LIBRARY_NAME
Specifies the name of the shared library in the view.
- SUBSYSTEM_NAME
Specifies the unique value for a subsystem name. The value of the switch should end in an Internet domain name. A detailed discussion of this switch can be found in "Shared Libraries and the Application Program Interface (API)"
Ada Compiler Code Checker Switches.
These environment variables control the behavior of the code checker in the Ada Compiler.
- APEX_WRN_ALL_CONTRADICTIONS
Reports all contradictions. Contradictions typically arise when checks are suppressed and the optimizer determines that the check would have failed if it were not suppressed.
default: TRUE- APEX_WRN_ALL_FAILED_CHECKS
Reports all language-defined checks that will failed (if executed)
default: FALSE- APEX_WRN_ALL_INFINITE_LOOPS
Reports all loops which can only be exited by the failure of a language-defined check.
default: TRUE- APEX_WRN_INEVITABLY_FAILED_CHECKS
Reports all language-defined checks which are guaranteed to fail (every path through a subprogram will fail a language-defined check).
default: TRUE- APEX_WRN_INEVITABLY_RAISED_EXCEPTIONS
Reports all routines which are guaranteed raise an exception (either explicitly or via the failure of a language-defined check). Every path through a subprogram will raise an exception or fail a language-defined check.
default: FALSE- APEX_WRN_INEVITABLE_INFINITE_LOOPS
Reports all infinite loops which are guaranteed to be executed, i.e., every path through a subprogram will encounter an infinite loop.
default: TRUE- APEX_WRN_ABNORMAL_FUNCTION_EXITS
Reports every function for which a path exists to the implicit raise Program_Error at the bottom of the function.
default: FALSE- APEX_WRN_UNITITIALIZED_READS
Report reads of objects which are guaranteed to be uninitialized.
default: TRUE- APEX_WRN_REJECT_OPTIMIZATION_WARNINGS
Converts warnings generated by the code checker into errors. Encountering any such errors, will cause the unit to fail to compile. This behavior can also be accomplished by setting the Ada compiler context switch REJECT_OPTIMIZATION_WARNINGS in the enclosing view.
default: FALSE
Rational Software Corporation http://www.rational.com support@rational.com techpubs@rational.com Copyright © 1993-2004, Rational Software Corporation. All rights reserved. |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |