Welcome to the Libadalang User Manual!
Contents:
- 1. Introduction
- 2. Building Libadalang
- 3. Core concepts
- 4. Ada API tutorial
- 5. Advice & gotchas
- 6. Ada API reference
- 6.1. Core packages
- 6.2. Unit providers
- 6.3. Preprocessing
- 6.4. Helper packages
- 6.5. Miscellaneous
- 6.6. Langkit support
- 6.6.1. Langkit_Support.Diagnostics
- 6.6.2. Langkit_Support.Diagnostics.Output
- 6.6.3. Langkit_Support.Errors
- 6.6.4. Langkit_Support.File_Readers
- 6.6.5. Langkit_Support.Generic_API
- 6.6.6. Langkit_Support.Generic_API.Analysis
- 6.6.7. Langkit_Support.Generic_API.Introspection
- 6.6.8. Langkit_Support.Generic_API.Rewriting
- 6.6.9. Langkit_Support.Generic_API.Unparsing
- 6.6.10. Langkit_Support.Names
- 6.6.11. Langkit_Support.Symbols
- 6.6.12. Langkit_Support.Text
- 7. Python API tutorial
- 8. Python API reference
AbortAbsent
AbortNode
AbortPresent
AbortStmt
AbstractAbsent
AbstractFormalSubpDecl
AbstractNode
AbstractPresent
AbstractStateDecl
AbstractStateDeclExpr
AbstractStateDeclList
AbstractSubpDecl
AcceptStmt
AcceptStmtBody
AcceptStmtWithStmts
AccessDef
AccessToSubpDef
AdaList
AdaNode
AdaNode.cast()
AdaNode.child_index
AdaNode.children
AdaNode.completion_item_kind_to_int()
AdaNode.dump()
AdaNode.dump_str()
AdaNode.find()
AdaNode.findall()
AdaNode.finditer()
AdaNode.full_sloc_image
AdaNode.image
AdaNode.is_a()
AdaNode.is_ghost
AdaNode.is_list_type
AdaNode.is_synthetic
AdaNode.is_token_node
AdaNode.iter_fields()
AdaNode.kind_name
AdaNode.lookup()
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_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.parent_chain
AdaNode.parents()
AdaNode.previous_sibling
AdaNode.sloc_range
AdaNode.text
AdaNode.to_data()
AdaNode.to_json()
AdaNode.token_end
AdaNode.token_start
AdaNode.tokens
AdaNode.unit
AdaNodeList
Aggregate
AggregateAssoc
AliasedAbsent
AliasedNode
AliasedPresent
AllAbsent
AllNode
AllPresent
Allocator
AlternativesList
AnalysisContext
AnalysisUnit
AnalysisUnit.TokenIterator
AnalysisUnit.context
AnalysisUnit.diagnostics
AnalysisUnit.filename
AnalysisUnit.first_token
AnalysisUnit.format_gnu_diagnostic()
AnalysisUnit.iter_tokens()
AnalysisUnit.last_token
AnalysisUnit.lookup_token()
AnalysisUnit.populate_lexical_env()
AnalysisUnit.reparse()
AnalysisUnit.root
AnalysisUnit.text
AnalysisUnit.token_count
AnalysisUnit.trivia_count
AnalysisUnitKind
AnonymousExprDecl
AnonymousType
AnonymousTypeAccessDef
AnonymousTypeDecl
App
ArrayIndices
ArraySubcomponentChoiceName
ArrayTypeDef
Aspect
AspectAssoc
AspectAssocList
AspectClause
AspectSpec
AssignStmt
AssocList
AtClause
AttributeDefClause
AttributeRef
BadTypeError
BaseAggregate
BaseAssoc
BaseAssocList
BaseFormalParamDecl
BaseFormalParamHolder
BaseId
BaseLoopStmt
BasePackageDecl
BaseRecordDef
BaseSubpBody
BaseSubpSpec
BaseSubtypeDecl
BaseTypeAccessDef
BaseTypeDecl
BaseTypeDecl.f_name
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_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_access_type()
BaseTypeDecl.p_is_array_type()
BaseTypeDecl.p_is_char_type()
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_private
BaseTypeDecl.p_is_real_type()
BaseTypeDecl.p_is_record_type()
BaseTypeDecl.p_is_scalar_type()
BaseTypeDecl.p_is_statically_constrained
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
BasicAssocList
BasicDecl
BasicDecl.f_aspects
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_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
BeginBlock
BinOp
BlockStmt
BodyNode
BodyStub
BoxExpr
BracketAggregate
BracketDeltaAggregate
CallExpr
CallExprKind
CallStmt
CaseExpr
CaseExprAlternative
CaseExprAlternativeList
CaseStmt
CaseStmtAlternative
CaseStmtAlternativeList
CharLiteral
ClassicSubpDecl
ClasswideTypeDecl
CompilationUnit
CompilationUnit.f_body
CompilationUnit.f_pragmas
CompilationUnit.f_prelude
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()
CompilationUnitList
CompletionItem
CompletionItemIterator
CompletionItemKind
CompletionItemKind.class_kind
CompletionItemKind.color_kind
CompletionItemKind.constant_kind
CompletionItemKind.constructor_kind
CompletionItemKind.enum_kind
CompletionItemKind.enum_member_kind
CompletionItemKind.event_kind
CompletionItemKind.field_kind
CompletionItemKind.file_kind
CompletionItemKind.folder_kind
CompletionItemKind.function_kind
CompletionItemKind.interface_kind
CompletionItemKind.keyword_kind
CompletionItemKind.method_kind
CompletionItemKind.module_kind
CompletionItemKind.operator_kind
CompletionItemKind.property_kind
CompletionItemKind.reference_kind
CompletionItemKind.snippet_kind
CompletionItemKind.struct_kind
CompletionItemKind.text_kind
CompletionItemKind.type_parameter_kind
CompletionItemKind.unit_kind
CompletionItemKind.value_kind
CompletionItemKind.variable_kind
ComponentClause
ComponentDecl
ComponentDef
ComponentList
CompositeConstraint
CompositeConstraintAssoc
CompositeStmt
ConcatOp
ConcatOperand
ConcatOperandList
ConcreteFormalSubpDecl
ConcreteTypeDecl
CondExpr
ConstantAbsent
ConstantNode
ConstantPresent
ConstrainedArrayIndices
ConstrainedSubtypeIndication
Constraint
ConstraintList
ContractCaseAssoc
ContractCaseAssocList
ContractCases
DecimalFixedPointDef
DeclBlock
DeclExpr
DeclList
DeclarativePart
DefiningName
DefiningName.f_name
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
DefiningNameList
DelayStmt
DeltaAggregate
DeltaConstraint
DerivedTypeDef
DesignatedEnvKind
Diagnostic
DigitsConstraint
DiscreteBaseSubtypeDecl
DiscreteRange
DiscreteSubtypeIndication
DiscreteSubtypeName
DiscriminantChoiceList
DiscriminantPart
DiscriminantSpec
DiscriminantSpecList
DiscriminantValues
DocAnnotation
DottedName
ElsePart
ElsifExprPart
ElsifExprPartList
ElsifStmtPart
ElsifStmtPartList
EndName
EntryBody
EntryCompletionFormalParams
EntryDecl
EntryIndexSpec
EntrySpec
EnumLitSynthTypeExpr
EnumLiteralDecl
EnumLiteralDeclList
EnumRepClause
EnumSubpSpec
EnumTypeDef
ErrorDecl
ErrorStmt
EventHandler
ExceptionDecl
ExceptionHandler
ExitStmt
ExplicitDeref
Expr
ExprAlternativesList
ExprFunction
ExprList
ExtendedReturnStmt
ExtendedReturnStmtObjectDecl
FileReadError
FileReader
FloatingPointDef
ForLoopIterFilter
ForLoopSpec
ForLoopStmt
ForLoopVarDecl
FormalDiscreteTypeDef
FormalSubpDecl
FormalTypeDecl
FormatStringChunk
FormatStringChunkList
FormatStringLiteral
FormatStringTokEnd
FormatStringTokMid
FormatStringTokNode
FormatStringTokStart
FormatStringTokString
GPRProject
GenericDecl
GenericFormal
GenericFormalObjDecl
GenericFormalPackage
GenericFormalPart
GenericFormalSubpDecl
GenericFormalTypeDecl
GenericInstantiation
GenericPackageDecl
GenericPackageInstantiation
GenericPackageInternal
GenericPackageRenamingDecl
GenericRenamingDecl
GenericSubpDecl
GenericSubpInstantiation
GenericSubpInternal
GenericSubpRenamingDecl
GotoStmt
GrammarRule
GrammarRule.abort_stmt_rule
GrammarRule.abstract_state_decl_rule
GrammarRule.abstract_subp_decl_rule
GrammarRule.accept_stmt_rule
GrammarRule.access_def_rule
GrammarRule.add_term_rule
GrammarRule.aggregate_assoc_rule
GrammarRule.aggregate_rule
GrammarRule.allocator_rule
GrammarRule.anonymous_type_decl_rule
GrammarRule.anonymous_type_rule
GrammarRule.array_subcomponent_choice_rule
GrammarRule.array_type_def_rule
GrammarRule.aspect_assoc_rule
GrammarRule.aspect_clause_rule
GrammarRule.aspect_spec_rule
GrammarRule.assignment_stmt_rule
GrammarRule.attr_suffix_rule
GrammarRule.basic_decl_rule
GrammarRule.basic_decls_rule
GrammarRule.block_stmt_rule
GrammarRule.body_rule
GrammarRule.body_stub_rule
GrammarRule.boolean_op_rule
GrammarRule.box_expr_rule
GrammarRule.bracket_aggregate_rule
GrammarRule.call_stmt_rule
GrammarRule.call_suffix_rule
GrammarRule.case_alt_rule
GrammarRule.case_expr_alt_rule
GrammarRule.case_expr_rule
GrammarRule.case_stmt_rule
GrammarRule.char_literal_rule
GrammarRule.choice_list_rule
GrammarRule.choice_rule
GrammarRule.compilation_rule
GrammarRule.compilation_unit_rule
GrammarRule.component_clause_rule
GrammarRule.component_decl_rule
GrammarRule.component_def_rule
GrammarRule.component_item_rule
GrammarRule.component_list_rule
GrammarRule.composite_constraint_assoc_rule
GrammarRule.composite_constraint_rule
GrammarRule.compound_stmt_rule
GrammarRule.conditional_expr_rule
GrammarRule.constrained_subtype_indication_rule
GrammarRule.constraint_list_rule
GrammarRule.constraint_rule
GrammarRule.context_item_rule
GrammarRule.contract_case_assoc_rule
GrammarRule.contract_cases_expr_rule
GrammarRule.dec_literal_rule
GrammarRule.decimal_fixed_point_def_rule
GrammarRule.decl_part_rule
GrammarRule.declare_expr_rule
GrammarRule.defining_id_list_rule
GrammarRule.defining_id_rule
GrammarRule.defining_name_rule
GrammarRule.delay_stmt_rule
GrammarRule.delta_choice_list_rule
GrammarRule.delta_constraint_rule
GrammarRule.derived_type_def_rule
GrammarRule.digits_constraint_rule
GrammarRule.direct_name_or_target_name_rule
GrammarRule.direct_name_rule
GrammarRule.discr_spec_list_rule
GrammarRule.discrete_range_rule
GrammarRule.discrete_subtype_definition_rule
GrammarRule.discrete_subtype_indication_rule
GrammarRule.discriminant_part_rule
GrammarRule.discriminant_spec_rule
GrammarRule.elsif_part_rule
GrammarRule.entry_body_rule
GrammarRule.entry_decl_rule
GrammarRule.enum_literal_decl_rule
GrammarRule.enum_type_def_rule
GrammarRule.exception_decl_rule
GrammarRule.exception_handler_rule
GrammarRule.exit_stmt_rule
GrammarRule.expr_fn_rule
GrammarRule.expr_rule
GrammarRule.ext_ret_stmt_object_decl_rule
GrammarRule.ext_return_stmt_rule
GrammarRule.factor_rule
GrammarRule.floating_point_def_rule
GrammarRule.for_loop_param_spec_rule
GrammarRule.formal_discrete_type_def_rule
GrammarRule.formal_subp_decl_rule
GrammarRule.formal_type_decl_rule
GrammarRule.format_string_literal_rule
GrammarRule.generic_decl_rule
GrammarRule.generic_formal_decl_rule
GrammarRule.generic_formal_part_rule
GrammarRule.generic_instantiation_rule
GrammarRule.generic_renaming_decl_rule
GrammarRule.goto_stmt_rule
GrammarRule.handled_stmts_rule
GrammarRule.iblock_stmt_rule
GrammarRule.identifier_rule
GrammarRule.if_expr_rule
GrammarRule.if_stmt_rule
GrammarRule.iloop_stmt_rule
GrammarRule.incomplete_type_decl_rule
GrammarRule.int_literal_rule
GrammarRule.interface_type_def_rule
GrammarRule.iterated_assoc_rule
GrammarRule.label_rule
GrammarRule.library_item_rule
GrammarRule.library_unit_body_rule
GrammarRule.library_unit_renaming_decl_rule
GrammarRule.loop_stmt_rule
GrammarRule.membership_choice_list_rule
GrammarRule.membership_choice_rule
GrammarRule.mod_int_type_def_rule
GrammarRule.mode_rule
GrammarRule.multi_abstract_state_decl_rule
GrammarRule.multidim_array_assoc_rule
GrammarRule.name_rule
GrammarRule.no_type_object_renaming_decl_rule
GrammarRule.null_literal_rule
GrammarRule.null_stmt_rule
GrammarRule.null_subp_decl_rule
GrammarRule.num_literal_rule
GrammarRule.number_decl_rule
GrammarRule.object_decl_rule
GrammarRule.ordinary_fixed_point_def_rule
GrammarRule.others_designator_rule
GrammarRule.overriding_indicator_rule
GrammarRule.package_body_rule
GrammarRule.package_body_stub_rule
GrammarRule.package_decl_rule
GrammarRule.package_renaming_decl_rule
GrammarRule.param_assoc_rule
GrammarRule.param_spec_rule
GrammarRule.param_specs_rule
GrammarRule.paren_expr_rule
GrammarRule.parent_list_rule
GrammarRule.pp_directive_rule
GrammarRule.pp_expr_rule
GrammarRule.pp_term_rule
GrammarRule.pp_then_rule
GrammarRule.pragma_argument_rule
GrammarRule.pragma_rule
GrammarRule.primary_rule
GrammarRule.protected_body_rule
GrammarRule.protected_body_stub_rule
GrammarRule.protected_decl_rule
GrammarRule.protected_def_rule
GrammarRule.protected_el_rule
GrammarRule.protected_op_rule
GrammarRule.protected_type_decl_rule
GrammarRule.qual_name_internal_rule
GrammarRule.qualified_name_rule
GrammarRule.quantified_expr_rule
GrammarRule.raise_expr_rule
GrammarRule.raise_stmt_rule
GrammarRule.range_constraint_rule
GrammarRule.range_spec_rule
GrammarRule.real_type_def_rule
GrammarRule.record_def_rule
GrammarRule.record_type_def_rule
GrammarRule.recov_decl_part_rule
GrammarRule.regular_aggregate_rule
GrammarRule.rel_op_rule
GrammarRule.relation_rule
GrammarRule.renaming_clause_rule
GrammarRule.requeue_stmt_rule
GrammarRule.return_stmt_rule
GrammarRule.select_stmt_rule
GrammarRule.sexpr_or_box_rule
GrammarRule.signed_int_type_def_rule
GrammarRule.simple_decl_stmt_rule
GrammarRule.simple_expr_rule
GrammarRule.simple_stmt_rule
GrammarRule.simple_subp_decl_rule
GrammarRule.single_task_decl_rule
GrammarRule.static_name_rule
GrammarRule.stmt_rule
GrammarRule.stmts_rule
GrammarRule.string_literal_rule
GrammarRule.sub_object_decl_rule
GrammarRule.subp_body_rule
GrammarRule.subp_body_stub_rule
GrammarRule.subp_decl_rule
GrammarRule.subp_renaming_decl_rule
GrammarRule.subp_spec_rule
GrammarRule.subtype_decl_rule
GrammarRule.subtype_indication_rule
GrammarRule.subtype_name_rule
GrammarRule.subunit_rule
GrammarRule.target_name_rule
GrammarRule.task_body_rule
GrammarRule.task_body_stub_rule
GrammarRule.task_def_rule
GrammarRule.task_item_rule
GrammarRule.task_type_decl_rule
GrammarRule.term_rule
GrammarRule.terminate_alternative_rule
GrammarRule.type_decl_rule
GrammarRule.type_def_rule
GrammarRule.type_expr_rule
GrammarRule.unconstrained_index_rule
GrammarRule.unop_term_rule
GrammarRule.update_attr_aggregate_rule
GrammarRule.update_attr_content_rule
GrammarRule.use_clause_rule
GrammarRule.use_package_clause_rule
GrammarRule.use_type_clause_rule
GrammarRule.value_sequence_rule
GrammarRule.variant_part_rule
GrammarRule.variant_rule
GrammarRule.while_loop_spec_rule
GrammarRule.with_clause_rule
HandledStmts
Identifier
IdentifierList
IfExpr
IfStmt
IncompleteFormalTypeDecl
IncompleteTaggedTypeDecl
IncompleteTypeDecl
IntLiteral
InterfaceKind
InterfaceKindLimited
InterfaceKindProtected
InterfaceKindSynchronized
InterfaceKindTask
InterfaceTypeDef
InvalidInput
InvalidSymbolError
InvalidUnitNameError
IterType
IterTypeIn
IterTypeOf
IteratedAssoc
KnownDiscriminantPart
Label
LabelDecl
LibraryItem
LimitedAbsent
LimitedNode
LimitedPresent
LogicContext
LookupKind
LoopSpec
LoopStmt
MalformedTreeError
MembershipExpr
ModIntTypeDef
Mode
ModeDefault
ModeIn
ModeInOut
ModeOut
MultiAbstractStateDecl
MultiDimArrayAssoc
Name
Name.doc_name
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_failsafe_referenced_def_name()
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_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
NameList
NamedStmt
NamedStmtDecl
NativeException
NoTypeObjectRenamingDecl
NotNull
NotNullAbsent
NotNullPresent
NullComponentDecl
NullLiteral
NullRecordAggregate
NullRecordDef
NullStmt
NullSubpDecl
NumLiteral
NumberDecl
ObjectDecl
Op
OpAbs
OpAnd
OpAndThen
OpConcat
OpDiv
OpDoubleDot
OpEq
OpGt
OpGte
OpIn
OpLt
OpLte
OpMinus
OpMod
OpMult
OpNeq
OpNot
OpNotIn
OpOr
OpOrElse
OpPlus
OpPow
OpRem
OpXor
OrdinaryFixedPointDef
OthersDesignator
OutOfBoundsError
OverridingNode
OverridingNotOverriding
OverridingOverriding
OverridingUnspecified
PackageBody
PackageBodyStub
PackageDecl
PackageRenamingDecl
ParamActual
ParamAssoc
ParamSpec
ParamSpecList
Params
ParenAbstractStateDecl
ParenExpr
ParentList
PpDirective
PpElseDirective
PpElsifDirective
PpEndIfDirective
PpIfDirective
PpThenKw
PragmaArgumentAssoc
PragmaNode
PragmaNodeList
PreconditionFailure
PrivateAbsent
PrivateNode
PrivatePart
PrivatePresent
PrivateTypeDef
ProjectError
PropertyError
ProtectedAbsent
ProtectedBody
ProtectedBodyStub
ProtectedDef
ProtectedNode
ProtectedPresent
ProtectedTypeDecl
PublicPart
QualExpr
QuantifiedExpr
Quantifier
QuantifierAll
QuantifierSome
RaiseExpr
RaiseStmt
RangeConstraint
RangeSpec
RealLiteral
RealTypeDef
RecordDef
RecordRepClause
RecordTypeDef
ReduceAttributeRef
RefResult
RefResultKind
RefdDecl
RefdDef
RelationOp
RenamingClause
RequeueStmt
ReturnStmt
ReverseAbsent
ReverseNode
ReversePresent
SelectStmt
SelectWhenPart
SelectWhenPartList
Shape
SignedIntTypeDef
SimpleDeclStmt
SimpleStmt
SingleProtectedDecl
SingleTaskDecl
SingleTaskTypeDecl
SingleTokNode
Sloc
SlocRange
SolverDiagnostic
SourceFilesMode
StaleReferenceError
Stmt
StmtList
StringLiteral
SubpBody
SubpBodyStub
SubpDecl
SubpKind
SubpKindFunction
SubpKindProcedure
SubpRenamingDecl
SubpSpec
Substitution
SubtypeDecl
SubtypeIndication
Subunit
SynchronizedAbsent
SynchronizedNode
SynchronizedPresent
SyntaxError
SynthAnonymousTypeDecl
SyntheticBinarySpec
SyntheticCharEnumLit
SyntheticDefiningName
SyntheticFormalParamDecl
SyntheticIdentifier
SyntheticObjectDecl
SyntheticRenamingClause
SyntheticSubpDecl
SyntheticTypeExpr
SyntheticUnarySpec
TaggedAbsent
TaggedNode
TaggedPresent
TargetInformation
TargetName
TaskBody
TaskBodyStub
TaskDef
TaskTypeDecl
TemplateArgsError
TemplateFormatError
TemplateInstantiationError
TerminateAlternative
ThenAbortPart
Token
TypeAccessDef
TypeAttributesRepository
TypeDecl
TypeDef
TypeExpr
UnOp
UnconstrainedArrayIndex
UnconstrainedArrayIndexList
UnconstrainedArrayIndices
UnitProvider
UnknownCharset
UnknownDiscriminantPart
UnsupportedViewError
UntilAbsent
UntilNode
UntilPresent
UpdateAttributeRef
UseClause
UsePackageClause
UseTypeClause
ValueSequence
Variant
VariantList
VariantPart
WhileLoopSpec
WhileLoopStmt
WithClause
WithPrivate
WithPrivateAbsent
WithPrivatePresent
token_match()
- 9. Examples repository