TOC PREV NEXT INDEX DOC LIST MASTER INDEX



Rational Asis 2.0 Conformance Manual

ISO/IEC Information technology Programming languages, Ada Semantic Interface Specification (ASIS) standard 15291, 1998-06-01.


General

1.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

3.4 type List_Index

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

Returns true.

7.2 function Default_In_Mode_Supported

Returns true.

7.3 function Generic_Actual_Part_Normalized

Returns false.

7.4 function Record_Component_Associations_Normalized

Returns false.

7.5 function Is_Prefix_Call_Supported

Returns true.

7.6 function Function_Call_Parameters_Normalized

Returns false.

7.7 function Call_Statement_Parameters_Normalized

Returns false.

7.8 function Discriminant_Associations_Normalized

Returns false.

7.9 function Is_Line_Number_Supported

Returns true.

7.10 function Is_Span_Column_Position_Supported

Returns true.

7.11 function Is_Commentary_Supported

Returns true.

7.12 function Attributes_Are_Supported

Returns false.

7.13 function Implicit_Components_Supported

Returns true.

7.14 function Object_Declarations_Normalized

Returns false.

7.15 function Predefined_Operations_Supported

Returns true.

7.16 function Inherited_Declarations_Supported

Returns true.

7.17 function Inherited_Subprograms_Supported

Returns true.

7.18 function Generic_Macro_Expansion_Supported

Returns true.

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

Result is all upper case.

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

Returns "".

10.29 function Has_Attribute

Returns false.

10.30 function Attribute_Value_Delimiter

Returns "".

10.31 function Attribute_Values

Returns "".

10.34 function Debug_Image

The result string attempts to display all known information.

11.2 function Time_Of_Last_Update

Returns Nil_ASIS_Time.

11.3 function Compilation_Cpu_Duration

Returns 0.0.

11.4 function Attribute_Time

Returns Nil_ASIS_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

Returns Nil_Element_List.

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

Results are not normalized.

20.2 type Line_Number

20.5 type Character_Position

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

This optional package is unimplemented.


Rational Software Corporation 
http://www.rational.com
support@rational.com
techpubs@rational.com
Copyright © 1993-2001, Rational Software Corporation. All rights reserved.
TOC PREV NEXT INDEX DOC LIST MASTER INDEX TECHNOTES APEX TIPS