with clauses use clauses procedure declaration package specification package body separate subunits declarative part begin end block pragma Assertion_Policy elaboration order

integer types modular types floating types fixed point types enumeration types subtypes range constraints records discriminated records derived types

if elsif else case statement loop while loop for loop reverse iteration exit when declare block null statement case expression

procedures functions in parameters out parameters in out parameters default parameters overloading operator overloading expression functions pre post aspects

constrained arrays unconstrained arrays array slicing array aggregates multidimensional arrays String Ada.Strings.Unbounded array attributes aliased components container vectors

tagged types type extension class-wide types dispatching calls interfaces abstract operations generic packages generic subprograms formal types mixins with interfaces

task type task body entry calls accept statement select statement protected type protected object delay statement rendezvous asynchronous transfer pattern

exception declaration raise exception handlers others handler re-raise access types Unchecked_Deallocation representation clauses address clauses volatile and atomic aspects