polyglot.ext.jl5.ast

Class JL5SpecialExt

java.lang.Object

polyglot.ast.Ext_c

polyglot.ext.jl5.ast.JL5Ext

polyglot.ext.jl5.ast.JL5TermExt

polyglot.ext.jl5.ast.JL5ExprExt

polyglot.ext.jl5.ast.JL5SpecialExt

All Implemented Interfaces:

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

public class JL5SpecialExt
extends JL5ExprExt

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.ast.Ext_c

ext, node, pred

Constructor Summary

Constructors

Constructor and Description
JL5SpecialExt()

Method Summary

Methods

Modifier and Type	Method and Description
Node	typeCheckOverride(Node parent, TypeChecker tc) Type check the AST.

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

constantValue, constantValueSet, isConstant, node

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, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, init, initPred, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, typeCheck, typeCheckEnter, visitChild, visitChildren, visitList

Methods inherited from class java.lang.Object

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

Constructor Detail

JL5SpecialExt

public JL5SpecialExt()

Method Detail

typeCheckOverride

public Node typeCheckOverride(Node parent,
                     TypeChecker tc)
                       throws SemanticException

Description copied from interface: NodeOps

Type check the AST. This method is called by the override() method of the visitor. If this method returns non-null, the node's children will not be visited automatically. Thus, the method should check both the node this and it's children, usually by invoking visitChildren with tc or with another visitor, returning a non-null node. OR, the method should do nothing and simply return null to allow enter, visitChildren, and leave to be invoked on the node. The default implementation returns null. Overriding of this method is discouraged, but sometimes necessary.

Specified by:

typeCheckOverride in interface NodeOps

Overrides:

typeCheckOverride in class Ext_c

tc - The type checking visitor.

Throws:

SemanticException