2. Lexical Elements
SPARK supports the full Ada language with respect to lexical elements. Users may choose to apply restrictions to simplify the use of wide character sets and strings.
2.1. Character Set
No extensions or restrictions.
2.2. Lexical Elements, Separators, and Delimiters
No extensions or restrictions.
2.3. Identifiers
No extensions or restrictions.
2.4. Numeric Literals
No extensions or restrictions.
2.5. Character Literals
No extensions or restrictions.
2.6. String Literals
No extensions or restrictions.
2.8. Pragmas
SPARK introduces a number of new pragmas that facilitate program verification. These are described in the relevant sections of this document.
2.9. Reserved Words
No extensions or restrictions.
2.7. Comments
No extensions or restrictions.