polyglot.ext.jl7.ast

Class JL7CaseExt

java.lang.Object

polyglot.ast.Ext_c

polyglot.ext.jl7.ast.JL7Ext

polyglot.ext.jl7.ast.JL7CaseExt

All Implemented Interfaces:

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

public class JL7CaseExt
extends JL7Ext
implements JL5CaseOps

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
JL7CaseExt()

Method Summary

Methods

Modifier and Type	Method and Description
Node	checkConstants(ConstantChecker cc) Check if the node is a compile-time constant.
Case	resolveCaseLabel(TypeChecker tc, Type switchType)
Node	typeCheck(TypeChecker tc) Type check the AST.

Methods inherited from class polyglot.ext.jl7.ast.JL7Ext

ext, lang

Methods inherited from class polyglot.ast.Ext_c

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

Methods inherited from class java.lang.Object

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

Constructor Detail

JL7CaseExt

public JL7CaseExt()

Method Detail

resolveCaseLabel

public Case resolveCaseLabel(TypeChecker tc,
                    Type switchType)
                      throws SemanticException

Specified by:

resolveCaseLabel in interface JL5CaseOps

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 Ext_c

Parameters:

tc - The type checking visitor.

Throws:

SemanticException

checkConstants

public Node checkConstants(ConstantChecker cc)
                    throws SemanticException

Description copied from interface: NodeOps

Check if the node is a compile-time constant. 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:

checkConstants in interface NodeOps

Overrides:

checkConstants in class Ext_c

Parameters:

cc - The constant checking visitor.

Throws:

SemanticException