Index

Symbols

+R (gnatcheck) --brief --charset --check-redefinition --check-semantic --emit-lkql-rule-file --help --ignore --ignore-project-switches --include-file=file --list-rules --lkql-path --no-object-dir --no-subprojects --RTS --rule --rule-file --rules-dir --show-instantiation-chain --show-rule --subdirs=dir --target

--version -eL -files -from (gnatcheck) -j -l -log -m -nt -o -ox -P file -q -r -R (gnatcheck) -rules -s -t -U -v -W -xml -Xname=value

A

Abort_Statements AbortAbsent AbortNode AbortNode.p_as_bool() built-in function AbortPresent AbortStmt Abstract_Type_Declarations AbstractAbsent AbstractFormalSubpDecl AbstractNode AbstractNode.p_as_bool() built-in function AbstractPresent AbstractStateDecl AbstractStateDeclExpr AbstractStateDeclList AbstractSubpDecl AcceptStmt AcceptStmt.p_corresponding_entry() built-in function AcceptStmtBody AcceptStmtWithStmts Access_To_Local_Objects AccessDef AccessToSubpDef actual (ParamActual attribute) Actual_Parameters Ada05_Formal_Packages Ada_2022_In_Ghost_Code AdaList AdaList.is_empty_list() built-in function AdaNode AdaNode.child_index() built-in function AdaNode.children() built-in function AdaNode.completion_item_kind_to_int() built-in function AdaNode.full_sloc_image() built-in function AdaNode.is_ghost() built-in function AdaNode.next_sibling() built-in function AdaNode.p_bool_type() built-in function AdaNode.p_choice_match() built-in function AdaNode.p_complete() built-in function AdaNode.p_declarative_scope() built-in function AdaNode.p_enclosing_compilation_unit() built-in function AdaNode.p_filter_is_imported_by() built-in function AdaNode.p_generic_instantiations() built-in function AdaNode.p_get_uninstantiated_node() built-in function AdaNode.p_gnat_xref() built-in function AdaNode.p_has_spark_mode_on() built-in function AdaNode.p_int_type() built-in function AdaNode.p_is_keyword() built-in function AdaNode.p_is_nameres_ambiguous() built-in function AdaNode.p_is_subject_to_proof() built-in function AdaNode.p_matching_with_use_clause() built-in function AdaNode.p_nameres_diagnostics() built-in function AdaNode.p_parent_basic_decl() built-in function AdaNode.p_resolve_names() built-in function AdaNode.p_semantic_parent() built-in function AdaNode.p_spark_mode_aspect() built-in function AdaNode.p_standard_unit() built-in function AdaNode.p_std_char_type() built-in function AdaNode.p_std_entity() built-in function AdaNode.p_std_string_type() built-in function

AdaNode.p_std_wide_char_type() built-in function AdaNode.p_std_wide_string_type() built-in function AdaNode.p_std_wide_wide_char_type() built-in function AdaNode.p_std_wide_wide_string_type() built-in function AdaNode.p_top_level_decl() built-in function AdaNode.p_universal_int_type() built-in function AdaNode.p_universal_real_type() built-in function AdaNode.p_valid_keywords() built-in function AdaNode.p_xref_entry_point() built-in function AdaNode.parent() built-in function AdaNode.parents() built-in function AdaNode.previous_sibling() built-in function AdaNode.token_end() built-in function AdaNode.token_start() built-in function AdaNode.unit() built-in function AdaNodeList add_first() (RewritingContext method) add_last() (RewritingContext method) Address_Attribute_For_Non_Volatile_Objects Address_Specifications_For_Initialized_Objects Address_Specifications_For_Local_Objects Aggregate AggregateAssoc AliasedAbsent AliasedNode AliasedNode.p_as_bool() built-in function AliasedPresent all() built-in function all() (List method) (Stream method) AllAbsent AllNode AllNode.p_as_bool() built-in function Allocator Allocator.p_get_allocated_type() built-in function AllPresent AlternativesList AnalysisUnitKind Annotated_Comments Anonymous_Access Anonymous_Arrays Anonymous_Subtypes AnonymousExprDecl AnonymousExprDecl.p_get_formal() built-in function AnonymousType AnonymousTypeAccessDef AnonymousTypeDecl any() built-in function any() (List method) (Stream method) args (SolverDiagnostic attribute) argument sources legality and project files ArrayIndices ArraySubcomponentChoiceName ArrayTypeDef Aspect AspectAssoc AspectAssoc.p_is_ghost_code() built-in function AspectAssocList AspectClause AspectSpec AssertionLevelDecl AssignStmt AssocList AssocList.p_zip_with_params() built-in function At_Representation_Clauses AtClause AttributeDefClause AttributeRef

B

base_name() built-in function base_name() (Str method) BaseAggregate BaseAggregate.p_aggregate_params() built-in function BaseAggregate.p_is_subaggregate() built-in function BaseAggregate.p_subaggregate_array_type() built-in function BaseAggregate.p_subaggregate_dimension() built-in function BaseAssoc BaseAssoc.p_assoc_expr() built-in function BaseAssocList BaseFormalParamDecl BaseFormalParamDecl.p_formal_type() built-in function BaseFormalParamHolder BaseFormalParamHolder.p_abstract_formal_params() built-in function BaseFormalParamHolder.p_formal_params() built-in function BaseFormalParamHolder.p_nb_max_params() built-in function BaseFormalParamHolder.p_nb_min_params() built-in function BaseFormalParamHolder.p_param_types() built-in function BaseId BaseLoopStmt BasePackageDecl BasePackageDecl.p_body_part() built-in function BaseRecordDef BaseSubpBody BaseSubpSpec BaseSubpSpec.p_name() built-in function BaseSubpSpec.p_params() built-in function BaseSubpSpec.p_primitive_subp_first_type() built-in function BaseSubpSpec.p_primitive_subp_tagged_type() built-in function BaseSubpSpec.p_primitive_subp_types() built-in function BaseSubpSpec.p_return_type() built-in function BaseSubpSpec.p_returns() built-in function BaseSubtypeDecl BaseSubtypeDecl.p_get_type() built-in function BaseTypeAccessDef BaseTypeDecl BaseTypeDecl.p_accessed_type() built-in function BaseTypeDecl.p_attribute_subprogram() built-in function BaseTypeDecl.p_base_subtype() built-in function BaseTypeDecl.p_base_type() built-in function BaseTypeDecl.p_base_types() built-in function BaseTypeDecl.p_canonical_type() built-in function BaseTypeDecl.p_classwide_type() built-in function BaseTypeDecl.p_comp_type() built-in function BaseTypeDecl.p_discrete_range() built-in function BaseTypeDecl.p_discrete_static_values() built-in function BaseTypeDecl.p_discriminants_list() built-in function BaseTypeDecl.p_find_all_derived_types() built-in function BaseTypeDecl.p_find_derived_types() built-in function BaseTypeDecl.p_full_view() built-in function BaseTypeDecl.p_get_enum_representation_clause() built-in function BaseTypeDecl.p_get_primitives() built-in function BaseTypeDecl.p_get_record_representation_clause() built-in function BaseTypeDecl.p_index_type() built-in function BaseTypeDecl.p_is_abstract_type() built-in function BaseTypeDecl.p_is_access_type() built-in function BaseTypeDecl.p_is_array_type() built-in function BaseTypeDecl.p_is_char_type() built-in function BaseTypeDecl.p_is_classwide() built-in function BaseTypeDecl.p_is_definite_subtype() built-in function BaseTypeDecl.p_is_derived_type() built-in function BaseTypeDecl.p_is_discrete_type() built-in function BaseTypeDecl.p_is_enum_type() built-in function BaseTypeDecl.p_is_fixed_point() built-in function BaseTypeDecl.p_is_float_type() built-in function BaseTypeDecl.p_is_inherited_primitive() built-in function BaseTypeDecl.p_is_int_type() built-in function BaseTypeDecl.p_is_interface_type() built-in function BaseTypeDecl.p_is_limited_type() built-in function BaseTypeDecl.p_is_numeric_type() built-in function BaseTypeDecl.p_is_private() built-in function BaseTypeDecl.p_is_real_type() built-in function BaseTypeDecl.p_is_record_type() built-in function BaseTypeDecl.p_is_scalar_type() built-in function BaseTypeDecl.p_is_statically_constrained() built-in function BaseTypeDecl.p_is_statically_predicated() built-in function BaseTypeDecl.p_is_tagged_type() built-in function BaseTypeDecl.p_matching_type() built-in function BaseTypeDecl.p_next_part() built-in function BaseTypeDecl.p_previous_part() built-in function BaseTypeDecl.p_private_completion() built-in function BaseTypeDecl.p_root_type() built-in function BaseTypeDecl.p_shapes() built-in function BaseTypeDecl.p_specific_type() built-in function BasicAssoc BasicAssoc.p_get_params() built-in function BasicAssocList BasicDecl BasicDecl.p_all_parts() built-in function BasicDecl.p_base_subp_declarations() built-in function BasicDecl.p_body_part_for_decl() built-in function BasicDecl.p_canonical_fully_qualified_name() built-in function BasicDecl.p_canonical_part() built-in function BasicDecl.p_corresponding_neq_subprogram() built-in function BasicDecl.p_defining_name() built-in function BasicDecl.p_defining_names() built-in function BasicDecl.p_doc() built-in function BasicDecl.p_doc_annotations() built-in function BasicDecl.p_find_all_overrides() built-in function BasicDecl.p_fully_qualified_name() built-in function BasicDecl.p_fully_qualified_name_array() built-in function BasicDecl.p_get_annotations() built-in function BasicDecl.p_get_aspect() built-in function BasicDecl.p_get_aspect_assoc() built-in function BasicDecl.p_get_aspect_spec_expr() built-in function BasicDecl.p_get_at_clause() built-in function BasicDecl.p_get_pragma() built-in function BasicDecl.p_get_representation_clause() built-in function BasicDecl.p_has_aspect() built-in function BasicDecl.p_is_compilation_unit_root() built-in function BasicDecl.p_is_constant_object() built-in function BasicDecl.p_is_formal() built-in function BasicDecl.p_is_ghost_code() built-in function BasicDecl.p_is_imported() built-in function BasicDecl.p_is_predefined_operator() built-in function BasicDecl.p_is_static_decl() built-in function BasicDecl.p_is_subprogram() built-in function BasicDecl.p_is_visible() built-in function BasicDecl.p_most_visible_part() built-in function BasicDecl.p_next_part_for_decl() built-in function BasicDecl.p_previous_part_for_decl() built-in function BasicDecl.p_relative_name() built-in function BasicDecl.p_relative_name_text() built-in function BasicDecl.p_root_subp_declarations() built-in function BasicDecl.p_subp_spec_or_null() built-in function BasicDecl.p_type_expression() built-in function BasicDecl.p_unique_identifying_name() built-in function BasicSubpDecl BasicSubpDecl.p_subp_decl_spec() built-in function BeginBlock Binary_Case_Statements BinOp Bit_Records_Without_Layout_Definition Blocks BlockStmt BodyNode BodyNode.p_decl_part() built-in function BodyNode.p_previous_part() built-in function BodyNode.p_subunit_root() built-in function BodyStub BodyStub.p_syntactic_fully_qualified_name() built-in function Boolean_Negations Boolean_Relational_Operators BoxExpr BracketAggregate BracketDeltaAggregate built-in function AbortNode.p_as_bool() AbstractNode.p_as_bool() AcceptStmt.p_corresponding_entry() AdaList.is_empty_list() AdaNode.child_index() AdaNode.children() AdaNode.completion_item_kind_to_int() AdaNode.full_sloc_image() AdaNode.is_ghost() AdaNode.next_sibling() AdaNode.p_bool_type() AdaNode.p_choice_match() AdaNode.p_complete() AdaNode.p_declarative_scope() AdaNode.p_enclosing_compilation_unit() AdaNode.p_filter_is_imported_by() AdaNode.p_generic_instantiations() AdaNode.p_get_uninstantiated_node() AdaNode.p_gnat_xref() AdaNode.p_has_spark_mode_on() AdaNode.p_int_type() AdaNode.p_is_keyword() AdaNode.p_is_nameres_ambiguous() AdaNode.p_is_subject_to_proof() AdaNode.p_matching_with_use_clause() AdaNode.p_nameres_diagnostics() AdaNode.p_parent_basic_decl() AdaNode.p_resolve_names() AdaNode.p_semantic_parent() AdaNode.p_spark_mode_aspect() AdaNode.p_standard_unit() AdaNode.p_std_char_type() AdaNode.p_std_entity() AdaNode.p_std_string_type() AdaNode.p_std_wide_char_type() AdaNode.p_std_wide_string_type() AdaNode.p_std_wide_wide_char_type() AdaNode.p_std_wide_wide_string_type() AdaNode.p_top_level_decl() AdaNode.p_universal_int_type() AdaNode.p_universal_real_type() AdaNode.p_valid_keywords() AdaNode.p_xref_entry_point() AdaNode.parent() AdaNode.parents() AdaNode.previous_sibling() AdaNode.token_end() AdaNode.token_start() AdaNode.unit() AliasedNode.p_as_bool() all() AllNode.p_as_bool() Allocator.p_get_allocated_type() AnonymousExprDecl.p_get_formal() any() AspectAssoc.p_is_ghost_code() AssocList.p_zip_with_params() base_name() BaseAggregate.p_aggregate_params() BaseAggregate.p_is_subaggregate() BaseAggregate.p_subaggregate_array_type() BaseAggregate.p_subaggregate_dimension() BaseAssoc.p_assoc_expr() BaseFormalParamDecl.p_formal_type() BaseFormalParamHolder.p_abstract_formal_params() BaseFormalParamHolder.p_formal_params() BaseFormalParamHolder.p_nb_max_params() BaseFormalParamHolder.p_nb_min_params() BaseFormalParamHolder.p_param_types() BasePackageDecl.p_body_part() BaseSubpSpec.p_name() BaseSubpSpec.p_params() BaseSubpSpec.p_primitive_subp_first_type() BaseSubpSpec.p_primitive_subp_tagged_type() BaseSubpSpec.p_primitive_subp_types() BaseSubpSpec.p_return_type() BaseSubpSpec.p_returns() BaseSubtypeDecl.p_get_type() BaseTypeDecl.p_accessed_type() BaseTypeDecl.p_attribute_subprogram() BaseTypeDecl.p_base_subtype() BaseTypeDecl.p_base_type() BaseTypeDecl.p_base_types() BaseTypeDecl.p_canonical_type() BaseTypeDecl.p_classwide_type() BaseTypeDecl.p_comp_type() BaseTypeDecl.p_discrete_range() BaseTypeDecl.p_discrete_static_values() BaseTypeDecl.p_discriminants_list() BaseTypeDecl.p_find_all_derived_types() BaseTypeDecl.p_find_derived_types() BaseTypeDecl.p_full_view() BaseTypeDecl.p_get_enum_representation_clause() BaseTypeDecl.p_get_primitives() BaseTypeDecl.p_get_record_representation_clause() BaseTypeDecl.p_index_type() BaseTypeDecl.p_is_abstract_type() BaseTypeDecl.p_is_access_type() BaseTypeDecl.p_is_array_type() BaseTypeDecl.p_is_char_type() BaseTypeDecl.p_is_classwide() BaseTypeDecl.p_is_definite_subtype() BaseTypeDecl.p_is_derived_type() BaseTypeDecl.p_is_discrete_type() BaseTypeDecl.p_is_enum_type() BaseTypeDecl.p_is_fixed_point() BaseTypeDecl.p_is_float_type() BaseTypeDecl.p_is_inherited_primitive() BaseTypeDecl.p_is_int_type() BaseTypeDecl.p_is_interface_type() BaseTypeDecl.p_is_limited_type() BaseTypeDecl.p_is_numeric_type() BaseTypeDecl.p_is_private() BaseTypeDecl.p_is_real_type() BaseTypeDecl.p_is_record_type() BaseTypeDecl.p_is_scalar_type() BaseTypeDecl.p_is_statically_constrained() BaseTypeDecl.p_is_statically_predicated() BaseTypeDecl.p_is_tagged_type() BaseTypeDecl.p_matching_type() BaseTypeDecl.p_next_part() BaseTypeDecl.p_previous_part() BaseTypeDecl.p_private_completion() BaseTypeDecl.p_root_type() BaseTypeDecl.p_shapes() BaseTypeDecl.p_specific_type() BasicAssoc.p_get_params() BasicDecl.p_all_parts() BasicDecl.p_base_subp_declarations() BasicDecl.p_body_part_for_decl() BasicDecl.p_canonical_fully_qualified_name() BasicDecl.p_canonical_part() BasicDecl.p_corresponding_neq_subprogram() BasicDecl.p_defining_name() BasicDecl.p_defining_names() BasicDecl.p_doc() BasicDecl.p_doc_annotations() BasicDecl.p_find_all_overrides() BasicDecl.p_fully_qualified_name() BasicDecl.p_fully_qualified_name_array() BasicDecl.p_get_annotations() BasicDecl.p_get_aspect() BasicDecl.p_get_aspect_assoc() BasicDecl.p_get_aspect_spec_expr() BasicDecl.p_get_at_clause() BasicDecl.p_get_pragma() BasicDecl.p_get_representation_clause() BasicDecl.p_has_aspect() BasicDecl.p_is_compilation_unit_root() BasicDecl.p_is_constant_object() BasicDecl.p_is_formal() BasicDecl.p_is_ghost_code() BasicDecl.p_is_imported() BasicDecl.p_is_predefined_operator() BasicDecl.p_is_static_decl() BasicDecl.p_is_subprogram() BasicDecl.p_is_visible() BasicDecl.p_most_visible_part() BasicDecl.p_next_part_for_decl() BasicDecl.p_previous_part_for_decl() BasicDecl.p_relative_name() BasicDecl.p_relative_name_text() BasicDecl.p_root_subp_declarations() BasicDecl.p_subp_spec_or_null() BasicDecl.p_type_expression() BasicDecl.p_unique_identifying_name() BasicSubpDecl.p_subp_decl_spec() BodyNode.p_decl_part() BodyNode.p_previous_part() BodyNode.p_subunit_root() BodyStub.p_syntactic_fully_qualified_name() CallExpr.p_is_array_slice() CallExpr.p_kind() CharLiteral.p_denoted_value() children_no_nested() ClassicSubpDecl.p_body_part() closest_enclosing_generic() CompilationUnit.p_all_config_pragmas() CompilationUnit.p_config_pragmas() CompilationUnit.p_decl() CompilationUnit.p_has_restriction() CompilationUnit.p_imported_units() CompilationUnit.p_is_preelaborable() CompilationUnit.p_other_part() CompilationUnit.p_syntactic_fully_qualified_name() CompilationUnit.p_unit_dependencies() CompilationUnit.p_unit_kind() CompilationUnit.p_withed_units() complete_super_types() component_types() CompositeConstraint.p_discriminant_params() CompositeConstraint.p_is_discriminant_constraint() CompositeConstraint.p_is_index_constraint() concat() ConcatOp.p_operands() CondExpr.p_dependent_exprs() ConstantNode.p_as_bool() context() default_bit_order() DefiningName.p_all_parts() DefiningName.p_basic_decl() DefiningName.p_canonical_fully_qualified_name() DefiningName.p_canonical_part() DefiningName.p_find_all_calls() DefiningName.p_find_all_references() DefiningName.p_find_refs() DefiningName.p_fully_qualified_name() DefiningName.p_fully_qualified_name_array() DefiningName.p_get_annotations() DefiningName.p_get_aspect() DefiningName.p_get_at_clause() DefiningName.p_get_pragma() DefiningName.p_get_representation_clause() DefiningName.p_has_aspect() DefiningName.p_is_ghost_code() DefiningName.p_is_imported() DefiningName.p_most_visible_part() DefiningName.p_next_part() DefiningName.p_previous_part() DefiningName.p_unique_identifying_name() depends_on_mutable_discriminant() doc() document_builtins() enclosing_block() enclosing_body() enclosing_package() EndName.p_basic_decl() EntryDecl.p_accept_stmts() EntryDecl.p_body_part() EnumLiteralDecl.p_enum_rep() EnumLiteralDecl.p_enum_type() EnumRepClause.p_params() Expr.p_eval_as_int() Expr.p_eval_as_int_in_env() Expr.p_eval_as_string() Expr.p_eval_as_string_in_env() Expr.p_expected_expression_type() Expr.p_expression_type() Expr.p_first_corresponding_decl() Expr.p_is_dispatching_call() Expr.p_is_dynamically_tagged() Expr.p_is_static_expr() Expr.p_matching_nodes() find_comment() first_non_blank() FormatStringChunk.p_image_subprogram() FormatStringTokNode.p_denoted_value() full_parent_types() full_root_type() GenericInstantiation.p_designated_generic_decl() GenericInstantiation.p_inst_params() GenericPackageDecl.p_body_part() GenericSubpDecl.p_body_part() get_formals() get_parameter() get_subp_body() get_unit() has_interfaces() has_local_scope() has_non_default_sso() help() img() in_generic_instance() in_generic_template() IntLiteral.p_denoted_value() is_assert_aspect() is_assert_pragma() is_by_copy() is_by_ref() is_classwide_type() is_composite_type() is_constant_object() is_constrained_subtype() is_constructor() is_controlling_param_type() is_in_library_unit_body() is_in_package_scope() is_limited_type() is_local_object() is_negated_op() is_predefined_op() is_predefined_type() is_program_unit() is_standard_boolean() is_standard_false() is_standard_numeric() is_standard_true() is_subject_to_predicate() is_subtype_indication_constrained() is_tasking_construct() is_unchecked_conversion() is_unchecked_deallocation() LimitedNode.p_as_bool() list_of_units() max() Name.p_all_env_elements() Name.p_as_symbol_array() Name.p_call_params() Name.p_called_subp_spec() Name.p_canonical_text() Name.p_enclosing_defining_name() Name.p_failsafe_referenced_decl() Name.p_is_access_call() Name.p_is_call() Name.p_is_constant() Name.p_is_defining() Name.p_is_direct_call() Name.p_is_dot_call() Name.p_is_operator_name() Name.p_is_prefix_call() Name.p_is_static_call() Name.p_is_static_subtype() Name.p_is_write_reference() Name.p_name_designated_type() Name.p_name_is() Name.p_name_matches() Name.p_referenced_decl() Name.p_referenced_defining_name() Name.p_relative_name() negate_op() next_non_blank_token_line() nil() node_checker() NotNull.p_as_bool() number_of_values() ObjectDecl.p_is_statically_constrained() ObjectDecl.p_private_part_decl() ObjectDecl.p_public_part_decl() PackageRenamingDecl.p_final_renamed_package() PackageRenamingDecl.p_renamed_package() param_pos() parent_decl_chain() pattern() PragmaNode.p_associated_entities() PragmaNode.p_is_ghost_code() previous_non_blank_token_line() print() PrivateNode.p_as_bool() profile() propagate_exceptions() ProtectedNode.p_as_bool() range_values() reduce() repeat() ReverseNode.p_as_bool() semantic_parent() sloc_image() specified_units() Stmt.p_is_ghost_code() StringLiteral.p_denoted_value() strip_conversions() strip_parenthesis() SubtypeIndication.p_is_static_subtype() Subunit.p_body_root() super_types() SynchronizedNode.p_as_bool() SyntheticCharEnumLit.p_expr() TaggedNode.p_as_bool() TypeExpr.p_designated_type_decl() TypeExpr.p_designated_type_decl_from() TypeExpr.p_discriminant_constraints() TypeExpr.p_is_definite_subtype() TypeExpr.p_is_statically_constrained() TypeExpr.p_subtype_constraint() TypeExpr.p_type_name() ultimate_alias() ultimate_designated_generic_subp() ultimate_exception_alias() ultimate_generic_alias() ultimate_prefix() ultimate_subprogram_alias() unique() unit_checker() units() UntilNode.p_as_bool() within_assert() WithPrivate.p_as_bool()

C

CallExpr CallExpr.p_is_array_slice() built-in function CallExpr.p_kind() built-in function CallExprKind Calls_In_Exception_Handlers Calls_Outside_Elaboration CallStmt CaseExpr CaseExprAlternative CaseExprAlternativeList CaseStmt CaseStmtAlternative CaseStmtAlternativeList CharLiteral CharLiteral.p_denoted_value() built-in function children() (Node method) children_count() (Node method) children_no_nested() built-in function ClassicSubpDecl ClassicSubpDecl.p_body_part() built-in function ClasswideTypeDecl clone() (RewritingNode method) closest_enclosing_generic() built-in function Coding standard file (for gnatcheck) combine() (List method) (Object method) (Str method) CompilationUnit CompilationUnit.p_all_config_pragmas() built-in function CompilationUnit.p_config_pragmas() built-in function CompilationUnit.p_decl() built-in function CompilationUnit.p_has_restriction() built-in function CompilationUnit.p_imported_units() built-in function CompilationUnit.p_is_preelaborable() built-in function CompilationUnit.p_other_part() built-in function CompilationUnit.p_syntactic_fully_qualified_name() built-in function CompilationUnit.p_unit_dependencies() built-in function CompilationUnit.p_unit_kind() built-in function CompilationUnit.p_withed_units() built-in function

CompilationUnitList complete_super_types() built-in function CompletionItem CompletionItemKind Complex_Inlined_Subprograms component_types() built-in function ComponentClause ComponentDecl ComponentDef ComponentList components (Shape attribute) CompositeConstraint CompositeConstraint.p_discriminant_params() built-in function CompositeConstraint.p_is_discriminant_constraint() built-in function CompositeConstraint.p_is_index_constraint() built-in function CompositeConstraintAssoc CompositeStmt concat() built-in function ConcatOp ConcatOp.p_operands() built-in function ConcatOperand ConcatOperandList ConcreteFormalSubpDecl ConcreteTypeDecl Concurrent_Interfaces CondExpr CondExpr.p_dependent_exprs() built-in function Conditional_Expressions Constant_Overlays ConstantAbsent ConstantNode ConstantNode.p_as_bool() built-in function ConstantPresent ConstrainedArrayIndices ConstrainedSubtypeIndication Constraint ConstraintList Constructors contains() (Str method) context() built-in function contexts (SolverDiagnostic attribute) ContractCaseAssoc ContractCaseAssocList ContractCases Controlled_Type_Declarations create_from_template() (RewritingContext method)

D

DecimalFixedPointDef decl (CompletionItem attribute) (RefdDecl attribute) decl_node (LogicContext attribute) Declarations_In_Blocks DeclarativePart DeclBlock DeclExpr DeclList Deep_Inheritance_Hierarchies Deep_Library_Hierarchy Deeply_Nested_Generics Deeply_Nested_Inlining Deeply_Nested_Instantiations def_name (RefdDecl attribute) default_bit_order() built-in function Default_Parameters Default_Values_For_Record_Components DefiningName DefiningName.p_all_parts() built-in function DefiningName.p_basic_decl() built-in function DefiningName.p_canonical_fully_qualified_name() built-in function DefiningName.p_canonical_part() built-in function DefiningName.p_find_all_calls() built-in function DefiningName.p_find_all_references() built-in function DefiningName.p_find_refs() built-in function DefiningName.p_fully_qualified_name() built-in function DefiningName.p_fully_qualified_name_array() built-in function DefiningName.p_get_annotations() built-in function DefiningName.p_get_aspect() built-in function DefiningName.p_get_at_clause() built-in function DefiningName.p_get_pragma() built-in function DefiningName.p_get_representation_clause() built-in function DefiningName.p_has_aspect() built-in function DefiningName.p_is_ghost_code() built-in function DefiningName.p_is_imported() built-in function DefiningName.p_most_visible_part() built-in function DefiningName.p_next_part() built-in function

DefiningName.p_previous_part() built-in function DefiningName.p_unique_identifying_name() built-in function DefiningNameList DelayStmt DeltaAggregate DeltaConstraint depends_on_mutable_discriminant() built-in function DerivedTypeDef Deriving_From_Predefined_Type DesignatedEnvKind DigitsConstraint Direct_Calls_To_Primitives Direct_Equalities DiscreteBaseSubtypeDecl DiscreteRange DiscreteSubtypeIndication DiscreteSubtypeName discriminant (DiscriminantValues attribute) DiscriminantChoiceList DiscriminantPart discriminants_values (Shape attribute) DiscriminantSpec DiscriminantSpecList DiscriminantValues Discriminated_Records doc() built-in function doc() (AnalysisUnit method) (Bool method) (Function method) (Int method) (List method) (MemberReference method) (Namespace method) (Node method) (Object method) (Pattern method) (PropertyReference method) (RecValue method) (RewritingContext method) (RewritingNode method) (Str method) (Stream method) (Token method) (Tuple method) (Unit method) DocAnnotation document_builtins() built-in function DottedName Downward_View_Conversions dump() (Node method) Duplicate_Branches

E

ElsePart ElsifExprPart ElsifExprPartList ElsifStmtPart ElsifStmtPartList enclosing_block() built-in function enclosing_body() built-in function enclosing_package() built-in function end_column() (Token method) end_line() (Token method) End_Of_Line_Comments EndName EndName.p_basic_decl() built-in function ends_with() (Str method) EntryBody EntryCompletionFormalParams EntryDecl EntryDecl.p_accept_stmts() built-in function EntryDecl.p_body_part() built-in function EntryIndexSpec EntrySpec enumerate() (List method) (Stream method) Enumeration_Ranges_In_CASE_Statements Enumeration_Representation_Clauses EnumLiteralDecl EnumLiteralDecl.p_enum_rep() built-in function EnumLiteralDecl.p_enum_type() built-in function EnumLiteralDeclList EnumLitSynthTypeExpr EnumRepClause EnumRepClause.p_params() built-in function EnumSubpSpec EnumTypeDef ErrorDecl ErrorStmt

EvalDiscreteRange Exception_Propagation_From_Callbacks Exception_Propagation_From_Export Exception_Propagation_From_Tasks ExceptionDecl ExceptionHandler Exceptions_As_Control_Flow exists (Aspect attribute) exit code EXIT_Statements_With_No_Loop_Name Exits_From_Conditional_Loops ExitStmt Expanded_Loop_Exit_Names Explicit_Full_Discrete_Ranges Explicit_Inlining ExplicitDeref Expr Expr.p_eval_as_int() built-in function Expr.p_eval_as_int_in_env() built-in function Expr.p_eval_as_string() built-in function Expr.p_eval_as_string_in_env() built-in function Expr.p_expected_expression_type() built-in function Expr.p_expression_type() built-in function Expr.p_first_corresponding_decl() built-in function Expr.p_is_dispatching_call() built-in function Expr.p_is_dynamically_tagged() built-in function Expr.p_is_static_expr() built-in function Expr.p_matching_nodes() built-in function ExprAlternativesList Expression_Functions ExprFunction ExprList ExtendedReturnStmt ExtendedReturnStmtObjectDecl

F

f_aggregate (EnumRepClause attribute) f_alternatives (CaseStmt attribute) (IfExpr attribute) (IfStmt attribute) f_ancestor_expr (BaseAggregate attribute) f_args (AttributeRef attribute) (PragmaNode attribute) (ReduceAttributeRef attribute) f_aspect_assocs (AspectSpec attribute) f_aspects (BasicDecl attribute) f_assocs (BaseAggregate attribute) f_at_expr (RecordRepClause attribute) f_attribute (AttributeRef attribute) (ReduceAttributeRef attribute) (UpdateAttributeRef attribute) f_attribute_expr (AttributeDefClause attribute) f_barrier (EntryBody attribute) f_body (CompilationUnit attribute) (Subunit attribute) f_body_decl (AcceptStmt attribute) f_call (CallStmt attribute) f_call_name (RequeueStmt attribute) f_cases (CaseExpr attribute) f_choices (CaseExprAlternative attribute) (CaseStmtAlternative attribute) (Variant attribute) f_component_def (ComponentDecl attribute) f_component_type (ArrayTypeDef attribute) f_components (BaseRecordDef attribute) (ComponentList attribute) (RecordRepClause attribute) (Variant attribute) f_cond_expr (ElsifExprPart attribute) (ElsifStmtPart attribute) (ExitStmt attribute) (IfExpr attribute) (IfStmt attribute) (SelectWhenPart attribute) f_consequence (ContractCaseAssoc attribute) f_constraint (SubtypeIndication attribute) f_constraint_expr (CompositeConstraintAssoc attribute) f_constraints (CompositeConstraint attribute) f_contract_cases (ContractCases attribute) f_decl (ExtendedReturnStmt attribute) (GenericFormal attribute) (Label attribute) (NamedStmt attribute) (ParenAbstractStateDecl attribute) (SimpleDeclStmt attribute) f_decls (DeclarativePart attribute) (DeclBlock attribute) (DeclExpr attribute) (EntryBody attribute) (GenericFormalPart attribute) (MultiAbstractStateDecl attribute) (PackageBody attribute) (ProtectedBody attribute) (SubpBody attribute) (TaskBody attribute) f_default_expr (ComponentDecl attribute) (DiscriminantSpec attribute) (FormalSubpDecl attribute) (ObjectDecl attribute) (ParamSpec attribute) f_default_type (FormalTypeDecl attribute) (IncompleteFormalTypeDecl attribute) f_definition (ProtectedTypeDecl attribute) (SingleProtectedDecl attribute) (TaskTypeDecl attribute) f_delta (DecimalFixedPointDef attribute) (DeltaConstraint attribute) (OrdinaryFixedPointDef attribute) f_designator (ParamAssoc attribute) f_designators (AggregateAssoc attribute) f_dest (AssignStmt attribute) f_digits (DecimalFixedPointDef attribute) (DigitsConstraint attribute) f_discr_name (VariantPart attribute) f_discr_specs (KnownDiscriminantPart attribute) f_discriminants (IncompleteTypeDecl attribute) (ProtectedTypeDecl attribute) (TaskTypeDecl attribute) (TypeDecl attribute) f_else_expr (IfExpr attribute) f_else_part (IfStmt attribute) (SelectStmt attribute) f_end_name (AcceptStmtWithStmts attribute) (BaseLoopStmt attribute) (BasePackageDecl attribute) (BeginBlock attribute) (DeclBlock attribute) (EntryBody attribute) (PackageBody attribute) (ProtectedBody attribute) (ProtectedDef attribute) (SubpBody attribute) (TaskBody attribute) (TaskDef attribute) f_entry_index_expr (AcceptStmt attribute) f_entry_name (EntryBody attribute) (EntrySpec attribute) f_entry_params (EntrySpec attribute) f_enum_literals (EnumTypeDef attribute) f_error_message (RaiseExpr attribute) (RaiseStmt attribute) f_exception_name (ExceptionHandler attribute) (RaiseExpr attribute) (RaiseStmt attribute) f_exceptions (HandledStmts attribute) f_expr (AnonymousExprDecl attribute) (AspectAssoc attribute) (AssignStmt attribute) (AtClause attribute) (AttributeDefClause attribute) (CaseExpr attribute) (CaseExprAlternative attribute) (CaseStmt attribute) (DeclExpr attribute) (DelayStmt attribute) (ExprFunction attribute) (ForLoopIterFilter attribute) (FormatStringChunk attribute) (MembershipExpr attribute) (ModIntTypeDef attribute) (NumberDecl attribute) (ParenExpr attribute) (PpElsifDirective attribute) (PpIfDirective attribute) (PragmaArgumentAssoc attribute) (QuantifiedExpr attribute) (UnOp attribute) (WhileLoopSpec attribute) f_family_type (EntrySpec attribute) f_finally_part (HandledStmts attribute) f_first_operand (ConcatOp attribute) f_formal_part (GenericDecl attribute) f_generic_pkg_name (GenericPackageInstantiation attribute) f_generic_subp_name (GenericSubpInstantiation attribute) f_guard (ContractCaseAssoc attribute) f_guards (SelectStmt attribute) f_handled_exceptions (ExceptionHandler attribute) f_has_abort (RequeueStmt attribute) f_has_abstract (DerivedTypeDef attribute) (IncompleteTaggedTypeDecl attribute) (PrivateTypeDef attribute) (RecordTypeDef attribute) f_has_aliased (ComponentDef attribute) (ObjectDecl attribute) (ParamSpec attribute) f_has_all (TypeAccessDef attribute) (UseTypeClause attribute) f_has_constant (ComponentDef attribute) (ObjectDecl attribute) (TypeAccessDef attribute) f_has_limited (DerivedTypeDef attribute) (PrivateTypeDef attribute) (RecordTypeDef attribute) (WithClause attribute) f_has_not_null (AccessDef attribute) (SubtypeIndication attribute) f_has_private (LibraryItem attribute) (WithClause attribute) f_has_protected (AccessToSubpDef attribute) f_has_reverse (ForLoopSpec attribute) f_has_synchronized (DerivedTypeDef attribute) f_has_tagged (PrivateTypeDef attribute) (RecordTypeDef attribute) f_has_until (DelayStmt attribute) f_has_with_private (DerivedTypeDef attribute) f_id (AspectAssoc attribute) (ComponentClause attribute) (EntryIndexSpec attribute) (ForLoopVarDecl attribute) (PragmaNode attribute) f_id_type (ForLoopVarDecl attribute) f_ids (ComponentDecl attribute) (CompositeConstraintAssoc attribute) (DiscriminantSpec attribute) (ExceptionDecl attribute) (NumberDecl attribute) (ObjectDecl attribute) (ParamSpec attribute) f_index_spec (EntryBody attribute) f_indices (ArrayTypeDef attribute) f_interface_kind (InterfaceTypeDef attribute) f_interfaces (DerivedTypeDef attribute) (InterfaceTypeDef attribute) (ProtectedTypeDecl attribute) (SingleProtectedDecl attribute) (TaskDef attribute) f_is_tagged (IncompleteFormalTypeDecl attribute) f_item (LibraryItem attribute) f_iter_assoc (ValueSequence attribute) f_iter_expr (ForLoopSpec attribute) f_iter_filter (ForLoopSpec attribute) f_key_expr (IteratedAssoc attribute) f_kind (GenericSubpInstantiation attribute) (GenericSubpRenamingDecl attribute) f_label_name (GotoStmt attribute) f_left (BinOp attribute) f_left_param (SyntheticBinarySpec attribute) f_list (ConstrainedArrayIndices attribute) f_loop_name (ExitStmt attribute) f_loop_spec (QuantifiedExpr attribute) f_loop_type (ForLoopSpec attribute) f_lower_bound (UnconstrainedArrayIndex attribute) f_membership_exprs (MembershipExpr attribute) f_mid_exprs (FormatStringLiteral attribute) f_mode (ObjectDecl attribute) (ParamSpec attribute)

f_name (AbstractStateDecl attribute) (AcceptStmtBody attribute) (AnonymousExprDecl attribute) (ArraySubcomponentChoiceName attribute) (AssertionLevelDecl attribute) (AtClause attribute) (BaseTypeDecl attribute) (CallExpr attribute) (DefiningName attribute) (EndName attribute) (EnumLiteralDecl attribute) (GenericPackageInstantiation attribute) (GenericPackageRenamingDecl attribute) (GenericSubpRenamingDecl attribute) (LabelDecl attribute) (NamedStmtDecl attribute) (PackageBodyStub attribute) (PackageRenamingDecl attribute) (PragmaArgumentAssoc attribute) (ProtectedBody attribute) (ProtectedBodyStub attribute) (RecordRepClause attribute) (SingleProtectedDecl attribute) (SubtypeIndication attribute) (Subunit attribute) (TaskBody attribute) (TaskBodyStub attribute) f_names (AbortStmt attribute) f_num_digits (FloatingPointDef attribute) f_op (BinOp attribute) (MembershipExpr attribute) (UnOp attribute) f_opening_chunk (FormatStringLiteral attribute) f_operand (ConcatOperand attribute) f_operator (ConcatOperand attribute) f_other_operands (ConcatOp attribute) f_overriding (BaseSubpBody attribute) (ClassicSubpDecl attribute) (EntryDecl attribute) (GenericSubpInstantiation attribute) (SubpBodyStub attribute) f_package_decl (GenericPackageDecl attribute) f_package_name (BasePackageDecl attribute) (PackageBody attribute) f_packages (UsePackageClause attribute) (WithClause attribute) f_param_type (SyntheticFormalParamDecl attribute) f_params (AcceptStmt attribute) (EntryBody attribute) (EntryCompletionFormalParams attribute) (GenericPackageInstantiation attribute) (GenericSubpInstantiation attribute) (Params attribute) f_position (ComponentClause attribute) f_pragmas (CaseStmt attribute) (CompilationUnit attribute) f_prefix (AttributeRef attribute) (DottedName attribute) (ExplicitDeref attribute) (QualExpr attribute) (ReduceAttributeRef attribute) (UpdateAttributeRef attribute) f_prelude (CompilationUnit attribute) f_private_part (BasePackageDecl attribute) (ProtectedDef attribute) (TaskDef attribute) f_public_part (BasePackageDecl attribute) (ProtectedDef attribute) (TaskDef attribute) f_quantifier (QuantifiedExpr attribute) f_r_expr (AggregateAssoc attribute) (IteratedAssoc attribute) (ParamAssoc attribute) f_range (ComponentClause attribute) (DecimalFixedPointDef attribute) (DeltaConstraint attribute) (DigitsConstraint attribute) (FloatingPointDef attribute) (OrdinaryFixedPointDef attribute) (RangeConstraint attribute) (RangeSpec attribute) (SignedIntTypeDef attribute) f_record_def (RecordTypeDef attribute) f_record_extension (DerivedTypeDef attribute) f_renamed_object (RenamingClause attribute) f_renames (ExceptionDecl attribute) (GenericPackageRenamingDecl attribute) (GenericSubpRenamingDecl attribute) (PackageRenamingDecl attribute) (SubpRenamingDecl attribute) f_renaming_clause (ObjectDecl attribute) f_return_expr (ReturnStmt attribute) f_return_type_expr (SyntheticBinarySpec attribute) (SyntheticUnarySpec attribute) f_right (BinOp attribute) f_right_param (SyntheticBinarySpec attribute) (SyntheticUnarySpec attribute) f_spec (BaseLoopStmt attribute) (EntryDecl attribute) (IteratedAssoc attribute) (SyntheticSubpDecl attribute) f_state_decl (AbstractStateDeclExpr attribute) f_stmt (NamedStmt attribute) f_stmts (AcceptStmtWithStmts attribute) (BaseLoopStmt attribute) (BeginBlock attribute) (CaseStmtAlternative attribute) (DeclBlock attribute) (ElsePart attribute) (ElsifStmtPart attribute) (EntryBody attribute) (ExceptionHandler attribute) (ExtendedReturnStmt attribute) (FinallyPart attribute) (HandledStmts attribute) (PackageBody attribute) (SelectWhenPart attribute) (SubpBody attribute) (TaskBody attribute) (ThenAbortPart attribute) f_string_tok (FormatStringChunk attribute) f_subp_decl (GenericSubpDecl attribute) f_subp_kind (SubpSpec attribute) f_subp_name (GenericSubpInstantiation attribute) (SubpSpec attribute) f_subp_params (SubpSpec attribute) f_subp_returns (SubpSpec attribute) f_subp_spec (AccessToSubpDef attribute) (BaseSubpBody attribute) (ClassicSubpDecl attribute) (GenericSubpInternal attribute) (SubpBodyStub attribute) f_subpool (Allocator attribute) f_subtype (DiscreteSubtypeName attribute) (EntryIndexSpec attribute) (SubtypeDecl attribute) f_subtype_indication (DerivedTypeDef attribute) (TypeAccessDef attribute) f_subtype_name (UnconstrainedArrayIndex attribute) f_suffix (ArraySubcomponentChoiceName attribute) (CallExpr attribute) (DottedName attribute) (QualExpr attribute) f_task_type (SingleTaskDecl attribute) f_then_abort_part (SelectStmt attribute) f_then_expr (ElsifExprPart attribute) (IfExpr attribute) f_then_kw (PpElsifDirective attribute) (PpIfDirective attribute) f_then_stmts (IfStmt attribute) f_trailing_expr (FormatStringLiteral attribute) f_type_decl (AnonymousType attribute) (AnonymousTypeAccessDef attribute) f_type_def (TypeDecl attribute) f_type_expr (ComponentDef attribute) (DiscriminantSpec attribute) (ObjectDecl attribute) (ParamSpec attribute) f_type_name (EnumRepClause attribute) f_type_or_expr (Allocator attribute) f_types (UnconstrainedArrayIndices attribute) (UseTypeClause attribute) f_values (UpdateAttributeRef attribute) f_var_decl (ForLoopSpec attribute) f_variant (VariantPart attribute) f_variant_part (ComponentList attribute) Feature-Related_Rules Final_Package FinallyPart find() (Str method) find_comment() built-in function first_non_blank() built-in function Fixed_Equality_Checks flat_map() (List method) (Stream method) flatten() (List method) (Stream method) Float_Equality_Checks FloatingPointDef Forbidden_Aspects Forbidden_Attributes Forbidden_Pragmas ForLoopIterFilter ForLoopSpec ForLoopStmt ForLoopVarDecl FormalDiscreteTypeDef FormalSubpDecl FormalTypeDecl Format of the Report File FormatStringChunk FormatStringChunk.p_image_subprogram() built-in function FormatStringChunkList FormatStringLiteral FormatStringTokEnd FormatStringTokMid FormatStringTokNode FormatStringTokNode.p_denoted_value() built-in function FormatStringTokStart FormatStringTokString from_decl (Substitution attribute) full_parent_types() built-in function full_root_type() built-in function Function_OUT_Parameters Function_Style_Procedures

G

Generic_IN_OUT_Objects GenericDecl GenericFormal GenericFormalObjDecl GenericFormalPackage GenericFormalPart GenericFormalSubpDecl GenericFormalTypeDecl GenericInstantiation GenericInstantiation.p_designated_generic_decl() built-in function GenericInstantiation.p_inst_params() built-in function GenericPackageDecl GenericPackageDecl.p_body_part() built-in function GenericPackageInstantiation GenericPackageInternal GenericPackageRenamingDecl GenericRenamingDecl

Generics_In_Subprograms GenericSubpDecl GenericSubpDecl.p_body_part() built-in function GenericSubpInstantiation GenericSubpInternal GenericSubpRenamingDecl get_formals() built-in function get_parameter() built-in function get_subp_body() built-in function get_unit() built-in function Global_Variables gnatcheck annotations rules GOTO_Statements GotoStmt GrammarRule

H

HandledStmts has_interfaces() built-in function has_local_scope() built-in function has_non_default_sso() built-in function head() (Stream method) head_or() (Stream method) Headers help() built-in function help() (AnalysisUnit method) (Bool method) (Function method) (Int method) (List method) (MemberReference method) (Namespace method) (Node method) (Object method) (Pattern method) (PropertyReference method) (RecValue method) (RewritingContext method) (RewritingNode method) (Str method) (Stream method) (Token method) (Tuple method) (Unit method)

high_bound (DiscreteRange attribute) (EvalDiscreteRange attribute)

I

Identifier Identifier_Casing Identifier_Prefixes Identifier_Suffixes IdentifierList IfExpr IfStmt image() (Node method) img() built-in function img() (AnalysisUnit method) (Bool method) (Function method) (Int method) (List method) (MemberReference method) (Namespace method) (Node method) (Object method) (Pattern method) (PropertyReference method) (RecValue method) (RewritingContext method) (RewritingNode method) (Str method) (Stream method) (Token method) (Tuple method) (Unit method) Implicit_IN_Mode_Parameters Implicit_SMALL_For_Fixed_Point_Types Improper_Returns Improperly_Located_Instantiations in_generic_instance() built-in function in_generic_template() built-in function Incomplete_Representation_Specifications IncompleteFormalTypeDecl IncompleteTaggedTypeDecl IncompleteTypeDecl inherited (Aspect attribute) insert_after() (RewritingContext method) insert_before() (RewritingContext method) Integer_Types_As_Enum InterfaceKind InterfaceKindLimited InterfaceKindProtected InterfaceKindSynchronized InterfaceKindTask InterfaceTypeDef IntLiteral IntLiteral.p_denoted_value() built-in function is_assert_aspect() built-in function is_assert_pragma() built-in function is_by_copy() built-in function

is_by_ref() built-in function is_classwide_type() built-in function is_composite_type() built-in function is_constant_object() built-in function is_constrained_subtype() built-in function is_constructor() built-in function is_controlling_param_type() built-in function is_dot_call (CompletionItem attribute) is_equivalent() (Token method) is_in_library_unit_body() built-in function is_in_package_scope() built-in function is_limited_type() built-in function is_local_object() built-in function is_lower_case() (Str method) is_mixed_case() (Str method) is_negated_op() built-in function is_predefined_op() built-in function is_predefined_type() built-in function is_program_unit() built-in function is_standard_boolean() built-in function is_standard_false() built-in function is_standard_numeric() built-in function is_standard_true() built-in function is_subject_to_predicate() built-in function is_subtype_indication_constrained() built-in function is_tasking_construct() built-in function is_trivia() (Token method) is_unchecked_conversion() built-in function is_unchecked_deallocation() built-in function is_upper_case() (Str method) is_visible (CompletionItem attribute) IteratedAssoc IterType IterTypeIn IterTypeOf

K

key (DocAnnotation attribute) kind (RefdDecl attribute) (RefResult attribute)

kind() (Node method) (Token method) KnownDiscriminantPart

L

Label LabelDecl length() (List method) (Str method) (Stream method) Library_Level_Subprograms LibraryItem LimitedAbsent LimitedNode LimitedNode.p_as_bool() built-in function LimitedPresent List[AcceptStmt] List[AdaNode] List[AnalysisUnit] List[Aspect] List[BaseFormalParamDecl] List[BaseTypeDecl] List[BasicDecl] List[CompilationUnit] List[DefiningName] List[DiscriminantValues] List[DocAnnotation] List[EvalDiscreteRange]

List[Expr] List[GenericInstantiation] List[LogicContext] List[ParamActual] List[ParamSpec] List[PragmaNode] List[RefResult] List[Shape] List[SolverDiagnostic] List[Substitution] List[Symbol] List[TypeDecl] list_of_units() built-in function Local_Instantiations Local_Packages Local_USE_Clauses location (SolverDiagnostic attribute) LogicContext LookupKind LoopSpec LoopStmt low_bound (DiscreteRange attribute) (EvalDiscreteRange attribute) Lowercase_Keywords

M

map() (List method) (Stream method) max() built-in function Max_Identifier_Length Maximum_Expression_Complexity Maximum_Lines Maximum_OUT_Parameters Maximum_Parameters Maximum_Subprogram_Lines Membership_For_Validity Membership_Tests MembershipExpr message_template (SolverDiagnostic attribute) Metrics-Related_Rules

Metrics_Cyclomatic_Complexity Metrics_Essential_Complexity Metrics_LSLOC Min_Identifier_Length Misnamed_Controlling_Parameters Misplaced_Representation_Items Mode ModeDefault ModeIn ModeInOut ModeOut ModIntTypeDef MultiAbstractStateDecl MultiDimArrayAssoc Multiple_Entries_In_Protected_Definitions

N

Name name() (AnalysisUnit method) Name.p_all_env_elements() built-in function Name.p_as_symbol_array() built-in function Name.p_call_params() built-in function Name.p_called_subp_spec() built-in function Name.p_canonical_text() built-in function Name.p_enclosing_defining_name() built-in function Name.p_failsafe_referenced_decl() built-in function Name.p_is_access_call() built-in function Name.p_is_call() built-in function Name.p_is_constant() built-in function Name.p_is_defining() built-in function Name.p_is_direct_call() built-in function Name.p_is_dot_call() built-in function Name.p_is_operator_name() built-in function Name.p_is_prefix_call() built-in function Name.p_is_static_call() built-in function Name.p_is_static_subtype() built-in function Name.p_is_write_reference() built-in function Name.p_name_designated_type() built-in function Name.p_name_is() built-in function Name.p_name_matches() built-in function Name.p_referenced_decl() built-in function Name.p_referenced_defining_name() built-in function Name.p_relative_name() built-in function Name_Clashes

NamedStmt NamedStmtDecl NameList negate_op() built-in function Nested_Paths Nested_Subprograms new defaults for recursive subprograms rule next() (Token method) next_non_blank_token_line() built-in function nil() built-in function No_Closing_Names No_Dependence No_Explicit_Real_Range No_Inherited_Classwide_Pre No_Others_In_Exception_Handlers No_Scalar_Storage_Order_Specified node (Aspect attribute) node_checker() built-in function Non_Component_In_Barriers Non_Constant_Overlays Non_Qualified_Aggregates Non_Short_Circuit_Operators Non_SPARK_Attributes Non_Tagged_Derived_Types Non_Visible_Exceptions Nonoverlay_Address_Specifications Not_Imported_Overlays NotNull NotNull.p_as_bool() built-in function NotNullAbsent NotNullPresent NoTypeObjectRenamingDecl Null_Paths NullComponentDecl NullLiteral NullRecordAggregate NullRecordDef NullStmt NullSubpDecl Number_Declarations number_of_values() built-in function NumberDecl Numeric_Format Numeric_Indexing Numeric_Literals NumLiteral

O

Object_Declarations_Out_Of_Order Object_Orientation-related_rules ObjectDecl ObjectDecl.p_is_statically_constrained() built-in function ObjectDecl.p_private_part_decl() built-in function ObjectDecl.p_public_part_decl() built-in function Objects_Of_Anonymous_Types old unsupported switches One_Construct_Per_Line One_Tagged_Type_Per_Package Op OpAbs OpAnd OpAndThen OpConcat OpDiv OpDoubleDot OpEq Operator_Renamings OpGt OpGte OpIn OpLt OpLte OpMinus

OpMod OpMult OpNeq OpNot OpNotIn OpOr OpOrElse OpPlus OpPow OpRem OpXor OrdinaryFixedPointDef OTHERS_In_Aggregates OTHERS_In_CASE_Statements OTHERS_In_Exception_Handlers OthersDesignator Out_Parameter_Read_In_Exception_Handler Outbound_Protected_Assignments Outer_Loop_Exits Outside_References_From_Subprograms Overloaded_Operators Overly_Nested_Control_Structures Overly_Nested_Scopes Overriding_Indicators OverridingNode OverridingNotOverriding OverridingOverriding OverridingUnspecified

P

PackageBody PackageBodyStub PackageDecl PackageRenamingDecl PackageRenamingDecl.p_final_renamed_package() built-in function PackageRenamingDecl.p_renamed_package() built-in function param (ParamActual attribute) param_pos() built-in function ParamActual ParamAssoc Parameters_Aliasing Parameters_Out_Of_Order Params ParamSpec ParamSpecList ParenAbstractStateDecl ParenExpr parent() (Node method) parent_decl_chain() built-in function ParentList pattern() built-in function Portability-related_rules POS_On_Enumeration_Types Positional_Actuals_For_Defaulted_Generic_Parameters Positional_Actuals_For_Defaulted_Parameters Positional_Components Positional_Generic_Parameters Positional_Parameters Potential_Parameters_Aliasing PpDirective PpElseDirective PpElsifDirective PpEndIfDirective PpIfDirective PpThenKw PragmaArgumentAssoc PragmaNode PragmaNode.p_associated_entities() built-in function PragmaNode.p_is_ghost_code() built-in function PragmaNodeList Predefined Rules Predefined_Numeric_Types

Predicate_Testing previous() (Token method) previous_non_blank_token_line() built-in function print() built-in function print() (AnalysisUnit method) (Bool method) (Function method) (Int method) (List method) (MemberReference method) (Namespace method) (Node method) (Object method) (Pattern method) (PropertyReference method) (RecValue method) (RewritingContext method) (RewritingNode method) (Str method) (Stream method) (Token method) (Tuple method) (Unit method) Printable_ASCII PrivateAbsent PrivateNode PrivateNode.p_as_bool() built-in function PrivatePart PrivatePresent PrivateTypeDef profile() built-in function Profile_Discrepancies Program_Structure-related_rules Programming_Practice-related_rules propagate_exceptions() built-in function ProtectedAbsent ProtectedBody ProtectedBodyStub ProtectedDef ProtectedNode ProtectedNode.p_as_bool() built-in function ProtectedPresent ProtectedTypeDecl PublicPart

Q

QualExpr Quantified_Expressions QuantifiedExpr

Quantifier QuantifierAll QuantifierSome

R

RaiseExpr RaiseStmt Raising_External_Exceptions Raising_Predefined_Exceptions range_type (DiscreteRange attribute) range_values() built-in function RangeConstraint RangeSpec Readability-related_rules RealLiteral RealTypeDef RecordDef RecordRepClause RecordTypeDef Recursive_Subprograms reduce() built-in function reduce() (List method) (Stream method) ReduceAttributeRef Redundant_Boolean_Expressions Redundant_Null_Statements ref (RefResult attribute)

ref_node (LogicContext attribute) RefdDecl RefResult RefResultKind RelationOp Relative_Delay_Statements remove() (RewritingContext method) RenamingClause Renamings repeat() built-in function replace() (RewritingContext method) Representation_Specifications RequeueStmt Restrictions ReturnStmt ReverseAbsent ReverseNode ReverseNode.p_as_bool() built-in function ReversePresent root() (AnalysisUnit method) round (SolverDiagnostic attribute) rule aliases no longer supported Rule exemption

S

Same_Instantiations Same_Logic Same_Operands Same_Tests same_tokens() (Node method) SelectStmt SelectWhenPart SelectWhenPartList semantic_parent() built-in function Separate_Numeric_Error_Handlers Separates set_child() (RewritingContext method) Shape Side_Effect_Parameters SignedIntTypeDef Silent_Exception_Handlers Simple_Loop_Statements SimpleDeclStmt SimpleStmt Single_Value_Enumeration_Types SingleProtectedDecl SingleTaskDecl SingleTaskTypeDecl SingleTokNode Size_Attribute_For_Types Slices sloc_image() built-in function SolverDiagnostic SPARK-Related_Rules SPARK_Procedures_Without_Globals Specific_Parent_Type_Invariant Specific_Pre_Post Specific_Type_Invariants specified_units() built-in function split() (Str method) start_column() (Token method) start_line() (Token method) starts_with() (Str method) Stmt Stmt.p_is_ghost_code() built-in function StmtList StringLiteral StringLiteral.p_denoted_value() built-in function

strip_conversions() built-in function strip_parenthesis() built-in function Style-Related_Rules Style_Checks sublist() (List method) SubpBody SubpBodyStub SubpDecl SubpKind SubpKindFunction SubpKindProcedure SubpRenamingDecl Subprogram_Access SubpSpec Substitution substring() (Str method) SubtypeDecl SubtypeIndication SubtypeIndication.p_is_static_subtype() built-in function Subunit Subunit.p_body_root() built-in function super_types() built-in function Suspicious_Equalities SynchronizedAbsent SynchronizedNode SynchronizedNode.p_as_bool() built-in function SynchronizedPresent SynthAnonymousTypeDecl SyntheticBinarySpec SyntheticCharEnumLit SyntheticCharEnumLit.p_expr() built-in function SyntheticDefiningName SyntheticFormalParamDecl SyntheticIdentifier SyntheticObjectDecl SyntheticRenamingClause SyntheticSubpDecl SyntheticTypeExpr SyntheticUnarySpec

T

TaggedAbsent TaggedNode TaggedNode.p_as_bool() built-in function TaggedPresent tail() (Stream method) TargetName TaskBody TaskBodyStub TaskDef Tasking-related_rules TaskTypeDecl TerminateAlternative text() (AnalysisUnit method) (Node method) (Token method) ThenAbortPart to_list() (List method) (Stream method) to_lower_case() (Str method) to_stream() (List method) (Stream method) to_upper_case() (Str method) to_value (Substitution attribute) tokens() (AnalysisUnit method) (Node method)

Too_Many_Dependencies Too_Many_Generic_Dependencies Too_Many_Parents Too_Many_Primitives Trivial_Exception_Handlers TypeAccessDef TypeAttributesRepository TypeDecl TypeDef TypeExpr TypeExpr.p_designated_type_decl() built-in function TypeExpr.p_designated_type_decl_from() built-in function TypeExpr.p_discriminant_constraints() built-in function TypeExpr.p_is_definite_subtype() built-in function TypeExpr.p_is_statically_constrained() built-in function TypeExpr.p_subtype_constraint() built-in function TypeExpr.p_type_name() built-in function

U

ultimate_alias() built-in function ultimate_designated_generic_subp() built-in function ultimate_exception_alias() built-in function ultimate_generic_alias() built-in function ultimate_prefix() built-in function ultimate_subprogram_alias() built-in function Unassigned_OUT_Parameters Unavailable_Body_Calls Unchecked_Address_Conversions Unchecked_Conversions_As_Actuals Uncommented_BEGIN Uncommented_BEGIN_In_Package_Bodies Uncommented_End_Record Unconditional_Exits Unconstrained_Array_Returns Unconstrained_Arrays UnconstrainedArrayIndex UnconstrainedArrayIndexList UnconstrainedArrayIndices Uninitialized_Global_Variables unique() built-in function unique() (List method) (Stream method) unit() (Node method) (Token method)

unit_checker() built-in function units() built-in function Universal_Ranges UnknownDiscriminantPart Unnamed_Blocks_And_Loops Unnamed_Exits UnOp UntilAbsent UntilNode UntilNode.p_as_bool() built-in function UntilPresent UpdateAttributeRef Use_Array_Slices Use_Case_Statements USE_Clauses Use_For_Loops Use_For_Of_Loops Use_If_Expressions Use_Memberships USE_PACKAGE_Clauses Use_Ranges Use_Record_Aggregates Use_Simple_Loops Use_While_Loops UseClause UsePackageClause UseTypeClause using comments to control rule and instance exemption using pragma Annotate to control rule and instance exemption

V

value (Aspect attribute) (DocAnnotation attribute) value_type (Substitution attribute) values (DiscriminantValues attribute) ValueSequence

Variable_Scoping Variant VariantList VariantPart Visible_Components Volatile_Objects_Without_Address_Clauses

W

Warnings weight (CompletionItem attribute) WhileLoopSpec WhileLoopStmt WithClause within_assert() built-in function

WithPrivate WithPrivate.p_as_bool() built-in function WithPrivateAbsent WithPrivatePresent