Labels
Labels are used as symbolic names for address.
The structure Label
defines the label datatype. The following operations are defined
on labels:
- newLabel : string -> label -- Generate a new label with
a given name. If the name is "", a new name is generated.
- nameOf : label -> string -- Returns the name of
a label
- id : label -> int -- Return the unique id of a label
- reset : unit -> unit -- Return the label id counter to 0.
For machine code generation, the following two additional methods are
defined.
- addrOf : label -> int -- Return the address associated with
a label
- setAddr : label * int -> unit -- Set the address associated
with a label
See also Label Expressions.
|
|
Generated by
mltex2html
|
Last modified: Mon Jun 8 14:18:05 UTC 2009 by buildd@vernadsky
|
|