next up previous contents
Next: The Option ``switch'' Up: The Options of ``malaga'' Previous: The Option ``robust'' (malaga)   Contents

The Option ``sort-records''

There are different ways to determine the order in which the attributes of a record are printed. With sort-records, you can choose between three order schemes:

``set sort-records internal'': The attributes will be printed in the order they have internally.
``set sort-records alphabetic'': The attributes will be ordered alphabetically by their names.
``set sort-records definition'': The attributes will be ordered by their names; the order is the same as in the symbol table.



Bjoern Beutel