| Modifier and Type | Field and Description |
|---|---|
static syntax_case |
syntax_case |
| Constructor and Description |
|---|
syntax_case () |
| Modifier and Type | Method and Description |
|---|---|
static java.lang.Object |
error (java.lang.String kind,
java.lang.Object arg)
Called (at run-time) if syntax-case has no match.
|
Expression |
rewriteForm (Pair form,
Translator tr) |
getName, getSymbol, print, rewrite, scanForDefinitions, scanForm, setName, setName clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitpublic static final syntax_case syntax_case
public syntax_case()
public Expression rewriteForm(Pair form, Translator tr)
rewriteForm in class Syntax public static java.lang.Object error(java.lang.String kind, java.lang.Object arg)