polyglot.ext.jl5.ast

Class EnumConstantDecl_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ext.jl5.ast.EnumConstantDecl_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, ClassMember, Node, NodeOps, Term, TermOps, EnumConstantDecl, Copy<Node>

public class EnumConstantDecl_c
extends Term_c
implements EnumConstantDecl

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.ast.Term

Term.Instance

Nested classes/interfaces inherited from interface polyglot.util.Copy

Copy.Util

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<Expr>	args
protected ClassBody	body
protected ConstructorInstance	constructorInstance
protected EnumInstance	enumInstance
protected Flags	flags
protected Id	name
protected long	ordinal
protected ParsedClassType	type

Fields inherited from class polyglot.ast.Term_c

exceptions, reachable

Fields inherited from class polyglot.ast.Node_c

del, error, ext, position

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Constructor Summary

Constructors

Constructor and Description
EnumConstantDecl_c(Position pos, Flags flags, Id name, java.util.List<Expr> args, ClassBody body)

Method Summary

Methods

Modifier and Type	Method and Description
<T> java.util.List<T>	acceptCFG(CFGBuilder<?> v, java.util.List<T> succs) Visit this term in evaluation order, calling v.edge() for each successor in succs, if data flows on that edge.
java.util.List<Expr>	args() get args
EnumConstantDecl	args(java.util.List<Expr> args) set args
protected <N extends EnumConstantDecl_c> N	args(N n, java.util.List<Expr> args)
ClassBody	body() get body
EnumConstantDecl	body(ClassBody body) set body
protected <N extends EnumConstantDecl_c> N	body(N n, ClassBody body)
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.
Type	childExpectedType(Expr child, AscriptionVisitor av) Get the expected type of a child expression of this.
ConstructorInstance	constructorInstance()
EnumConstantDecl	constructorInstance(ConstructorInstance ci)
protected <N extends EnumConstantDecl_c> N	constructorInstance(N n, ConstructorInstance ci)
Context	enterChildScope(Node child, Context c) Push a new scope for visiting the child node child.
EnumInstance	enumInstance()
EnumConstantDecl	enumInstance(EnumInstance ei)
protected <N extends EnumConstantDecl_c> N	enumInstance(N n, EnumInstance ei)
Node	extRewrite(ExtensionRewriter rw) Rewrite the AST for the compilation in this language.
Term	firstChild() Return the first direct subterm performed when evaluating this term.
Flags	flags()
MemberInstance	memberInstance()
Id	name() get name
EnumConstantDecl	name(Id name) set name
protected <N extends EnumConstantDecl_c> N	name(N n, Id name)
long	ordinal()
EnumConstantDecl	ordinal(long ordinal)
protected <N extends EnumConstantDecl_c> N	ordinal(N n, long ordinal)
void	prettyPrint(CodeWriter w, PrettyPrinter tr) Pretty-print the AST using the given CodeWriter.
protected EnumConstantDecl_c	reconstruct(java.util.List<Expr> args, ClassBody body)
java.lang.String	toString()
ParsedClassType	type()
protected <N extends EnumConstantDecl_c> N	type(N n, ParsedClassType type)
EnumConstantDecl	type(ParsedClassType pct)
Node	typeCheck(TypeChecker tc) Type check the AST.
Node	visitChildren(NodeVisitor v) Visit the children of the node.

Methods inherited from class polyglot.ast.Term_c

exceptionCheck, exceptions, exceptions, exceptions, listChild, reachable, reachable, reachable

Methods inherited from class polyglot.ast.Node_c

addDecls, checkConstants, copy, copy, copy, copyIfNeeded, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, isDisambiguated, isTypeChecked, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, 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, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge

Methods inherited from interface polyglot.ast.NodeOps

addDecls, checkConstants, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterScope, exceptionCheck, exceptionCheckEnter, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheckEnter, typeCheckOverride, visitChild, visitList

Methods inherited from interface polyglot.util.Copy

copy

Field Detail

args

protected java.util.List<Expr> args

name

protected Id name

flags

protected Flags flags

body

protected ClassBody body

enumInstance

protected EnumInstance enumInstance

constructorInstance

protected ConstructorInstance constructorInstance

type

protected ParsedClassType type

ordinal

protected long ordinal

Constructor Detail

EnumConstantDecl_c

public EnumConstantDecl_c(Position pos,
                  Flags flags,
                  Id name,
                  java.util.List<Expr> args,
                  ClassBody body)

Method Detail

ordinal

public long ordinal()

Specified by:

ordinal in interface EnumConstantDecl

ordinal

public EnumConstantDecl ordinal(long ordinal)

Specified by:

ordinal in interface EnumConstantDecl

ordinal

protected <N extends EnumConstantDecl_c> N ordinal(N n,
                                       long ordinal)

args

public java.util.List<Expr> args()

Description copied from interface: EnumConstantDecl

get args

Specified by:

args in interface EnumConstantDecl

args

public EnumConstantDecl args(java.util.List<Expr> args)

Description copied from interface: EnumConstantDecl

set args

Specified by:

args in interface EnumConstantDecl

args

protected <N extends EnumConstantDecl_c> N args(N n,
                                    java.util.List<Expr> args)

name

public Id name()

Description copied from interface: EnumConstantDecl

get name

Specified by:

name in interface EnumConstantDecl

name

public EnumConstantDecl name(Id name)

Description copied from interface: EnumConstantDecl

set name

Specified by:

name in interface EnumConstantDecl

name

protected <N extends EnumConstantDecl_c> N name(N n,
                                    Id name)

body

public ClassBody body()

Description copied from interface: EnumConstantDecl

get body

Specified by:

body in interface EnumConstantDecl

body

public EnumConstantDecl body(ClassBody body)

Description copied from interface: EnumConstantDecl

set body

Specified by:

body in interface EnumConstantDecl

body

protected <N extends EnumConstantDecl_c> N body(N n,
                                    ClassBody body)

type

public ParsedClassType type()

Specified by:

type in interface EnumConstantDecl

type

public EnumConstantDecl type(ParsedClassType pct)

Specified by:

type in interface EnumConstantDecl

type

protected <N extends EnumConstantDecl_c> N type(N n,
                                    ParsedClassType type)

memberInstance

public MemberInstance memberInstance()

Specified by:

memberInstance in interface ClassMember

enumInstance

public EnumInstance enumInstance()

Specified by:

enumInstance in interface EnumConstantDecl

enumInstance

public EnumConstantDecl enumInstance(EnumInstance ei)

Specified by:

enumInstance in interface EnumConstantDecl

enumInstance

protected <N extends EnumConstantDecl_c> N enumInstance(N n,
                                            EnumInstance ei)

constructorInstance

public ConstructorInstance constructorInstance()

Specified by:

constructorInstance in interface EnumConstantDecl

constructorInstance

public EnumConstantDecl constructorInstance(ConstructorInstance ci)

Specified by:

constructorInstance in interface EnumConstantDecl

constructorInstance

protected <N extends EnumConstantDecl_c> N constructorInstance(N n,
                                                   ConstructorInstance ci)

flags

public Flags flags()

Specified by:

flags in interface EnumConstantDecl

reconstruct

protected EnumConstantDecl_c reconstruct(java.util.List<Expr> args,
                             ClassBody body)

visitChildren

public Node visitChildren(NodeVisitor v)

Description copied from interface: NodeOps

Visit the children of the node.

Specified by:

visitChildren in interface NodeOps

Overrides:

visitChildren in class Node_c

Parameters:

v - The visitor that will traverse/rewrite the AST.

Returns:

A new AST if a change was made, or this.

enterChildScope

public Context enterChildScope(Node child,
                      Context c)

Description copied from interface: NodeOps

Push a new scope for visiting the child node child. The default behavior is to delegate the call to the child node, and let it add appropriate declarations that should be in scope. However, this method gives parent nodes have the ability to modify this behavior.

Specified by:

enterChildScope in interface NodeOps

Overrides:

enterChildScope in class Node_c

Parameters:

child - the child node about to be entered.

c - the current Context

Returns:

the Context to be used for visiting node child

buildTypesEnter

public NodeVisitor buildTypesEnter(TypeBuilder tb)
                            throws SemanticException

Description copied from interface: NodeOps

Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these. These type objects may be ambiguous. Inserts classes into the TypeSystem. 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.

Specified by:

buildTypesEnter in interface NodeOps

Overrides:

buildTypesEnter in class Node_c

Parameters:

tb - The visitor which adds new type objects to the TypeSystem.

Throws:

SemanticException

buildTypes

public Node buildTypes(TypeBuilder tb)
                throws SemanticException

Description copied from interface: NodeOps

Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these. These type objects may be ambiguous. Inserts classes into the TypeSystem. 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.

Specified by:

buildTypes in interface NodeOps

Overrides:

buildTypes in class Node_c

Parameters:

tb - The visitor which adds new type objects to the TypeSystem.

Throws:

SemanticException

typeCheck

public Node typeCheck(TypeChecker tc)
               throws SemanticException

Description copied from interface: NodeOps

Type check the AST. 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.

Specified by:

typeCheck in interface NodeOps

Overrides:

typeCheck in class Node_c

Parameters:

tc - The type checking visitor.

Throws:

SemanticException

childExpectedType

public Type childExpectedType(Expr child,
                     AscriptionVisitor av)

Description copied from interface: NodeOps

Get the expected type of a child expression of this. 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.

Specified by:

childExpectedType in interface NodeOps

Overrides:

childExpectedType in class Node_c

Parameters:

child - A child expression of this node.

av - An ascription visitor.

Returns:

The expected type of child.

extRewrite

public Node extRewrite(ExtensionRewriter rw)
                throws SemanticException

Description copied from interface: NodeOps

Rewrite the AST for the compilation in this language. 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.

Specified by:

extRewrite in interface NodeOps

Overrides:

extRewrite in class Term_c

Parameters:

rw - The visitor.

Throws:

SemanticException

toString

public java.lang.String toString()

Overrides:

toString in class Node_c

prettyPrint

public void prettyPrint(CodeWriter w,
               PrettyPrinter tr)

Description copied from class: Node_c

Pretty-print the AST using the given CodeWriter.

Specified by:

prettyPrint in interface NodeOps

Overrides:

prettyPrint in class Node_c

Parameters:

w - The code writer to which to write.

tr - The pretty printer. This is not a visitor.

acceptCFG

public <T> java.util.List<T> acceptCFG(CFGBuilder<?> v,
                              java.util.List<T> succs)

Description copied from interface: TermOps

Visit this term in evaluation order, calling v.edge() for each successor in succs, if data flows on that edge.

Specified by:

acceptCFG in interface TermOps

Specified by:

acceptCFG in class Term_c

firstChild

public Term firstChild()

Description copied from interface: TermOps

Return the first direct subterm performed when evaluating this term. If this term has no subterms, this should return null. This method is similar to the deprecated entry(), but it should *not* recursively drill down to the innermost subterm. The direct child visited first in this term's dataflow should be returned.

Specified by:

firstChild in interface TermOps

Specified by:

firstChild in class Term_c