public class JL5ClassDeclToJL_c extends ClassDeclToExt_c
Constructor and Description |
---|
JL5ClassDeclToJL_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 ClassDeclToExt_c
SemanticException