Static Semantics
with Ada.Unchecked_Conversion; generic function Unchecked_Conversion renames Ada.Unchecked_Conversion;
with Ada.Unchecked_Deallocation; generic procedure Unchecked_Deallocation renames Ada.Unchecked_Deallocation;
with Ada.Sequential_IO; generic package Sequential_IO renames Ada.Sequential_IO;
with Ada.Direct_IO; generic package Direct_IO renames Ada.Direct_IO;
with Ada.Text_IO; package Text_IO renames Ada.Text_IO;
with Ada.IO_Exceptions; package IO_Exceptions renames Ada.IO_Exceptions;
with Ada.Calendar; package Calendar renames Ada.Calendar;
with System.Machine_Code; package Machine_Code renames System.Machine_Code; -- If supported.Implementation Requirements
Syntax
delta_constraint ::= delta static_expression [range_constraint]Name Resolution Rules
Static Semantics
Yields the value False if S denotes an unconstrained nonformal private subtype with discriminants; also yields the value False if S denotes a generic formal private subtype, and the associated actual subtype is either an unconstrained subtype with discriminants or an unconstrained array subtype; yields the value True otherwise. The value of this attribute is of the predefined subtype Boolean.
Static Semantics
package ASCII is
-- Control characters:
NUL : constant Character := nul; SOH : constant Character := soh; STX : constant Character := stx; ETX : constant Character := etx; EOT : constant Character := eot; ENQ : constant Character := enq; ACK : constant Character := ack; BEL : constant Character := bel; BS : constant Character := bs; HT : constant Character := ht; LF : constant Character := lf; VT : constant Character := vt; FF : constant Character := ff; CR : constant Character := cr; SO : constant Character := so; SI : constant Character := si; DLE : constant Character := dle; DC1 : constant Character := dc1; DC2 : constant Character := dc2; DC3 : constant Character := dc3; DC4 : constant Character := dc4; NAK : constant Character := nak; SYN : constant Character := syn; ETB : constant Character := etb; CAN : constant Character := can; EM : constant Character := em; SUB : constant Character := sub; ESC : constant Character := esc; FS : constant Character := fs; GS : constant Character := gs; RS : constant Character := rs; US : constant Character := us; DEL : constant Character := del;
-- Other characters:
Exclam : constant Character:= '!'; Quotation : constant Character:= '"'; Sharp : constant Character:= '#'; Dollar : constant Character:= '$'; Percent : constant Character:= '%'; Ampersand : constant Character:= '&'; Colon : constant Character:= ':'; Semicolon : constant Character:= ';'; Query : constant Character:= '?'; At_Sign : constant Character:= ''; L_Bracket : constant Character:= '['; Back_Slash: constant Character:= '\'; R_Bracket : constant Character:= ']'; Circumflex: constant Character:= '^'; Underline : constant Character:= '_'; Grave : constant Character:= '`'; L_Brace : constant Character:= '{'; Bar : constant Character:= '|'; R_Brace : constant Character:= '}'; Tilde : constant Character:= '~';
-- Lower case letters:
LC_A: constant Character:= 'a'; ... LC_Z: constant Character:= 'z';
end ASCII;
Static Semantics
Numeric_Error : exception renames Constraint_Error;
Syntax
at_clause ::= for direct_name use at expression;Static Semantics
For a task entry whose address is specified (an interrupt entry), the value refers to the corresponding hardware interrupt. For such an entry, as for any other task entry, the meaning of this value is implementation defined. The value of this attribute is of the type of the subtype System.Address.
Dynamic Semantics
task Interrupt_Handler is entry Done; for Done'Address use Ada.Interrupts.Reference (Ada.Interrupts.Names.Device_Done); end Interrupt_Handler;
Syntax
mod_clause ::= at mod static_expression;Static Semantics
for r use record at mod a ... end record;
for r'Alignment use a; for r use record ... end record;
Static Semantics
Denotes an implementation-defined value of type universal_integer representing the number of storage elements reserved for a task of the subtype T.
Go to the first, previous, next, last section, table of contents.