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: Wed Nov 2 06:07:46 UTC 2016 by buildd@lgw01-24
|
|