public class JL5ClassBodyExt extends JL5TermExt
Constructor and Description |
---|
JL5ClassBodyExt() |
Modifier and Type | Method and Description |
---|---|
java.util.List<EnumConstantDecl> |
enumConstantDecls() |
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Pretty-print the AST using the given
CodeWriter . |
acceptCFG, firstChild, node
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, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
public void prettyPrint(CodeWriter w, PrettyPrinter tr)
NodeOps
CodeWriter
.prettyPrint
in interface NodeOps
prettyPrint
in class Ext_c
w
- The code writer to which to write.tr
- The pretty printer. This is not a visitor.public java.util.List<EnumConstantDecl> enumConstantDecls()