|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectpolyglot.ext.jl.ast.Node_c
polyglot.ext.jl.ast.Term_c
polyglot.ext.jl.ast.ConstructorDecl_c
A ConstructorDecl is an immutable representation of a
constructor declaration as part of a class body.
| Field Summary | |
protected Block |
body
|
protected ConstructorInstance |
ci
|
protected Flags |
flags
|
protected java.util.List |
formals
|
protected java.lang.String |
name
|
protected java.util.List |
throwTypes
|
| Fields inherited from class polyglot.ext.jl.ast.Term_c |
reachable |
| Fields inherited from class polyglot.ext.jl.ast.Node_c |
del, ext, position |
| Constructor Summary | |
ConstructorDecl_c(Position pos,
Flags flags,
java.lang.String name,
java.util.List formals,
java.util.List throwTypes,
Block body)
|
|
| Method Summary | |
java.util.List |
acceptCFG(CFGBuilder v,
java.util.List succs)
Visit this term in evaluation order. |
NodeVisitor |
addMembersEnter(AddMemberVisitor am)
Adds disambiguated methods and fields to the types. |
Block |
body()
Get the body of the constructor. |
CodeDecl |
body(Block body)
Set the body of the constructor. |
Node |
buildTypes(TypeBuilder tb)
Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these. |
NodeVisitor |
buildTypesEnter(TypeBuilder tb)
Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these. |
CodeInstance |
codeInstance()
The CodeInstance of the method, constructor, or initializer. |
ConstructorInstance |
constructorInstance()
Get the constructorInstance of the constructor. |
ConstructorDecl |
constructorInstance(ConstructorInstance ci)
Set the constructorInstance of the constructor. |
Node |
disambiguate(AmbiguityRemover ar)
Remove any remaining ambiguities from the AST. |
NodeVisitor |
disambiguateEnter(AmbiguityRemover ar)
Remove any remaining ambiguities from the AST. |
void |
dump(CodeWriter w)
Dump the AST node for debugging purposes. |
Context |
enterScope(Context c)
Push a new scope upon entering this node, and add any declarations to the context that should be in scope when visiting children of this node. |
Term |
entry()
Return the first (sub)term performed when evaluating this term. |
Node |
exceptionCheck(ExceptionChecker ec)
Check exceptions thrown by the constructor. |
Flags |
flags()
Get the flags of the constructor. |
ConstructorDecl |
flags(Flags flags)
Set the flags of the constructor. |
java.util.List |
formals()
Get the formals of the constructor. |
ConstructorDecl |
formals(java.util.List formals)
Set the formals of the constructor. |
protected ConstructorInstance |
makeConstructorInstance(ClassType ct,
TypeSystem ts)
|
java.lang.String |
name()
Get the name of the constructor. |
ConstructorDecl |
name(java.lang.String name)
Set the name of the constructor. |
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Pretty-print the AST using the given code writer. |
void |
prettyPrintHeader(CodeWriter w,
PrettyPrinter tr)
Write the constructor to an output file. |
ProcedureInstance |
procedureInstance()
Get the procedureInstance of the constructor. |
protected ConstructorDecl_c |
reconstruct(java.util.List formals,
java.util.List throwTypes,
Block body)
Reconstruct the constructor. |
java.util.List |
throwTypes()
Get the throwTypes of the constructor. |
ConstructorDecl |
throwTypes(java.util.List throwTypes)
Set the throwTypes of the constructor. |
java.lang.String |
toString()
|
Node |
typeCheck(TypeChecker tc)
Type check the constructor. |
Node |
visitChildren(NodeVisitor v)
Visit the children of the constructor. |
| Methods inherited from class polyglot.ext.jl.ast.Term_c |
listEntry, reachable, reachable |
| Methods inherited from class polyglot.ext.jl.ast.Node_c |
addDecls, addMembers, addMembersOverride, buildTypesOverride, childExpectedType, copy, del, del, disambiguateOverride, enterScope, exceptionCheckEnter, exceptionCheckOverride, ext, ext, ext, ext, init, node, position, position, print, printBlock, printSubStmt, throwTypes, translate, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface polyglot.ast.Term |
reachable, reachable |
| Methods inherited from interface polyglot.ast.Node |
childExpectedType, del, del, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge |
| Methods inherited from interface polyglot.ast.JL |
init, node |
| Methods inherited from interface polyglot.ast.NodeOps |
addDecls, addMembers, enterScope, exceptionCheckEnter, throwTypes, translate, typeCheckEnter |
| Methods inherited from interface polyglot.util.Copy |
copy |
| Field Detail |
protected Flags flags
protected java.lang.String name
protected java.util.List formals
protected java.util.List throwTypes
protected Block body
protected ConstructorInstance ci
| Constructor Detail |
public ConstructorDecl_c(Position pos,
Flags flags,
java.lang.String name,
java.util.List formals,
java.util.List throwTypes,
Block body)
| Method Detail |
public Flags flags()
flags in interface ConstructorDeclpublic ConstructorDecl flags(Flags flags)
flags in interface ConstructorDeclpublic java.lang.String name()
name in interface ConstructorDeclpublic ConstructorDecl name(java.lang.String name)
name in interface ConstructorDeclpublic java.util.List formals()
formals in interface ConstructorDeclFormal.public ConstructorDecl formals(java.util.List formals)
formals in interface ConstructorDeclformals - A list of Formal.public java.util.List throwTypes()
throwTypes in interface ConstructorDeclTypeNode.public ConstructorDecl throwTypes(java.util.List throwTypes)
throwTypes in interface ConstructorDeclthrowTypes - A list of TypeNode.public Block body()
body in interface CodeDeclpublic CodeDecl body(Block body)
body in interface CodeDeclpublic ConstructorInstance constructorInstance()
constructorInstance in interface ConstructorDeclpublic ProcedureInstance procedureInstance()
procedureInstance in interface ProcedureDeclpublic CodeInstance codeInstance()
CodeDecl
codeInstance in interface CodeDeclpublic ConstructorDecl constructorInstance(ConstructorInstance ci)
constructorInstance in interface ConstructorDecl
protected ConstructorDecl_c reconstruct(java.util.List formals,
java.util.List throwTypes,
Block body)
public Node visitChildren(NodeVisitor v)
visitChildren in interface NodeOpsvisitChildren in class Node_c
public NodeVisitor buildTypesEnter(TypeBuilder tb)
throws SemanticException
NodeOpsTypeSystem.
This method is called by the enter() method of the
visitor. The * method should perform work that should be done
before visiting the children of the node. The method may return
this or a new copy of the node on which
visitChildren() and leave() will be
invoked.
buildTypesEnter in interface NodeOpsbuildTypesEnter in class Node_cSemanticException
public Node buildTypes(TypeBuilder tb)
throws SemanticException
NodeOpsTypeSystem.
This method is called by the leave() method of the
visitor. The method should perform work that should be done
after visiting the children of the node. The method may return
this or a new copy of the node which will be
installed as a child of the node's parent.
buildTypes in interface NodeOpsbuildTypes in class Node_cSemanticException
public NodeVisitor disambiguateEnter(AmbiguityRemover ar)
throws SemanticException
NodeOpsenter() method of the
visitor. The * method should perform work that should be done
before visiting the children of the node. The method may return
this or a new copy of the node on which
visitChildren() and leave() will be
invoked.
disambiguateEnter in interface NodeOpsdisambiguateEnter in class Node_cSemanticException
public Node disambiguate(AmbiguityRemover ar)
throws SemanticException
NodeOpsleave() method of the
visitor. The method should perform work that should be done
after visiting the children of the node. The method may return
this or a new copy of the node which will be
installed as a child of the node's parent.
disambiguate in interface NodeOpsdisambiguate in class Node_cSemanticExceptionpublic NodeVisitor addMembersEnter(AddMemberVisitor am)
NodeOpsenter() method of the
visitor. The * method should perform work that should be done
before visiting the children of the node. The method may return
this or a new copy of the node on which
visitChildren() and leave() will be
invoked.
addMembersEnter in interface NodeOpsaddMembersEnter in class Node_cpublic Context enterScope(Context c)
NodeOpsaddDecls when leaving the node
for that.
enterScope in interface NodeOpsenterScope in class Node_cc - the current Context
Context to be used for visiting this node.
public Node typeCheck(TypeChecker tc)
throws SemanticException
typeCheck in interface NodeOpstypeCheck in class Node_cSemanticException
public Node exceptionCheck(ExceptionChecker ec)
throws SemanticException
exceptionCheck in interface NodeOpsexceptionCheck in class Node_cSemanticExceptionpublic java.lang.String toString()
toString in class Node_c
public void prettyPrintHeader(CodeWriter w,
PrettyPrinter tr)
public void prettyPrint(CodeWriter w,
PrettyPrinter tr)
NodeOps
prettyPrint in interface NodeOpsprettyPrint in class Node_cpublic void dump(CodeWriter w)
Node
dump in interface Nodedump in class Node_c
protected ConstructorInstance makeConstructorInstance(ClassType ct,
TypeSystem ts)
throws SemanticException
SemanticExceptionpublic Term entry()
entry in interface Termentry in class Term_c
public java.util.List acceptCFG(CFGBuilder v,
java.util.List succs)
acceptCFG in interface TermacceptCFG in class Term_c
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||