2. Lexical Elements

SPARK 2014 supports the full Ada 2012 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 2014 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.