------------------------------------------------------------------------------ -- -- -- ASIS Tester And iNTerpreter (ASIStant) COMPONENTS -- -- -- -- A S I S T A N T . H E L P . Q U E R I E S -- -- -- -- S p e c -- -- -- -- Copyright (c) 2000, Free Software Foundation, Inc. -- -- -- -- ASIStant is free software; you can redistribute it and/or modify it -- -- under terms of the GNU General Public License as published by the Free -- -- Software Foundation; either version 2, or (at your option) any later -- -- version. ASIStant is distributed in the hope that it will be useful, -- -- but WITHOUT ANY WARRANTY; without even the implied warranty of MER- -- -- CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General -- -- Public License for more details. You should have received a copy of the -- -- GNU General Public License distributed with GNAT; see file COPYING. If -- -- not, write to the Free Software Foundation, 59 Temple Place Suite 330, -- -- Boston, MA 02111-1307, USA. -- -- -- -- ASIStant is an evolution of ASIStint tool that was created by -- -- Vasiliy Fofanov as part of a collaboration between Software Engineering -- -- Laboratory of the Swiss Federal Institute of Technology in Lausanne, -- -- Switzerland, and the Scientific Research Computer Center of the Moscow -- -- University, Russia, supported by the Swiss National Science Foundation -- -- grant #7SUPJ048247, "Development of ASIS for GNAT with industry quality" -- -- -- -- ASIStant is distributed as a part of the ASIS implementation for GNAT -- -- (ASIS-for-GNAT) and is maintained by Ada Core Technologies Inc -- -- (http://www.gnat.com). -- ------------------------------------------------------------------------------ with ASIStant.FuncEnum; use ASIStant.FuncEnum; with Asis.Extensions.Flat_Kinds; use Asis.Extensions.Flat_Kinds; package ASIStant.Help.Queries is -- This package contains lists of queries that are applicable to each -- extended Element kind. This information is used by the help system. type Query_List is array (1 .. 10) of Switch_Index; Appropriate_Queries : array (Flat_Element_Kinds'Range) of Query_List := ( An_All_Calls_Remote_Pragma .. An_Unknown_Pragma => ( Pragma_Argument_Associations, others => Invalid_Index ), A_Defining_Identifier .. A_Defining_Not_Operator => ( others => Invalid_Index ), A_Defining_Expanded_Name => ( Defining_Prefix, Defining_Selector, others => Invalid_Index ), An_Ordinary_Type_Declaration .. A_Protected_Type_Declaration => ( Names, Discriminant_Part, Type_Declaration_View, others => Invalid_Index ), An_Incomplete_Type_Declaration => ( Names, Discriminant_Part, others => Invalid_Index ), A_Private_Type_Declaration => ( Names, Discriminant_Part, Type_Declaration_View, others => Invalid_Index ), A_Private_Extension_Declaration => ( Names, Discriminant_Part, Type_Declaration_View, others => Invalid_Index ), A_Subtype_Declaration => ( Names, Type_Declaration_View, others => Invalid_Index ), A_Variable_Declaration => ( Names, Object_Declaration_View, Initialization_Expression, others => Invalid_Index ), A_Constant_Declaration => ( Names, Object_Declaration_View, Initialization_Expression, others => Invalid_Index ), A_Deferred_Constant_Declaration .. A_Single_Protected_Declaration => ( Names, Object_Declaration_View, others => Invalid_Index ), An_Integer_Number_Declaration .. A_Real_Number_Declaration => ( Names, Initialization_Expression, others => Invalid_Index ), An_Enumeration_Literal_Specification => ( Names, others => Invalid_Index ), A_Discriminant_Specification => ( Names, Declaration_Subtype_Mark, Initialization_Expression, others => Invalid_Index ), A_Component_Declaration => ( Names, Object_Declaration_View, Initialization_Expression, others => Invalid_Index ), A_Loop_Parameter_Specification => ( Names, Specification_Subtype_Definition, others => Invalid_Index ), A_Procedure_Declaration => ( Names, Parameter_Profile, others => Invalid_Index ), A_Function_Declaration => ( Names, Parameter_Profile, Result_Profile, others => Invalid_Index ), A_Parameter_Specification => ( Names, Declaration_Subtype_Mark, Initialization_Expression, others => Invalid_Index ), A_Procedure_Body_Declaration => ( Names, Parameter_Profile, Body_Declarative_Items, Body_Statements, Body_Exception_Handlers, others => Invalid_Index ), A_Function_Body_Declaration => ( Names, Parameter_Profile, Result_Profile, Body_Declarative_Items, Body_Statements, Body_Exception_Handlers, others => Invalid_Index ), A_Package_Declaration => ( Names, Visible_Part_Declarative_Items, Private_Part_Declarative_Items, others => Invalid_Index ), A_Package_Body_Declaration => ( Names, Body_Declarative_Items, Body_Statements, Body_Exception_Handlers, others => Invalid_Index ), An_Object_Renaming_Declaration => ( Names, Declaration_Subtype_Mark, Renamed_Entity, others => Invalid_Index ), An_Exception_Renaming_Declaration .. A_Package_Renaming_Declaration => ( Names, Renamed_Entity, others => Invalid_Index ), A_Procedure_Renaming_Declaration => ( Names, Parameter_Profile, Renamed_Entity, others => Invalid_Index ), A_Function_Renaming_Declaration => ( Names, Parameter_Profile, Result_Profile, Renamed_Entity, others => Invalid_Index ), A_Generic_Package_Renaming_Declaration .. A_Generic_Function_Renaming_Declaration => ( Names, Renamed_Entity, others => Invalid_Index ), A_Task_Body_Declaration => ( Names, Body_Declarative_Items, Body_Statements, Body_Exception_Handlers, others => Invalid_Index ), A_Protected_Body_Declaration => ( Names, Protected_Operation_Items, others => Invalid_Index ), An_Entry_Declaration => ( Names, Entry_Family_Definition, Parameter_Profile, others => Invalid_Index ), An_Entry_Body_Declaration => ( Names, Entry_Index_Specification, Parameter_Profile, Entry_Barrier, Body_Declarative_Items, Body_Statements, Body_Exception_Handlers, others => Invalid_Index ), An_Entry_Index_Specification => ( Names, Specification_Subtype_Definition, others => Invalid_Index ), A_Procedure_Body_Stub => ( Names, Parameter_Profile, others => Invalid_Index ), A_Function_Body_Stub => ( Names, Parameter_Profile, Result_Profile, others => Invalid_Index ), A_Package_Body_Stub => ( Names, others => Invalid_Index ), A_Task_Body_Stub => ( Names, others => Invalid_Index ), A_Protected_Body_Stub => ( Names, others => Invalid_Index ), An_Exception_Declaration => ( Names, others => Invalid_Index ), A_Choice_Parameter_Specification => ( Names, others => Invalid_Index ), A_Generic_Procedure_Declaration => ( Generic_Formal_Part, Names, Parameter_Profile, others => Invalid_Index ), A_Generic_Function_Declaration => ( Generic_Formal_Part, Names, Parameter_Profile, Result_Profile, others => Invalid_Index ), A_Generic_Package_Declaration => ( Generic_Formal_Part, Names, Visible_Part_Declarative_Items, Private_Part_Declarative_Items, others => Invalid_Index ), A_Package_Instantiation => ( Names, Generic_Unit_Name, Generic_Actual_Part, others => Invalid_Index ), A_Procedure_Instantiation => ( Names, Generic_Unit_Name, Generic_Actual_Part, others => Invalid_Index ), A_Function_Instantiation => ( Names, Generic_Unit_Name, Generic_Actual_Part, others => Invalid_Index ), A_Formal_Object_Declaration => ( Names, Declaration_Subtype_Mark, Initialization_Expression, others => Invalid_Index ), A_Formal_Type_Declaration => ( Names, Discriminant_Part, Type_Declaration_View, others => Invalid_Index ), A_Formal_Procedure_Declaration => ( Names, Parameter_Profile, Formal_Subprogram_Default, others => Invalid_Index ), A_Formal_Function_Declaration => ( Names, Parameter_Profile, Result_Profile, Formal_Subprogram_Default, others => Invalid_Index ), A_Formal_Package_Declaration => ( Names, Generic_Unit_Name, Generic_Actual_Part, others => Invalid_Index ), A_Formal_Package_Declaration_With_Box => ( Names, Generic_Unit_Name, others => Invalid_Index ), A_Derived_Type_Definition => ( Parent_Subtype_Indication, others => Invalid_Index ), A_Derived_Record_Extension_Definition => ( Parent_Subtype_Indication, Record_Definition, others => Invalid_Index ), An_Enumeration_Type_Definition => ( Enumeration_Literal_Declarations, others => Invalid_Index ), A_Signed_Integer_Type_Definition => ( Integer_Constraint, others => Invalid_Index ), A_Modular_Type_Definition => ( Mod_Static_Expression, others => Invalid_Index ), A_Root_Integer_Definition => ( others => Invalid_Index ), A_Root_Real_Definition => ( others => Invalid_Index ), A_Universal_Integer_Definition => ( others => Invalid_Index ), A_Universal_Real_Definition => ( others => Invalid_Index ), A_Universal_Fixed_Definition => ( others => Invalid_Index ), A_Floating_Point_Definition => ( Digits_Expression, Real_Range_Constraint, others => Invalid_Index ), An_Ordinary_Fixed_Point_Definition => ( Delta_Expression, Real_Range_Constraint, others => Invalid_Index ), A_Decimal_Fixed_Point_Definition => ( Delta_Expression, Digits_Expression, Real_Range_Constraint, others => Invalid_Index ), An_Unconstrained_Array_Definition => ( Index_Subtype_Definitions, Array_Component_Definition, others => Invalid_Index ), A_Constrained_Array_Definition => ( Discrete_Subtype_Definitions, Array_Component_Definition, others => Invalid_Index ), A_Record_Type_Definition => ( Record_Definition, others => Invalid_Index ), A_Tagged_Record_Type_Definition => ( Record_Definition, others => Invalid_Index ), A_Pool_Specific_Access_To_Variable => ( Access_To_Object_Definition, others => Invalid_Index ), An_Access_To_Variable => ( Access_To_Object_Definition, others => Invalid_Index ), An_Access_To_Constant => ( Access_To_Object_Definition, others => Invalid_Index ), An_Access_To_Procedure => ( Access_To_Subprogram_Parameter_Profile, others => Invalid_Index ), An_Access_To_Protected_Procedure => ( Access_To_Subprogram_Parameter_Profile, others => Invalid_Index ), An_Access_To_Function => ( Access_To_Subprogram_Parameter_Profile, Access_To_Function_Result_Profile, others => Invalid_Index ), An_Access_To_Protected_Function => ( Access_To_Subprogram_Parameter_Profile, Access_To_Function_Result_Profile, others => Invalid_Index ), A_Subtype_Indication => ( Subtype_Mark, Subtype_Constraint, others => Invalid_Index ), A_Range_Attribute_Reference => ( Range_Attribute, others => Invalid_Index ), A_Simple_Expression_Range => ( Lower_Bound, Upper_Bound, others => Invalid_Index ), A_Digits_Constraint => ( Digits_Expression, Real_Range_Constraint, others => Invalid_Index ), A_Delta_Constraint => ( Delta_Expression, Real_Range_Constraint, others => Invalid_Index ), An_Index_Constraint => ( Discrete_Ranges, others => Invalid_Index ), A_Discriminant_Constraint => ( Discriminant_Associations, others => Invalid_Index ), A_Component_Definition => ( Component_Subtype_Indication, others => Invalid_Index ), A_Discrete_Subtype_Indication_As_Subtype_Definition => ( Subtype_Mark, Subtype_Constraint, others => Invalid_Index ), A_Discrete_Range_Attribute_Reference_As_Subtype_Definition => ( Range_Attribute, others => Invalid_Index ), A_Discrete_Simple_Expression_Range_As_Subtype_Definition => ( Lower_Bound, Upper_Bound, others => Invalid_Index ), A_Discrete_Subtype_Indication => ( Subtype_Mark, Subtype_Constraint, others => Invalid_Index ), A_Discrete_Range_Attribute_Reference => ( Range_Attribute, others => Invalid_Index ), A_Discrete_Simple_Expression_Range => ( Lower_Bound, Upper_Bound, others => Invalid_Index ), An_Unknown_Discriminant_Part => ( others => Invalid_Index ), A_Known_Discriminant_Part => ( Discriminants, others => Invalid_Index ), A_Record_Definition => ( Record_Components, others => Invalid_Index ), A_Null_Record_Definition => ( others => Invalid_Index ), A_Null_Component => ( others => Invalid_Index ), A_Variant_Part => ( Discriminant_Direct_Name, Variants, others => Invalid_Index ), A_Variant => ( Variant_Choices, Record_Components, others => Invalid_Index ), An_Others_Choice => ( others => Invalid_Index ), A_Private_Type_Definition => ( others => Invalid_Index ), A_Tagged_Private_Type_Definition => ( others => Invalid_Index ), A_Private_Extension_Definition => ( Ancestor_Subtype_Indication, others => Invalid_Index ), A_Task_Definition => ( Visible_Part_Items, Private_Part_Items, others => Invalid_Index ), A_Protected_Definition => ( Visible_Part_Items, Private_Part_Items, others => Invalid_Index ), A_Formal_Private_Type_Definition => ( others => Invalid_Index ), A_Formal_Tagged_Private_Type_Definition => ( others => Invalid_Index ), A_Formal_Derived_Type_Definition => ( Subtype_Mark, others => Invalid_Index ), A_Formal_Discrete_Type_Definition => ( others => Invalid_Index ), A_Formal_Signed_Integer_Type_Definition => ( others => Invalid_Index ), A_Formal_Modular_Type_Definition => ( others => Invalid_Index ), A_Formal_Floating_Point_Definition => ( others => Invalid_Index ), A_Formal_Ordinary_Fixed_Point_Definition => ( others => Invalid_Index ), A_Formal_Decimal_Fixed_Point_Definition => ( others => Invalid_Index ), A_Formal_Unconstrained_Array_Definition => ( Index_Subtype_Definitions, Array_Component_Definition, others => Invalid_Index ), A_Formal_Constrained_Array_Definition => ( Discrete_Subtype_Definitions, Array_Component_Definition, others => Invalid_Index ), A_Formal_Pool_Specific_Access_To_Variable => ( Access_To_Object_Definition, others => Invalid_Index ), A_Formal_Access_To_Variable => ( Access_To_Object_Definition, others => Invalid_Index ), A_Formal_Access_To_Constant => ( Access_To_Object_Definition, others => Invalid_Index ), A_Formal_Access_To_Procedure => ( Access_To_Subprogram_Parameter_Profile, others => Invalid_Index ), A_Formal_Access_To_Protected_Procedure => ( Access_To_Subprogram_Parameter_Profile, others => Invalid_Index ), A_Formal_Access_To_Function => ( Access_To_Subprogram_Parameter_Profile, Access_To_Function_Result_Profile, others => Invalid_Index ), A_Formal_Access_To_Protected_Function => ( Access_To_Subprogram_Parameter_Profile, Access_To_Function_Result_Profile, others => Invalid_Index ), An_Integer_Literal => ( others => Invalid_Index ), A_Real_Literal => ( others => Invalid_Index ), A_String_Literal => ( others => Invalid_Index ), An_Identifier => ( others => Invalid_Index ), An_And_Operator => ( others => Invalid_Index ), An_Or_Operator => ( others => Invalid_Index ), An_Xor_Operator => ( others => Invalid_Index ), An_Equal_Operator => ( others => Invalid_Index ), A_Not_Equal_Operator => ( others => Invalid_Index ), A_Less_Than_Operator => ( others => Invalid_Index ), A_Less_Than_Or_Equal_Operator => ( others => Invalid_Index ), A_Greater_Than_Operator => ( others => Invalid_Index ), A_Greater_Than_Or_Equal_Operator => ( others => Invalid_Index ), A_Plus_Operator => ( others => Invalid_Index ), A_Minus_Operator => ( others => Invalid_Index ), A_Concatenate_Operator => ( others => Invalid_Index ), A_Unary_Plus_Operator => ( others => Invalid_Index ), A_Unary_Minus_Operator => ( others => Invalid_Index ), A_Multiply_Operator => ( others => Invalid_Index ), A_Divide_Operator => ( others => Invalid_Index ), A_Mod_Operator => ( others => Invalid_Index ), A_Rem_Operator => ( others => Invalid_Index ), An_Exponentiate_Operator => ( others => Invalid_Index ), An_Abs_Operator => ( others => Invalid_Index ), A_Not_Operator => ( others => Invalid_Index ), A_Character_Literal => ( others => Invalid_Index ), An_Enumeration_Literal => ( others => Invalid_Index ), An_Explicit_Dereference => ( Prefix, others => Invalid_Index ), A_Function_Call => ( Prefix, Function_Call_Parameters, others => Invalid_Index ), An_Indexed_Component => ( Prefix, Index_Expressions, others => Invalid_Index ), A_Slice => ( Prefix, Slice_Range, others => Invalid_Index ), A_Selected_Component => ( Prefix, Selector, others => Invalid_Index ), An_Access_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), An_Address_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), An_Adjacent_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), An_Aft_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), An_Alignment_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Base_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Bit_Order_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Body_Version_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Callable_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Caller_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Ceiling_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Class_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Component_Size_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Compose_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Constrained_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Copy_Sign_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Count_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Definite_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Delta_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Denorm_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Digits_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), An_Exponent_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), An_External_Tag_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_First_Attribute => ( Prefix, Attribute_Designator_Identifier, Attribute_Designator_Expressions, others => Invalid_Index ), A_First_Bit_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Floor_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Fore_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Fraction_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), An_Identity_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), An_Image_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), An_Input_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Last_Attribute => ( Prefix, Attribute_Designator_Identifier, Attribute_Designator_Expressions, others => Invalid_Index ), A_Last_Bit_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Leading_Part_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Length_Attribute => ( Prefix, Attribute_Designator_Identifier, Attribute_Designator_Expressions, others => Invalid_Index ), A_Machine_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Machine_Emax_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Machine_Emin_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Machine_Mantissa_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Machine_Overflows_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Machine_Radix_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Machine_Rounds_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Max_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Max_Size_In_Storage_Elements_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Min_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Model_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Model_Emin_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Model_Epsilon_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Model_Mantissa_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Model_Small_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Modulus_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), An_Output_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Partition_Id_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Pos_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Position_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Pred_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Range_Attribute => ( Prefix, Attribute_Designator_Identifier, Attribute_Designator_Expressions, others => Invalid_Index ), A_Read_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Remainder_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Round_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Rounding_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Safe_First_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Safe_Last_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Scale_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Scaling_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Signed_Zeros_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Size_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Small_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Storage_Pool_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Storage_Size_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Succ_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Tag_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Terminated_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Truncation_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), An_Unbiased_Rounding_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), An_Unchecked_Access_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Val_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Valid_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Value_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Version_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Wide_Image_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Wide_Value_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Wide_Width_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Width_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), A_Write_Attribute => ( Prefix, Attribute_Designator_Identifier, others => Invalid_Index ), An_Implementation_Defined_Attribute => ( Prefix, Attribute_Designator_Identifier, Attribute_Designator_Expressions, others => Invalid_Index ), An_Unknown_Attribute => ( Prefix, Attribute_Designator_Identifier, Attribute_Designator_Expressions, others => Invalid_Index ), A_Record_Aggregate => ( Record_Component_Associations, others => Invalid_Index ), An_Extension_Aggregate => ( Extension_Aggregate_Expression, Record_Component_Associations, others => Invalid_Index ), A_Positional_Array_Aggregate => ( Array_Component_Associations, others => Invalid_Index ), A_Named_Array_Aggregate => ( Array_Component_Associations, others => Invalid_Index ), An_And_Then_Short_Circuit => ( Short_Circuit_Operation_Left_Expression, Short_Circuit_Operation_Right_Expression, others => Invalid_Index ), An_Or_Else_Short_Circuit => ( Short_Circuit_Operation_Left_Expression, Short_Circuit_Operation_Right_Expression, others => Invalid_Index ), An_In_Range_Membership_Test => ( Membership_Test_Expression, Membership_Test_Range, others => Invalid_Index ), A_Not_In_Range_Membership_Test => ( Membership_Test_Expression, Membership_Test_Range, others => Invalid_Index ), An_In_Type_Membership_Test => ( Membership_Test_Expression, Membership_Test_Subtype_Mark, others => Invalid_Index ), A_Not_In_Type_Membership_Test => ( Membership_Test_Expression, Membership_Test_Subtype_Mark, others => Invalid_Index ), A_Null_Literal => ( others => Invalid_Index ), A_Parenthesized_Expression => ( Expression_Parenthesized, others => Invalid_Index ), A_Type_Conversion => ( Converted_Or_Qualified_Subtype_Mark, Converted_Or_Qualified_Expression, others => Invalid_Index ), A_Qualified_Expression => ( Converted_Or_Qualified_Subtype_Mark, Converted_Or_Qualified_Expression, others => Invalid_Index ), An_Allocation_From_Subtype => ( Allocator_Subtype_Indication, others => Invalid_Index ), An_Allocation_From_Qualified_Expression => ( Allocator_Qualified_Expression, others => Invalid_Index ), A_Pragma_Argument_Association => ( Formal_Parameter, Actual_Parameter, others => Invalid_Index ), A_Discriminant_Association => ( Discriminant_Selector_Names, Discriminant_Expression, others => Invalid_Index ), A_Record_Component_Association => ( Record_Component_Choices, Component_Expression, others => Invalid_Index ), An_Array_Component_Association => ( Array_Component_Choices, Component_Expression, others => Invalid_Index ), A_Parameter_Association => ( Formal_Parameter, Actual_Parameter, others => Invalid_Index ), A_Generic_Association => ( Formal_Parameter, Actual_Parameter, others => Invalid_Index ), A_Null_Statement => ( Label_Names, others => Invalid_Index ), An_Assignment_Statement => ( Label_Names, Assignment_Variable_Name, Assignment_Expression, others => Invalid_Index ), An_If_Statement => ( Label_Names, Statement_Paths, others => Invalid_Index ), A_Case_Statement => ( Label_Names, Case_Expression, Statement_Paths, others => Invalid_Index ), A_Loop_Statement => ( Label_Names, Statement_Identifier, Loop_Statements, others => Invalid_Index ), A_While_Loop_Statement => ( Label_Names, Statement_Identifier, While_Condition, Loop_Statements, others => Invalid_Index ), A_For_Loop_Statement => ( Label_Names, Statement_Identifier, For_Loop_Parameter_Specification, Loop_Statements, others => Invalid_Index ), A_Block_Statement => ( Label_Names, Statement_Identifier, Block_Declarative_Items, Block_Statements, Block_Exception_Handlers, others => Invalid_Index ), An_Exit_Statement => ( Label_Names, Exit_Loop_Name, Exit_Condition, others => Invalid_Index ), A_Goto_Statement => ( Label_Names, Goto_Label, others => Invalid_Index ), A_Procedure_Call_Statement => ( Label_Names, Called_Name, Call_Statement_Parameters, others => Invalid_Index ), A_Return_Statement => ( Label_Names, Return_Expression, others => Invalid_Index ), An_Accept_Statement => ( Label_Names, Accept_Entry_Direct_Name, Accept_Entry_Index, Accept_Parameters, Accept_Body_Statements, Accept_Body_Exception_Handlers, others => Invalid_Index ), An_Entry_Call_Statement => ( Label_Names, Called_Name, Call_Statement_Parameters, others => Invalid_Index ), A_Requeue_Statement => ( Label_Names, Requeue_Entry_Name, others => Invalid_Index ), A_Requeue_Statement_With_Abort => ( Label_Names, Requeue_Entry_Name, others => Invalid_Index ), A_Delay_Until_Statement => ( Label_Names, Delay_Expression, others => Invalid_Index ), A_Delay_Relative_Statement => ( Label_Names, Delay_Expression, others => Invalid_Index ), A_Terminate_Alternative_Statement => ( others => Invalid_Index ), A_Selective_Accept_Statement => ( Label_Names, Statement_Paths, others => Invalid_Index ), A_Timed_Entry_Call_Statement => ( Label_Names, Statement_Paths, others => Invalid_Index ), A_Conditional_Entry_Call_Statement => ( Label_Names, Statement_Paths, others => Invalid_Index ), An_Asynchronous_Select_Statement => ( Label_Names, Statement_Paths, others => Invalid_Index ), An_Abort_Statement => ( Label_Names, Aborted_Tasks, others => Invalid_Index ), A_Raise_Statement => ( Label_Names, Raised_Exception, others => Invalid_Index ), A_Code_Statement => ( Label_Names, Qualified_Expression, others => Invalid_Index ), An_If_Path => ( Condition_Expression, Sequence_Of_Statements, others => Invalid_Index ), An_Elsif_Path => ( Condition_Expression, Sequence_Of_Statements, others => Invalid_Index ), An_Else_Path => ( Sequence_Of_Statements, others => Invalid_Index ), A_Case_Path => ( Case_Statement_Alternative_Choices, Sequence_Of_Statements, others => Invalid_Index ), A_Select_Path => ( Guard, Sequence_Of_Statements, others => Invalid_Index ), An_Or_Path => ( Guard, Sequence_Of_Statements, others => Invalid_Index ), A_Then_Abort_Path => ( Sequence_Of_Statements, others => Invalid_Index ), A_Use_Package_Clause => ( Clause_Names, others => Invalid_Index ), A_Use_Type_Clause => ( Clause_Names, others => Invalid_Index ), A_With_Clause => ( Clause_Names, others => Invalid_Index ), An_Attribute_Definition_Clause => ( Representation_Clause_Name, Representation_Clause_Expression, others => Invalid_Index ), An_Enumeration_Representation_Clause => ( Representation_Clause_Name, Representation_Clause_Expression, others => Invalid_Index ), A_Record_Representation_Clause => ( Representation_Clause_Name, Mod_Clause_Expression, Component_Clauses, others => Invalid_Index ), An_At_Clause => ( Representation_Clause_Name, Representation_Clause_Expression, others => Invalid_Index ), A_Component_Clause => ( Representation_Clause_Name, Component_Clause_Position, Component_Clause_Range, others => Invalid_Index ), An_Exception_Handler => ( Choice_Parameter_Specification, Exception_Choices, Handler_Statements, others => Invalid_Index ), others => (others => Invalid_Index) ); end ASIStant.Help.Queries;