next up previous contents
Next: Expression Up: Pseudo-Statements Previous: Pseudo-Statements   Contents


A MarkStatement has no effect. It exists solely as a place to hang annotations. For example, the ``line'' annotation is often put on MarkStatements inserted in statement lists to mark which source line and file correspond to a particular place in the StatementList.

    concrete MarkStatement : Statement {};

SUIF Nightly Build