Go to the first, previous, next, last section, table of contents.

UNUSED Pragma

The pragma <*UNUSED*> may precede any declaration. It asserts that the entity in the following declaration is not being used. (If you omit the pragma and not use a declaration, you will get a warning.) For example, the procedures that implement the default methods for an object may not need all of the actual parameters: 

PROCEDURE DefaultClose (<* UNUSED *> wr: Wr.T) =
   BEGIN (* do nothing *) END DefaultClose;

Go to the first, previous, next, last section, table of contents.