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.
