| << Prev | - Up - | Next >> |
Oz programs are translated to Oz core programs by repeatedly applying the rules given in this chapter to subtrees of the parse tree, replacing the subtree with the result of the rule. A rule consists of the following:
The rule is only applicable to subtrees generated by a rule of one of these nonterminals.
The rule is only applicable if the subtree's structure matches the left-hand side pattern. Additionally, variables are introduced. Some parts may be left out (replaced by an ellipsis) if they reappear unmodified in the output.
When the rule is applied to a subtree, the latter is replaced by the
subtree specified by the right-hand side. This may contain variables
written as X, Y, or Z not appearing in the left-hand
side: These variables are supposed to be fresh such that no
capturing can occur.
The rule is only applicable if the side-condition is satisfied.
Meta Variables
Inside rewrite rules, we use meta variables for terminals and phrases generated by nonterminals as shown in the following table:
Meta Variables |
Corresponding Terminals and Nonterminals |
|---|---|
|
x, x1, ..., xn |
<variable> |
|
D |
<declaration part> |
|
S |
<statement> |
|
E, E1, ..., Ek, En |
<expression> |
|
SE |
<statement> or <expression> |
|
P, P1, ..., Pk, Pn |
<pattern> |
|
EP, EP1, ..., EPn |
<expression> or <pattern> |
|
C, C1, ..., Cn |
<case statement clause> or <case expression clause> |
|
L, L1, ..., Ln |
<cond statement clause> or <cond expression clause> or <dis statement clause> |
|
l |
<label> |
|
f1, ..., fn |
<feature> |
|
s1, ..., sn |
<subtree> or <subpattern> |
Core Variables
The result of the transformation may have references to so-called
Core variables. We indicate this by writing them in
backquotes; they are not bound lexically, but are looked up in static
environment. Examples are
`List.toRecord` and
`RaiseDebugCheck`. If the print name of a Core variable contains a dot, then it is
supposed to be looked up (without the backquotes) in the Base
Environment (see
``The Oz Base Environment'').
Errors
When no rule is applicable and the program is not an Oz Core program, we speak of a syntax error. Such a program is not a valid Oz program.
| << Prev | - Up - | Next >> |