![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Rational Asis 2.0 Conformance Manual ISO/IEC Information technology Programming languages, Ada Semantic Interface Specification (ASIS) standard 15291, 1998-06-01.
General1.1 Scope
1.1.3 Conformity with this International Standard
1.1.3.1 Implementation conformance requirements
All nonstandard extensions in this implementation can be avoided by not referencing them and/or by not activating them.
All nonstandard interfaces reside in the child package ASIS.RATIONAL and its children. Any application that wishes to be a Conforming ASIS Application should avoid referencing that package or its children.
All nonstandard extensions to standard interfaces can be avoided by not activating the nonstandard behavior. All extension behavior is activated by passing one or more special parameter values to the standard ASIS.IMPLEMENTATION.INITIALIZE interface. Any application that wishes to be a Conforming ASIS Application should avoid using any of those special parameter values.
1.1.3.2 Implementation conformance documentation
The implementation conforms to the ISO/IEC Information technology - Programming languages - Ada Semantic Interface Specification (ASIS) standard 15291, 1998-06-01.
1.1.3.3 Implementation conformance categories
The implementation is a Basic conforming ASIS implementation using extensions. See the comments in the ASIS library specifications for documentation of the extensions plus implementation specific behaviors.
3.1 type ASIS_Integer
subtype Implementation_Defined_Integer_Type is Integer; Implementation_Defined_Integer_Constant : constant := 2 ** 31 - 1; subtype Asis_Integer is Implementation_Defined_Integer_Type;
3.4 type List_Index
List_Index_Implementation_Upper : constant Asis_Positive := Implementation_Defined_Integer_Constant; subtype List_Index is Asis_Positive range 1 .. List_Index_Implementation_Upper;
6.6 procedure Initialize
There are a variety of optional initialization parameter values. See the package specification. If none of those values are used then the implementation follows the standard without any extensions.
6.8 procedure Finalize
There are no defined parameter string values.
7.1 function Is_Formal_Parameter_Named_Notation_Supported
7.2 function Default_In_Mode_Supported
7.3 function Generic_Actual_Part_Normalized
7.4 function Record_Component_Associations_Normalized
7.5 function Is_Prefix_Call_Supported
7.6 function Function_Call_Parameters_Normalized
7.7 function Call_Statement_Parameters_Normalized
7.8 function Discriminant_Associations_Normalized
7.9 function Is_Line_Number_Supported
7.10 function Is_Span_Column_Position_Supported
7.11 function Is_Commentary_Supported
7.12 function Attributes_Are_Supported
7.13 function Implicit_Components_Supported
7.14 function Object_Declarations_Normalized
7.15 function Predefined_Operations_Supported
7.16 function Inherited_Declarations_Supported
7.17 function Inherited_Subprograms_Supported
7.18 function Generic_Macro_Expansion_Supported
8.3 procedure Associate
Parameters strings cannot be validated until the Asis.Context is opened.
8.5 procedure Close
The implementation attempts to detect all attempts to use dangling references to ASIS.Context values.
8.7 function Is_Equal
Is_Equal may be True before opening the Contexts and yet be false afterwards. This would not be a common occurrence but it is a possible one.
8.9 function Exists
The Parameters strings may contain information that would prevent an Open operation from succeeding. A Context may exist but be read-only.
8.14 function Debug_Image
The result string attempts to display all known information.
9.1 type Container
The implementation uses one Container for each Apex view associated with the Context.
9.3 function Defining_Containers
The implementation uses one Container for each Apex view associated with the Context.
10.13 Corresponding_Declaration
An_Unknown_Units should never occur.
10.14 Corresponding_Body
An_Unknown_Units should never occur.
10.19 function Unit_Full_Name
10.20 function Unique_Name
Result is the complete filesystem pathname for the unit.
10.22 function Can_Be_Main_Program
See Appendix F for the appropriate Ada compiler.
10.24 function Text_Name
Returns the complete filesystem pathname for the unit.
10.25 function Text_Form
10.29 function Has_Attribute
10.30 function Attribute_Value_Delimiter
10.31 function Attribute_Values
10.34 function Debug_Image
The result string attempts to display all known information.
11.2 function Time_Of_Last_Update
11.3 function Compilation_Cpu_Duration
11.4 function Attribute_Time
12.3 function Semantic_Dependent_Order
An_Unknown_Units should never occur.
12.4 function Elaboration_Order
An_Unknown_Units should never occur.
13.3 function Context_Clause_Elements
Multiple name clauses are not normalized.
13.4 function Configuration_Pragmas
Pragma order is maintained by the result.
13.5 function Compilation_Pragmas
Pragma order is maintained by the result.
13.36 function Enclosing_Element
The second parameter is of no value and is always ignored.
13.41 function Debug_Image
The result string attempts to display all known information.
14.1 procedure Traverse_Element
Associations are not normalized by default.
15.1 function Names
Results are in their textual order of appearance and unnormalized.
15.2 function Defining_Name_Image
All character literals have a graphical representation.
15.19 function Parameter_Profile
Multiple name specifications are not normalized.
15.21 function Body_Declarative_Items
Multiple name declarations are not normalized.
15.30 function Corresponding_Equality_Operator
Not-equal operators are not always defined by the compiler. This interface will sometimes return a Nil_Element value.
15.31 function Visible_Part_Declarative_Items
Multiple name declarations are not normalized.
15.33 function Private_Part_Declarative_Items
Multiple name declarations are not normalized.
15.43 function Generic_Formal_Part
Multiple name declarations are not normalized.
15.45 function Generic_Actual_Part
Default parameters are only present for normalized results. Results are not normalized unless so requested. Defining_identifier elements are used for normalized results.
16.1 function Corresponding_Type_Operators
A full set of implicit operators is returned. Not-equal operators are not always declared and implicit NOT over "=" constructs may be present. All operators, including builtins overridden by user defined operators, are present.
16.4 function Implicit_Inherited_Declarations
A full set of implicit inherited declarations is provided.
16.5 function Implicit_Inherited_Subprograms
A full set of implicit inherited declarations is provided.
16.19 function Access_To_Subprogram_Parameter_Profile
Multiple name elements are not normalized.
16.27 function Discriminant_Associations
Results are not normalized in any way unless requested.
16.29 function Discriminants
Multiple name elements are not normalized.
16.31 function Implicit_Components
17.6 function Corresponding_Definition
Returns that part of the multi-part declaration that is visible at the site of the argument Element. The best approach is to make no assumptions and then use the appropriate ASIS queries to guarantee traversal to the desired portion of the declaration.
17.15 function Record_Component_Associations
Results are not normalized in any way unless requested.
17.29 function Corresponding_Called_Function
Returns that part of the multi-part declaration that is visible at the site of the argument Element. The best approach is to make no assumptions and then use the appropriate ASIS queries to guarantee traversal to the desired portion of the declaration.
17.30 function Function_Call_Parameters
Results are not normalized in any way unless requested.
18.25 function Corresponding_Called_Entity
Returns that part of the multi-part declaration that is visible at the site of the argument Element. The best approach is to make no assumptions and then use the appropriate ASIS queries to guarantee traversal to the desired portion of the declaration.
18.26 function Call_Statement_Parameters
Results are not normalized in any way unless requested.
18.29 function Accept_Parameters
Results are not normalized in any way.
19.1 function Clause_Names
20.2 type Line_Number
Maximum_Line_Number : constant Asis.Asis_Natural := Asis.Implementation_Defined_Integer_Constant; subtype Line_Number is Asis.Asis_Natural range 0 .. Maximum_Line_Number;
20.5 type Character_Position
Maximum_Line_Length : constant Asis.Asis_Natural := Asis.Implementation_Defined_Integer_Constant; subtype Character_Position is Asis.Asis_Natural range 0 .. Maximum_Line_Length;
20.20 function Lines
Line numbers out-of-bounds are detected.
20.28 function Debug_Image
The result string attempts to display all known information.
21.9 function Debug_Image
The result string attempts to display all known information.
22.0 package Data_Decomposition
Rational Software Corporation http://www.rational.com support@rational.com techpubs@rational.com Copyright © 1993-2001, Rational Software Corporation. All rights reserved. |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |