public class JL5FormalToExt_c extends FormalToExt_c
Constructor and Description |
---|
JL5FormalToExt_c() |
Modifier and Type | Method and Description |
---|---|
Node |
toExt(ExtensionRewriter rw) |
NodeVisitor |
toExtEnter(ExtensionRewriter rw) |
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, init, initPred, node, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
public NodeVisitor toExtEnter(ExtensionRewriter rw) throws SemanticException
toExtEnter
in interface ToExt
toExtEnter
in class ToExt_c
SemanticException
public Node toExt(ExtensionRewriter rw) throws SemanticException
toExt
in interface ToExt
toExt
in class FormalToExt_c
SemanticException