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.7. Comments

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.