next up previous contents
Next: Buckets Up: Configuration data format Previous: Configuration data format   Contents

Pragma

If present at all, the pragma group contains only a single line:

pragma pragmas

pragmas
is an optional list of space-separated pragmas

Pragmas contain implementation-specific information for further processing stages. In the presence of pragmas, the behaviour of any component is undefined. Nevertheless, the external program should detect unrecognized pragmas, and issue a warning message.



Martin A. Brown 2003-11-06