|
||||||||||
| 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.FieldDecl_c
A FieldDecl is an immutable representation of the declaration
of a field of a class.
| Field Summary |
| Fields inherited from class polyglot.ext.jl.ast.Term_c |
exceptions, reachable |
| Fields inherited from class polyglot.ext.jl.ast.Node_c |
del, ext, position |
| Constructor Summary | |
FieldDecl_c(Position pos,
Flags flags,
TypeNode type,
java.lang.String name,
Expr init)
|
|
| 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. |
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. |
protected void |
checkFieldInstanceConstant()
|
Type |
childExpectedType(Expr child,
AscriptionVisitor av)
Get the expected type of a child expression of this. |
Type |
declType()
Get the type of the declaration. |
Node |
disambiguate(AmbiguityRemover ar)
Remove any remaining ambiguities from the AST. |
NodeVisitor |
disambiguateEnter(AmbiguityRemover ar)
Build type objects for the declaration. |
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 that exceptions are properly propagated throughout the AST. |
FieldInstance |
fieldInstance()
Get the field instance of the declaration. |
FieldDecl |
fieldInstance(FieldInstance fi)
Set the field instance of the declaration. |
Flags |
flags()
Get the flags of the declaration. |
FieldDecl |
flags(Flags flags)
Set the flags of the declaration. |
Expr |
init()
Get the initializer of the declaration. |
FieldDecl |
init(Expr init)
Set the initializer of the declaration. |
InitializerInstance |
initializerInstance()
Get the initializer instance of the initializer. |
FieldDecl |
initializerInstance(InitializerInstance ii)
Set the initializer instance of the initializer. |
java.lang.String |
name()
Get the name of the declaration. |
FieldDecl |
name(java.lang.String name)
Set the name of the declaration. |
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Pretty-print the AST using the given code writer. |
protected FieldDecl_c |
reconstruct(TypeNode type,
Expr init)
Reconstruct the declaration. |
java.lang.String |
toString()
|
TypeNode |
type()
Get the type node of the declaration. |
FieldDecl |
type(TypeNode type)
Set the type of the declaration. |
Node |
typeCheck(TypeChecker tc)
Type check the declaration. |
Node |
visitChildren(NodeVisitor v)
Visit the children of the declaration. |
| Methods inherited from class polyglot.ext.jl.ast.Term_c |
exceptions, exceptions, listEntry, reachable, reachable |
| Methods inherited from class polyglot.ext.jl.ast.Node_c |
addDecls, addMembers, addMembersOverride, buildTypesOverride, 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 |
exceptions, exceptions, reachable, reachable |
| Methods inherited from interface polyglot.ast.Node |
del, del, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge, visitList |
| 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 |
| Constructor Detail |
public FieldDecl_c(Position pos,
Flags flags,
TypeNode type,
java.lang.String name,
Expr init)
| Method Detail |
public InitializerInstance initializerInstance()
initializerInstance in interface FieldDeclpublic FieldDecl initializerInstance(InitializerInstance ii)
initializerInstance in interface FieldDeclpublic Type declType()
declType in interface FieldDeclpublic Flags flags()
flags in interface FieldDeclpublic FieldDecl flags(Flags flags)
flags in interface FieldDeclpublic TypeNode type()
type in interface FieldDeclpublic FieldDecl type(TypeNode type)
type in interface FieldDeclpublic java.lang.String name()
name in interface FieldDeclpublic FieldDecl name(java.lang.String name)
name in interface FieldDeclpublic Expr init()
init in interface FieldDeclpublic FieldDecl init(Expr init)
init in interface FieldDeclpublic FieldDecl fieldInstance(FieldInstance fi)
fieldInstance in interface FieldDeclpublic FieldInstance fieldInstance()
fieldInstance in interface FieldDecl
protected FieldDecl_c reconstruct(TypeNode type,
Expr init)
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
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_cSemanticExceptionprotected void checkFieldInstanceConstant()
public 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
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.
exceptionCheck in interface NodeOpsexceptionCheck in class Term_cSemanticException
public Type childExpectedType(Expr child,
AscriptionVisitor av)
Nodethis.
The expected type is determined by the context in that the child occurs
(e.g., for x = e, the expected type of e is
the declared type of x.
The expected type should impose the least constraints on the child's
type that are allowed by the parent node.
childExpectedType in interface NodechildExpectedType in class Node_cpublic 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_cpublic java.lang.String toString()
toString in class Node_c
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
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||