public abstract class JL5ProcedureCallExt extends JL5TermExt implements JL5ProcedureCall, ProcedureCallOps
Modifier and Type | Field and Description |
---|---|
protected java.util.List<TypeNode> |
typeArgs |
Constructor and Description |
---|
JL5ProcedureCallExt(java.util.List<TypeNode> typeArgs) |
Modifier and Type | Method and Description |
---|---|
protected java.util.List<ReferenceType> |
actualTypeArgs() |
ProcedureCall |
node()
The node we ultimately extend.
|
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Pretty-print the AST using the given
CodeWriter . |
void |
printArgs(CodeWriter w,
PrettyPrinter tr) |
java.util.List<TypeNode> |
typeArgs() |
ProcedureCall |
typeArgs(java.util.List<TypeNode> typeArgs) |
protected <N extends Node> |
typeArgs(N n,
java.util.List<TypeNode> typeArgs) |
Node |
visitChildren(NodeVisitor v)
Visit the children of the node.
|
acceptCFG, firstChild
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, visitList
protected java.util.List<TypeNode> typeArgs
public JL5ProcedureCallExt(java.util.List<TypeNode> typeArgs)
public ProcedureCall node()
Ext
node
in interface Ext
node
in class JL5TermExt
public java.util.List<TypeNode> typeArgs()
typeArgs
in interface JL5ProcedureCall
public ProcedureCall typeArgs(java.util.List<TypeNode> typeArgs)
typeArgs
in interface JL5ProcedureCall
public Node visitChildren(NodeVisitor v)
NodeOps
visitChildren
in interface NodeOps
visitChildren
in class Ext_c
v
- The visitor that will traverse/rewrite the AST.this
.protected java.util.List<ReferenceType> actualTypeArgs()
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 void printArgs(CodeWriter w, PrettyPrinter tr)
printArgs
in interface ProcedureCallOps