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. Character Set ------------- No extensions or restrictions. Lexical Elements, Separators, and Delimiters -------------------------------------------- No extensions or restrictions. Identifiers ----------- No extensions or restrictions. Numeric Literals ---------------- No extensions or restrictions. Character Literals ------------------ No extensions or restrictions. String Literals --------------- No extensions or restrictions. Comments -------- No extensions or restrictions. Pragmas ------- |SPARK| introduces a number of new pragmas that facilitate program verification. These are described in the relevant sections of this document. Reserved Words -------------- No extensions or restrictions.