## Language reference

The documentation in this language reference manual serves as reference. It is not intended to be read from beginning to end, but more to look up specific information when needed. The reference documentation generally provides detailed and complete information, but this information may not always be presented in the most accessible way.

The information is divided into categories. The following categories and information is part of the language reference documentation:

Syntax

- Lexical syntax

- Grammar

- CIF XML files

SVG visualization and interaction

- CIF/SVG declarations

  - SVG file declarations

  - CIF/SVG copy declarations

  - CIF/SVG move declarations

  - CIF/SVG output mappings

  - CIF/SVG input mappings

Text

- Print output

  - Print declarations

  - Print file declarations

- Text formatting details

Annotations

- Annotations

- Built-in annotations

  - Controller properties annotations

  - Documentation annotations

  - Reachability requirement annotations

  - State annotations