polyglot.ext.jl5.ast

Class AnnotationElemDecl_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ext.jl5.ast.AnnotationElemDecl_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, ClassMember, CodeBlock, CodeDecl, CodeNode, MethodDecl, Node, NodeOps, ProcedureDecl, Term, TermOps, AnnotationElemDecl, Copy<Node>

public class AnnotationElemDecl_c
extends Term_c
implements AnnotationElemDecl

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 AnnotationTypeElemInstance	ai
protected Term	defaultVal
protected Flags	flags
protected Id	name
protected TypeNode	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
AnnotationElemDecl_c(Position pos, Flags flags, TypeNode type, Id name, Term defaultVal)

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.
AnnotationTypeElemInstance	annotationElemInstance()
AnnotationElemDecl	annotationElemInstance(AnnotationTypeElemInstance ai)
protected <N extends AnnotationElemDecl_c> N	annotationElemInstance(N n, AnnotationTypeElemInstance ai)
Block	body() The body of the method, constructor, or initializer.
CodeBlock	body(Block body) Set the body of the method, constructor, or initializer.
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.
Term	codeBody() The body of the method, constructor, initializer, or field initializer.
CodeInstance	codeInstance() The CodeInstance of the method, constructor, or initializer.
Term	defaultVal()
protected <N extends AnnotationElemDecl_c> N	defaultVal(N n, Term defaultVal)
AnnotationElemDecl	defaultVal(Term def)
Node	disambiguate(AmbiguityRemover ar) Remove any remaining ambiguities from the AST.
Term	firstChild() Return the first direct subterm performed when evaluating this term.
Flags	flags() The procedure's flags.
AnnotationElemDecl	flags(Flags flags) Set the procedure's flags.
protected <N extends AnnotationElemDecl_c> N	flags(N n, Flags flags)
java.util.List<Formal>	formals() The procedure's formal parameters.
MethodDecl	formals(java.util.List<Formal> formals) Set the procedure's formal parameters.
Id	id() The procedure's name.
AnnotationElemDecl	id(Id name) Set the procedure's name.
protected <N extends AnnotationElemDecl_c> N	id(N n, Id name)
MemberInstance	memberInstance()
MethodInstance	methodInstance() The method type object.
MethodDecl	methodInstance(MethodInstance mi) Set the method's type object.
java.lang.String	name() The procedure's name.
AnnotationElemDecl	name(java.lang.String name) Set the procedure's name.
void	prettyPrint(CodeWriter w, PrettyPrinter tr) Pretty-print the AST using the given CodeWriter.
ProcedureInstance	procedureInstance() The procedure's type object.
protected AnnotationElemDecl_c	reconstruct(TypeNode type, Term defaultVal)
TypeNode	returnType() The method's return type.
MethodDecl	returnType(TypeNode returnType) Set the method's return type.
java.util.List<TypeNode>	throwTypes() The procedure's exception throw types.
MethodDecl	throwTypes(java.util.List<TypeNode> throwTypes) Set the procedure's exception throw types.
java.lang.String	toString()
TypeNode	type()
protected <N extends AnnotationElemDecl_c> N	type(N n, TypeNode type)
AnnotationElemDecl	type(TypeNode type)
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, extRewrite, listChild, reachable, reachable, reachable

Methods inherited from class polyglot.ast.Node_c

addDecls, checkConstants, childExpectedType, copy, copy, copy, copyIfNeeded, del, del, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, 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, childExpectedType, copy, copy, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheckEnter, typeCheckOverride, visitChild, visitList

Methods inherited from interface polyglot.util.Copy

copy

Field Detail

type

protected TypeNode type

flags

protected Flags flags

defaultVal

protected Term defaultVal

name

protected Id name

ai

protected AnnotationTypeElemInstance ai

Constructor Detail

AnnotationElemDecl_c

public AnnotationElemDecl_c(Position pos,
                    Flags flags,
                    TypeNode type,
                    Id name,
                    Term defaultVal)

Method Detail

type

public TypeNode type()

Specified by:

type in interface AnnotationElemDecl

type

public AnnotationElemDecl type(TypeNode type)

Specified by:

type in interface AnnotationElemDecl

type

protected <N extends AnnotationElemDecl_c> N type(N n,
                                      TypeNode type)

flags

public Flags flags()

Description copied from interface: ProcedureDecl

The procedure's flags.

Specified by:

flags in interface ProcedureDecl

Specified by:

flags in interface AnnotationElemDecl

flags

public AnnotationElemDecl flags(Flags flags)

Description copied from interface: ProcedureDecl

Set the procedure's flags.

Specified by:

flags in interface ProcedureDecl

Specified by:

flags in interface AnnotationElemDecl

flags

protected <N extends AnnotationElemDecl_c> N flags(N n,
                                       Flags flags)

defaultVal

public Term defaultVal()

Specified by:

defaultVal in interface AnnotationElemDecl

defaultVal

public AnnotationElemDecl defaultVal(Term def)

Specified by:

defaultVal in interface AnnotationElemDecl

defaultVal

protected <N extends AnnotationElemDecl_c> N defaultVal(N n,
                                            Term defaultVal)

id

public Id id()

Description copied from interface: ProcedureDecl

The procedure's name.

Specified by:

id in interface ProcedureDecl

Specified by:

id in interface AnnotationElemDecl

id

public AnnotationElemDecl id(Id name)

Description copied from interface: ProcedureDecl

Set the procedure's name.

Specified by:

id in interface ProcedureDecl

Specified by:

id in interface AnnotationElemDecl

id

protected <N extends AnnotationElemDecl_c> N id(N n,
                                    Id name)

name

public java.lang.String name()

Description copied from interface: ProcedureDecl

The procedure's name.

Specified by:

name in interface ProcedureDecl

Specified by:

name in interface AnnotationElemDecl

name

public AnnotationElemDecl name(java.lang.String name)

Description copied from interface: ProcedureDecl

Set the procedure's name.

Specified by:

name in interface ProcedureDecl

Specified by:

name in interface AnnotationElemDecl

annotationElemInstance

public AnnotationTypeElemInstance annotationElemInstance()

Specified by:

annotationElemInstance in interface AnnotationElemDecl

annotationElemInstance

public AnnotationElemDecl annotationElemInstance(AnnotationTypeElemInstance ai)

Specified by:

annotationElemInstance in interface AnnotationElemDecl

annotationElemInstance

protected <N extends AnnotationElemDecl_c> N annotationElemInstance(N n,
                                                        AnnotationTypeElemInstance ai)

reconstruct

protected AnnotationElemDecl_c reconstruct(TypeNode type,
                               Term defaultVal)

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.

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

disambiguate

public Node disambiguate(AmbiguityRemover ar)
                  throws SemanticException

Description copied from interface: NodeOps

Remove any remaining ambiguities from 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. The node should not assume that its children have been disambiguated. If it depends on a child being disambiguated, it may just return this without doing any work.

Specified by:

disambiguate in interface NodeOps

Overrides:

disambiguate in class Node_c

Parameters:

ar - The visitor which disambiguates.

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

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

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.

toString

public java.lang.String toString()

Overrides:

toString in class Node_c

memberInstance

public MemberInstance memberInstance()

Specified by:

memberInstance in interface ClassMember

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

returnType

public TypeNode returnType()

Description copied from interface: MethodDecl

The method's return type.

Specified by:

returnType in interface MethodDecl

returnType

public MethodDecl returnType(TypeNode returnType)

Description copied from interface: MethodDecl

Set the method's return type.

Specified by:

returnType in interface MethodDecl

formals

public java.util.List<Formal> formals()

Description copied from interface: ProcedureDecl

The procedure's formal parameters.

Specified by:

formals in interface ProcedureDecl

Returns:

A list of Formal.

formals

public MethodDecl formals(java.util.List<Formal> formals)

Description copied from interface: ProcedureDecl

Set the procedure's formal parameters.

Specified by:

formals in interface ProcedureDecl

Parameters:

formals - A list of Formal.

throwTypes

public java.util.List<TypeNode> throwTypes()

Description copied from interface: ProcedureDecl

The procedure's exception throw types.

Specified by:

throwTypes in interface ProcedureDecl

Returns:

A list of TypeNode.

throwTypes

public MethodDecl throwTypes(java.util.List<TypeNode> throwTypes)

Description copied from interface: ProcedureDecl

Set the procedure's exception throw types.

Specified by:

throwTypes in interface ProcedureDecl

Parameters:

throwTypes - A list of TypeNode.

methodInstance

public MethodInstance methodInstance()

Description copied from interface: MethodDecl

The method type object. This field may not be valid until after signature disambiguation.

Specified by:

methodInstance in interface MethodDecl

methodInstance

public MethodDecl methodInstance(MethodInstance mi)

Description copied from interface: MethodDecl

Set the method's type object.

Specified by:

methodInstance in interface MethodDecl

procedureInstance

public ProcedureInstance procedureInstance()

Description copied from interface: ProcedureDecl

The procedure's type object. This field may not be valid until after signature disambiguation.

Specified by:

procedureInstance in interface ProcedureDecl

body

public Block body()

Description copied from interface: CodeBlock

The body of the method, constructor, or initializer.

Specified by:

body in interface CodeBlock

body

public CodeBlock body(Block body)

Description copied from interface: CodeBlock

Set the body of the method, constructor, or initializer.

Specified by:

body in interface CodeBlock

codeBody

public Term codeBody()

Description copied from interface: CodeNode

The body of the method, constructor, initializer, or field initializer.

Specified by:

codeBody in interface CodeNode

codeInstance

public CodeInstance codeInstance()

Description copied from interface: CodeNode

The CodeInstance of the method, constructor, or initializer.

Specified by:

codeInstance in interface CodeNode