polyglot.ext.jl5.ast

Class JL5EnumDeclExt

java.lang.Object

polyglot.ast.Ext_c

polyglot.ext.jl5.ast.JL5Ext

polyglot.ext.jl5.ast.JL5TermExt

polyglot.ext.jl5.ast.JL5AnnotatedElementExt

polyglot.ext.jl5.ast.JL5ClassDeclExt

polyglot.ext.jl5.ast.JL5EnumDeclExt

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, ClassDeclOps, Ext, NodeOps, TermOps, AnnotatedElement, Copy<Ext>

public class JL5EnumDeclExt
extends JL5ClassDeclExt

See Also:

Serialized Form

Nested Class Summary

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

Copy.Util

Field Summary

Fields inherited from class polyglot.ext.jl5.ast.JL5ClassDeclExt

paramTypes

Fields inherited from class polyglot.ext.jl5.ast.JL5AnnotatedElementExt

annotations

Fields inherited from class polyglot.ast.Ext_c

ext, node, pred

Constructor Summary

Constructors

Constructor and Description
JL5EnumDeclExt()
JL5EnumDeclExt(java.util.List<AnnotationElem> annotations)

Method Summary

Methods

Modifier and Type	Method and Description
Node	addDefaultConstructor(TypeSystem ts, NodeFactory nf, ConstructorInstance defaultCI)
Node	addEnumMethodTypesIfNeeded(TypeSystem ts)
ClassDecl	addValueOfMethodType(TypeSystem ts)
ClassDecl	addValuesMethodType(TypeSystem ts)
Node	buildTypes(TypeBuilder tb) Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these.
void	prettyPrint(CodeWriter w, PrettyPrinter tr) Pretty-print the AST using the given CodeWriter.
Node	typeCheck(TypeChecker tc) Type check the AST.
NodeVisitor	typeCheckEnter(TypeChecker tc) Type check the AST.

Methods inherited from class polyglot.ext.jl5.ast.JL5ClassDeclExt

annotationCheck, declaration, enterChildScope, node, paramTypes, paramTypes, paramTypes, prettyPrintFooter, prettyPrintHeader, prettyPrintHeaderRest, prettyPrintModifiers, prettyPrintName, setAnnotations, visitChildren

Methods inherited from class polyglot.ext.jl5.ast.JL5AnnotatedElementExt

annotationElems, annotationElems, annotationElems

Methods inherited from class polyglot.ext.jl5.ast.JL5TermExt

acceptCFG, firstChild

Methods inherited from class polyglot.ext.jl5.ast.JL5Ext

ext, lang, translate

Methods inherited from class polyglot.ast.Ext_c

addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, init, initPred, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, typeCheckOverride, visitChild, visitList

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

JL5EnumDeclExt

public JL5EnumDeclExt()

JL5EnumDeclExt

public JL5EnumDeclExt(java.util.List<AnnotationElem> annotations)

Method Detail

addValueOfMethodType

public ClassDecl addValueOfMethodType(TypeSystem ts)

addValuesMethodType

public ClassDecl addValuesMethodType(TypeSystem ts)

addEnumMethodTypesIfNeeded

public Node addEnumMethodTypesIfNeeded(TypeSystem ts)

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 JL5ClassDeclExt

Parameters:

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

Throws:

SemanticException

typeCheckEnter

public NodeVisitor typeCheckEnter(TypeChecker tc)
                           throws SemanticException

Description copied from interface: NodeOps

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

typeCheckEnter in interface NodeOps

Overrides:

typeCheckEnter in class Ext_c

Parameters:

tc - The type checking visitor.

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 JL5ClassDeclExt

Parameters:

tc - The type checking visitor.

Throws:

SemanticException

addDefaultConstructor

public Node addDefaultConstructor(TypeSystem ts,
                         NodeFactory nf,
                         ConstructorInstance defaultCI)
                           throws SemanticException

Specified by:

addDefaultConstructor in interface ClassDeclOps

Overrides:

addDefaultConstructor in class JL5ClassDeclExt

Throws:

SemanticException

prettyPrint

public void prettyPrint(CodeWriter w,
               PrettyPrinter tr)

Description copied from interface: NodeOps

Pretty-print the AST using the given CodeWriter.

Specified by:

prettyPrint in interface NodeOps

Overrides:

prettyPrint in class JL5ClassDeclExt

Parameters:

w - The code writer to which to write.

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