2.10 Pragmas

Pragmas can be used by the Cecil programmer to provide additional information and implementation directives to the Cecil implementation. The set of recognized pragmas and their interpretation is implementation-dependent. A description of some of the pragmas supported by the UW Cecil implementation is provided in its documentation.

Pragmas are written as follows:

pragma	::=	"(**" expr "**)"

The body of a pragma uses the syntax of a Cecil expression, but its interpretation is different (and implementation-dependent). Currently, pragmas may appear as part of most Cecil declarations. In the future, pragmas will likely be able to be provided for any declaration and any expression.