Prev Up
Go backward to D.3 Identifiers
Go up to D Display Format

D.4 Comments and Annotations

Comments are generally displayed in the same font as ordinary informal text that might appear before and after a CASL specification (but note that this may be overruled by formatting instructions occurring in the comment text).

The display of a comment need not preserve the original line-breaks of the input; but each line of the displayed comment must always start with `%%'.

By default, annotations other than labels are not displayed directly at all. Display annotations generally affect the formatting of identifiers, but the annotations themselves are not shown.

When tools have modes or switches that cause certain annotations to be displayed, their input syntax should be shown.


CoFI Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to cofi-language@brics.dk

Prev Up