![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Function Renamed_Base_Entity
function Renamed_Base_Entity (Declaration : in Asis.Declaration) return Asis.Expression;Expanded Name Asis.Declarations.Renamed_Base_Entity
Returns the base declaration for the specified renamed
declaration.Description
Renaming clauses are defined by the following syntax:
renaming_declaration ::=
identifier : type_mark renames
object_name;
| identifier : exception renames
exception_name;
| package identifier renames package_name;
| subprogram_specification renames
subprogram_or_entry_name;This function returns the base object name, exception name, package name, or subprogram or entry name for the specified renaming declaration.
The function acts recursively and returns the base expression for declarations that reference renamed declarations.
Parameters
Declaration : in Asis.Declaration;Specifies the declaration for which the new name should be returned. The declaration must be of the following kinds:
Element_Kinds Declaration_Kinds
A_Declaration A_Function_Rename_Declaration
A_Package_Rename_Declaration
A_Procedure_Rename_Declaration
An_Exception_Rename_Declaration
An_Object_Rename_Declaration
return Asis.Expression;The returned element is of the following kind:
Element_Kinds
An_Entity_Name_Definition
Errors
Asis_Inappropriate_Element is raised and Environment.Status is set to Value_Error if a parameter references a library variable that is no longer open, or a parameter is specified that is not appropriate for the query.
Asis_Failed is raised and Environment.Status is set to Obso-
lete_Reference_Error if a parameter is part of an obsolete
compilation unit.Examples
Cross-References
- "Processing Renaming Declarations"
- Ada83 LRM 8.5, Ada95 LRM 8.5
Function Renamed_Entity
function Renamed_Entity (Declaration : in Asis.Declaration) return Asis.Expression;Expanded Name Asis.Declarations.Renamed_Entity
Returns the name that follows the reserved word renames in the specified renames declaration.
Description
Renaming clauses are defined by the following syntax:
renaming_declaration ::=
identifier : type_mark renames
object_name;
| identifier : exception renames
exception_name;
| package identifier renames package_name;
| subprogram_specification renames
subprogram_or_entry_name;This function returns the object name, exception name, package name, or subprogram or entry name for the specified renaming declaration.
Parameters
Declaration : in Asis.Declaration;Specifies the declaration for which the original name should be returned. The declaration must be of the following kinds:
Element_Kinds Declaration_Kinds
A_Declaration A_Function_Rename_Declaration
A_Package_Rename_Declaration
A_Procedure_Rename_Declaration
An_Exception_Rename_Declaration
An_Object_Rename_Declaration
return Asis.Expression;The returned element is of the following kind:
Element_Kinds
An_Expression
Errors
Asis_Inappropriate_Element is raised and Environment.Status is set to Value_Error if a parameter references a library variable that is no longer open, or a parameter is specified that is not appropriate for the query.
Asis_Failed is raised and Environment.Status is set to Obso-
lete_Reference_Error if a parameter is part of an obsolete
compilation unit.Examples
Cross-References
- "Processing Renaming Declarations"
- Ada83 LRM 8.5, Ada95 LRM 8.5
Function Return_Type
function Return_Type (Declaration : in Asis.Declaration) return Asis.Expression;Expanded Name Asis.Declarations.Return_Type
Returns the type mark for the specified function declaration.
Description
Subprogram specifications are partially defined by the following syntax:
subprogram_specification ::=
procedure identifier [formal_part]
| function designator [formal_part]
return type_markEvery subprogram specification must have a corresponding subprogram body.
Renaming declarations are defined by the following syntax:
renaming_declaration ::=
identifier : type_mark renames
object_name;
| identifier : exception renames
exception_name;
| package identifier renames package_name;
| subprogram_specification renames
subprogram_or_entry_name;Body stubs are partially defined by the following syntax:
Ada83 LRM 10.2, Ada95 LRM 10.1.3
body_stub ::=
subprogram_specification is separate;
| package body package_simple_name
is separate;
| task body task_simple_name is separate;Generic specifications are partially defined by the following syntax:
Ada83 LRM 12.1, Ada95 LRM 12.1
generic_specification ::=
generic_formal_part
subprogram_specification
| generic_formal_part package_specificationGeneric-parameter declarations are partially defined by the following syntax:
Ada83 LRM 12.1, Ada95 LRM 12.1
generic_parameter_declaration ::=
identifier list : [in [out]] type_mark
[:= expression]| type identifier is generic_type_definition;
| private_type_declaration
| with subprogram_specification [is name];
| with subprogram_specification [is <>];Generic instantiations are partially defined by the following syntax:
Ada83 LRM 12.3, Ada95 LRM 12.3
generic_instantiation ::=
package identifier is
new generic_package_name
[generic_actual_part];
| procedure identifier is
new generic_procedure_name
[generic_actual_part];
| function designator is
new generic_function_name
[generic_actual_part];
| function designator is
new generic_function_nameThis function returns the type mark of the specified function subprogram specification, function renaming declaration, body-stub function subprogram specification, generic-specification function subprogram specification, generic-parameter declaration of a function subprogram specification, or function generic instantiation.
Parameters
Declaration : in Asis.Declaration;Specifies the declaration for which the type mark should be returned. The declaration must be of the following kinds:
return Asis.Expression;The returned element is of the following kinds:
Element_Kinds Expression_Kinds
An_Expression A_Selected_Component
A_Simple_Name
Errors
Asis_Inappropriate_Element is raised and Environment.Status is set to Value_Error if a parameter references a library variable that is no longer open, or a parameter is specified that is not appropriate for the query.
Asis_Failed is raised and Environment.Status is set to Obso-
lete_Reference_Error if a parameter is part of an obsolete
compilation unit.Examples
Cross-References
- "Processing Subprograms"
- Ada83 LRM 6.1, Ada95 LRM 6.1
Function Subprogram_Body_Block
function Subprogram_Body_Block (Declaration : in Asis.Declaration) return Asis.Statement;Expanded Name Asis.Declarations.Subprogram_Body_Block
Returns a block statement that is the structural equivalent of the function or procedure body or stub declaration.
Description
Subprogram bodies are defined by the following syntax:
subprogram_body ::=
subprogram_specification is
[declarative_part]
begin
sequence_of_statements
[exception
exception_handler
{exception_handler}]
end [designator];This function returns an element that represents the subprogram body for the specified function or procedure body.
The block statement is not part of the code (and is not Is_Part_Of_Implicit); it is an ASIS abstraction that encapsulates the subprogram body. The block includes the declarative part, the sequence of statements, and any exception handlers. It does not have a block simple name.
Asis.Nil_Element is returned if the declaration is a body stub.
Parameters
Declaration : in Asis.Declaration;Specifies the declaration for which the corresponding body block should be returned. The declaration must be of the following kinds:
Element_Kinds Declaration_Kinds
A_Declaration A_Function_Body_Declaration
A_Function_Body_Stub
A_Procedure_Body_Declaration
A_Procedure_Body_Stub
return Asis.Statement;The returned element is of the following kinds:
Element_Kinds Expression_Kinds
A_Statement A_Block_Statement
Errors
Asis_Inappropriate_Element is raised and Environment.Status is set to Value_Error if a parameter references a library variable that is no longer open, or a parameter is specified that is not appropriate for the query.
Examples
Cross-References
- function Compilation_Units.Unit_Declaration
- function Statements.Block_Body_Statements
- function Statements.Block_Exception_Handlers
- function Statements.Declarative_Items
- "Processing Subprograms"
- package Statements, "Determining Statement Kind"
- package Statements, "Processing Block Statements"
- Ada83 LRM 6.3, Ada95 LRM 6.3
Function Subprogram_Derivation
function Subprogram_Derivation (Declaration : in Asis.Declaration) return Asis.Declaration;Expanded Name Asis.Declarations.Subprogram_Derivation
Returns the subprogram declaration from which the specified implicit derived subprogram declaration was derived.
Description
The result of this function can be another implicitly derived subprogram (Expressions.Is_Derived returns True). This function can be called iteratively to obtain the base definition of the subprogram.
An implicit derived-operator overload can be generated when:
- A type is declared
- An operator is overloaded for that type
- A new type is derived from the original type
The operator defined in the second item above is implicitly overloaded for the new type declared in the third item.
This function can return a body declaration when:
- A type is declared
- A subprogram body is declared with a parameter or return value of the type
- A new type is derived from the original type
Parameters
Declaration : in Asis.Declaration;Specifies the implicit derived-subprogram declaration for which the subprogram declaration must be returned. The type definition must be of the following kinds:
Element_Kinds Declaration_Kinds
A_Declaration A_Function_Declaration
A_Procedure_Declaration
return Asis.Declaration;The returned element is of the following kinds:
Errors
Asis_Inappropriate_Element is raised and Environment.Status is set to Value_Error if a parameter references a library variable that is no longer open, or a parameter is specified that is not appropriate for the query.
Asis_Inappropriate_Element is raised and Envronment.Status is set to Value_Error if the declaration does not reference a subprogram that Expressions.Is_Part_Of_Derived.
Examples
Cross-References
- function Corresponding_Equality_Operator
- function Corresponding_Type
- function Implicit_Attribute_Functions
- function Implicit_Derived_Subprograms
- function Implicit_Predefined_Operators
- function Is_Part_Of_Derived
- function Is_Part_Of_Implicit
- function Type_Operators
- function Expressions.Is_Derived
Function Subunit
function Subunit (Declaration : in Asis.Declaration; Library : in Asis.Library) return Asis.Declaration;
function Subunit (Declaration : in Asis.Declaration) return Asis.Declaration;Expanded Name Asis.Declarations.Subunit
Returns the unit declaration of the subunit corresponding to the body-stub declaration specified.
Description
Body stubs are defined by the following syntax:
Ada83 LRM 10.2, Ada95 LRM 10.1.3
body_stub ::=
subprogram_specification is separate;
| package body package_simple_name
is separate;
| task body task_simple_name is separate;Subunits are defined by the following syntax:
subunit ::=
separate (parent_unit_name) proper bodyThis function returns the subunit corresponding to the specified body stub.
If the subunit unit does not exist in the implied or specified library, Asis.Nil_Element is returned. If a non-nil element is returned, the Compilation_Units.Enclosing_Library of the returned element will be the same as the specified library.
The Compilation_Unit_Kinds of a non-nil returned element will be A_Subunit.
Parameters
Declaration : in Asis.Declaration;Specifies the declaration for which the subunit declaration must be returned. The declaration must be of the following kinds
Element_Kinds Declaration_Kinds
A_Declaration A_Function_Body_Stub
A_Package_Body_Stub
A_Procedure_Body_Stub
A_Task_Body_Stub
:
Library : in Asis.Library;Specifies the library from which to return the declaration. If a library is not specified, the Enclosing_Library of the Declaration parameter is assumed. These calls produce identical results:
Decl1 := Asis.Declarations.Subunit (Decl);Decl2 := Asis.Declarations.Subunit (Decl1, Asis.Compilation_Units.Enclosing_Library (Asis.Compilation_Units. Enclosing_Compilation_Unit (Decl1));
return Asis.Declaration;The returned element is of the following kinds:
Element_Kinds Declaration_Kinds
A_Declaration A_Function_Body_Declaration
A_Package_Body_Declaration
A_Procedure_Body_Declaration
A_Task_Body_Declaration
Errors
Asis_Inappropriate_Element is raised and Environment.Status is set to Value_Error if a parameter references a library variable that is no longer open, or a parameter is specified that is not appropriate for the query.
Asis_Inappropriate_Library is raised and Environment.Status is set to Value_Error if a library variable is specified that is no longer open.
Asis_Failed is raised and Environment.Status is set to Obso-
lete_Reference_Error if a parameter is part of an obsolete
compilation unit.Examples
package body Sorting is procedure Quick_Sort (...) is separate;end Sorting;
separate (Sorting)procedure Quick_Sort (...) is ...The element that represents the separate procedure declaration in the body of package Sorting is a Declaration_Kinds of A_Procedure_Body_Stub. When the Subunit function is called with this element, it returns an element with a Declaration_Kinds of A_Procedure_Body_Declaration. This element represents the separate declaration (and implementation) of the procedure.
Cross-References
- function Body_Stub
- function Is_Body_Stub
- function Is_Subunit
- function Compilation_Units.Enclosing_Compilation_Unit
- function Compilation_Units.Enclosing_Library
- "Processing Body Stubs and Subunits"
- Ada83 LRM 10.2, Ada95 LRM 10.1.3
Function Task_Body_Block
function Task_Body_Block (Declaration : in Asis.Declaration) return Asis.Statement;Expanded Name Asis.Declarations.Task_Body_Block
Returns the body block associated with the specified body
declaration.Description
Task specifications are defined by the following syntax:
task_specification ::=
task [type] identifier [is
{entry_declaration}
{representation_clause}
end [task_simple_name}]Each task specification must have a corresponding task body.
This function returns the body-block statement if the specified declaration represents a task body or Asis.Nil_Element if the declaration represents a task-body stub.
To obtain the task body of a task-body stub, call the Subunit function.
The block statement is the structural equivalent of the task body. The block statement is not part of the code (and is not Is_Part_Of_Implicit); it is an ASIS abstraction that encapsulates the task body. The block includes the declarative part, the sequence of statements, and any exception handlers. It does not have a block simple name.
Parameters
Declaration : in Asis.Declaration;Specifies the declaration for which the body block should be returned. The declaration must be of the following kinds:
Element_Kinds Declaration_Kinds
A_Declaration A_Task_Body_Declaration
A_Task_Body_Stub
return Asis.Statement;The returned element is of the following kind:
Element_Kinds Statement_Kinds
A_Statement A_Block_Statement
Errors
Asis_Inappropriate_Element is raised and Environment.Status is set to Value_Error if a parameter references a library variable that is no longer open, or a parameter is specified that is not appropriate for the query.
Examples
Cross-References
- function Names
- function Task_Declaration_Declarative_Items
- function Compilation_Units.Unit_Declaration
- function Statements.Block_Body_Statement
- function Statements.Block_Exception_Handlers
- function Statements.Declarative_Items
- function Type_Definitions.Task_Type_Declarative_Items
- package Statements, "Determining Statement Kind"
- package Statements, "Processing Block Statements"
- Ada83 LRM 9.1, Ada95 LRM 9.1
Function Task_Declaration_Declarative_Items
function Task_Declaration_Declarative_Items (Declaration : in Asis.Declaration; Include_Pragmas : in Boolean := False) return Asis.Declarative_Item_List;Expanded Name Asis.Declarations.Task_Declaration_Declarative_Items
Returns a list of all entry declarations, representation specifications, and, optionally, pragmas that are present in the specified task or task-type declaration.
Description
Task specifications are defined by the following syntax:
task_specification ::=
task [type] identifier [is
{entry_declaration}
{representation_clause}
end [task_simple_name}]This function returns a list containing the entry declarations, representation clauses, and, optionally, pragmas contained within the task specification or task-type specification. The items are returned in their order of appearance in the source code.
The subprogram Type_Definitions.Task_Type_Declarative_Items returns the same data as this subprogram.
Parameters
Declaration : in Asis.Declaration;Specifies the declaration for which the declarations, pragmas, and representation clauses should be returned. The declaration must be of the following kinds:
Element_Kinds Declaration_Kinds
A_Declaration A_Task_Declaration
A_Task_Type_Declaration
Include_Pragmas : in Boolean := False;Specifies whether pragma definitions should be included in the returned list.
return Asis.Declarative_Item_List;The returned list contains elements of the following kinds:
Element_Kinds
A_Declaration
A_Pragma
A_Representation_Clause
If an element in the returned list is A_Declaration, the associated Declaration_Kinds is An_Entry_Declaration.
Errors
Asis_Inappropriate_Element is raised and Environment.Status is set to Value_Error if a parameter references a library variable that is no longer open, or a parameter is specified that is not appropriate for the query.
Examples
Cross-References
- function Names
- function Task_Body_Block
- function Elements.Argument_Associations
- function Elements.Is_Predefined
- function Elements.Name
- function Elements.Pragma_Kind
- function Elements.Pragmas
- function Representation_Clauses.Kind
- function Type_Definitions.Task_Type_Declarative_Items
- "Processing Task Declarations"
- package Elements, "Processing Pragmas"
- package Representation_Clauses
- package Type_Definitions, "Processing Task-Type Specifications"
- Ada83 LRM 9.1, Ada95 LRM 9.1
Function Type_Declaration_Definition
function Type_Declaration_Definition (Declaration : in Asis.Declaration) return Asis.Type_Definition;Expanded Name Asis.Declarations.Type_Declaration_Definition
Returns the type definition following the reserved word is in the specified type or subtype declaration.
Description
Full-type and subtype declarations are partially defined by the following syntax:
Ada83 LRM 3.3.1, Ada95 LRM 3.2.1
full_type_declaration ::=
type identifier [discriminant_part] is
type_definition;Ada83 LRM 3.3.2, Ada95 LRM 3.2.2
subtype_declaration ::=
subtype identifier is subtype_indication;If a full-type declaration or subtype declaration is specified, the type definition or subtype indication following the reserved word is is returned.
If an incomplete-type declaration or private-type declaration is specified, the type definition in the corresponding full-type declaration is returned.
To be supplied: Need to verify that the above is really returned and figure out what the return values for the generic formal and task type declarations
Parameters
Declaration : in Asis.Declaration;Specifies the declaration for which the type definition should be returned. The declaration must be of the following kind
s:
return Asis.Type_Definition;The returned element is of the following kind:
Element_Kinds
A_Type_Definition
If An_Incomplete_Type_Declaration is specified, Asis.Nil_Element is returned.
Errors
Asis_Inappropriate_Element is raised and Environment.Status is set to Value_Error if a parameter references a library variable that is no longer open, or a parameter is specified that is not appropriate for the query.
Examples
Cross-References
- function Corresponding_Type_Declaration
- function Discriminants
- function Is_Discriminated
- function Is_Limited
- function Is_Private
- function Is_Type_Declaration
- function Type_Definitions.Subtype-
_Definition_Subtype_Indication
- "Processing Incomplete- and Private-Type Declarations"
- Ada83 LRM 3.3.1, Ada95 LRM 3.2.1
- Ada83 LRM 3.3.2
, Ada95 LRM 3.2.2
Function Type_Mark
function Type_Mark (Declaration : in Asis.Declaration) return Asis.Expression;Expanded Name Asis.Declarations.Type_Mark
Returns the type mark of the specified declaration.
Description
Type marks are used in the following Ada constructs:
Ada83 LRM 3.7.1, Ada95 LRM 3.7
discriminant_specification ::=
identifier_list : type_mark [:= expression]parameter_specification ::=
identifier_list : mode type_mark
[:= expression]deferred_constant_declaration ::=
identifier_list : constant type_mark;renaming_declaration ::=
identifier : type_mark renames
object_name;
| identifier : exception renames
exception_name;
| package identifier renames package_name;
| subprogram_specification renames
subprogram_or_entry_name;Ada83 LRM 12.1, Ada95 LRM 12.1
generic_parameter_declaration ::=
identifier list : [in [out]] type_mark
[:= expression]| type identifier is generic_type_definition;
| private_type_declaration
| with subprogram_specification [is name];
| with subprogram_specification [is <>];This function returns an expression representing the type mark from each of the above constructs.
Parameters
Declaration : in Asis.Declaration;Specifies the declaration or specification for which the type mark should be returned. The declaration must be of the following kinds:
Element_Kinds Declaration_Kinds
A_Declaration A_Deferred_Constant_Declaration
A_Discriminant_Specification
A_Generic_Formal_Object_Declaration
A_Parameter_Specification
An_Object_Rename_Declaration
return Asis.Expression;The returned element is of the following kinds:
Element_Kinds Expression_Kinds
An_Expression A_Selected_Component
A_Simple_Name
An_Attribute
Errors
Asis_Inappropriate_Element is raised and Environment.Status is set to Value_Error if a parameter references a library variable that is no longer open, or a parameter is specified that is not appropriate for the query.
Examples
Cross-References
- function Expressions.Is_Derived
- function Expressions.Is_Implicit
- function Expressions.Name
- function Expressions.Operator_Kind
- "Processing Generic Package and Subprogram Specifications"
- "Processing Object and Number Declarations"
- "Processing Renaming Declarations"
- "Processing Subprograms"
- "Processing Incomplete- and Private-Type Declarations"
- Ada83 LRM 3.7.1, Ada95 LRM 3.7
- Ada83 LRM 6.1, Ada95 LRM 6.1
- Ada83 LRM 7.4, Ada95 LRM 7.3
- Ada83 LRM 8.5, Ada95 LRM 8.5
- Ada83 LRM 12.1, Ada95 LRM 12.1
Function Type_Operators
function Type_Operators (Type_Definition : in Asis.Type_Definition) return Asis.Declaration_List;Expanded Name Asis.Declarations.Type_Operators
Returns a list of operators defined for the specified type
definition.Description
The returned list includes all predefined operators (Ada83 LRM 4.5, Ada95 LRM 4.5) and all programmer-defined operator overloads that have been implicitly derived or explicitly declared for the type (Ada83 LRM 7.4.2(5), Ada95 LRM 7.3). The list includes only those operators appropriate for the type.
An implicit derived-operator overload can be generated by:
- Declaring a type
- Overloading an operator for that type
- Deriving a new type from the original type
The operator defined in the second item above is implicitly overloaded for the new type declared in the third item.
The returned list will not include language-defined operators that have been specifically overridden. The operators are not returned if they are totally hidden (Ada83 LRM 7.4.2(16), Ada95 LRM 7.3).
The equality operator can be overloaded for limited private types. Because of variability in underlying Ada implementations, the operation of ASIS varies. See "Processing Implicit and Derived Operations" for how the equality operator is handled.
The enclosing element for each implicit declaration is the declaration, either type or object, that declared the type.
Parameters
Type_Definition : in Asis.Type_Definition;Specifies the type for which the predefined operators should be returned. The type definition must be of the following kinds:
Element_Kinds Type_Definition_Kinds
A_Type_Definition Any Type_Definition_Kinds except A_Subtype_Declaration
return Asis.Declaration_List;The returned list contains elements of the following kinds:
If there are no predefined or overloaded operators for the specified type, Asis.Nil_Element_List is returned.
Errors
Asis_Inappropriate_Element is raised and Environment.Status is set to Value_Error if a parameter references a library variable that is no longer open, or a parameter is specified that is not appropriate for the query.
Asis_Failed is raised and Environment.Status is set to Obso-
lete_Reference_Error if a parameter is part of an obsolete
compilation unit.Examples
Cross-References
- function Corresponding_Equality_Operator
- function Corresponding_Type
- function Implicit_Attribute_Functions
- function Implicit_Derived_Subprograms
- function Implicit_Predefined_Operators
- function Is_Part_Of_Derived
- function Is_Part_Of_Implicit
- function Subprogram_Derivation
Function Visible_Part_Declarative_Items
function Visible_Part_Declarative_Items (Declaration : in Asis.Declaration; Include_Pragmas : in Boolean := False) return Asis.Declarative_Item_List;Expanded Name Asis.Declarations.Visible_Part_Declarative_Items
Returns a list of all basic declarations, representation specifications, use clauses, and, optionally, pragmas that are present in the visible declarative portion of a package specification.
Description
Package specifications are defined by the following syntax:
package_specification ::=
package identifier is
{basic_declarative_item}
[private
{basic_declarative_item}]
end [package_simple_name]This function returns a list containing the basic declarative items from the visible part of the specification.
The items are returned in their order of appearance in the source code.
The list does not include any pragmas unless Include_Pragmas is specified as True.
Some ASIS implementations may normalize all multiname object definitions into an equivalent sequence of corresponding single-name object definitions (Ada83 LRM 3.2(10), Ada95 LRM 3.3). See the "Determining Declaration Kinds and Names" section for more details.
Parameters
Declaration : in Asis.Declaration;Specifies the declaration for which the visible declarative-items list should be returned. The declaration must be of the following kind
Element_Kinds Declaration_Kinds
A_Declaration A_Generic_Package_Declaration
A_Package_Declaration
s:
Include_Pragmas : in Boolean := False;Specifies whether pragma definitions should be included in the returned list.
return Asis.Declarative_Item_List;The returned list contains elements of the following kinds:
Element_Kinds
A_Declaration
A_Pragma
A_Representation_Clause
A_Use_Clause
Errors
Asis_Inappropriate_Element is raised and Environment.Status is set to Value_Error if a parameter references a library variable that is no longer open, or a parameter is specified that is not appropriate for the query.
Examples
Cross-References
- function Package_Body_Block
- function Private_Part_Declarative_Items
- package Declarations
- function Elements.Argument_Associations
- function Elements.Is_Predefined
- function Elements.Name
- function Elements.Pragma_Kind
- function Elements.Pragmas
- function Expressions.Named_Packages
- function Representation_Clauses.Kind
- "Processing Package Specifications and Body Blocks"
- package Elements, "Processing Pragmas"
- package Expressions, "Processing Use Clauses"
- package Representation_Clauses
- Ada83 LRM 3.2, Ada95 LRM
3.3- Ada83 LRM 7.1, Ada95 LRM 7.1
Package Operations
package Operations is -- For Declaration_Kinds function "=" (Left, Right : ... -- For Parameter_Mode_Kinds Function "=" (Left, Right : ... -- For Generic_Formal_Subprogram_Default_Kinds Function "=" (Left, Right : ...end Operations;Expanded Name Asis.Declarations.Operations
Package Operations provides a simple way to obtain visibility to operators for types used in package Declarations. The package typically is referenced in a use clause by an application.
Cross-References
Rational Software Corporation
http://www.rational.com support@rational.com techpubs@rational.com Copyright © 1993-2001, Rational Software Corporation. All rights reserved. |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |