|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object kawa.lang.Syntax kawa.standard.module_extends
public class module_extends
Field Summary | |
---|---|
static module_extends |
module_extends
|
Constructor Summary | |
---|---|
module_extends()
|
Method Summary | |
---|---|
Expression |
rewriteForm(Pair form,
Translator tr)
|
Methods inherited from class kawa.lang.Syntax |
---|
getName, getSymbol, print, rewrite, rewriteForm, scanForDefinitions, scanForm, setName, setName |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final module_extends module_extends
Constructor Detail |
---|
public module_extends()
Method Detail |
---|
public Expression rewriteForm(Pair form, Translator tr)
rewriteForm
in class Syntax
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |