polyglot.ext.jl5.ast

Class JL5ConditionalExt

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.JL5ConditionalExt

All Implemented Interfaces:

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

public class JL5ConditionalExt
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
JL5ConditionalExt()

Method Summary

Methods

Modifier and Type	Method and Description
Type	find_lub(JL5TypeSystem ts, Type t1, Type t2)
Node	typeCheck(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, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from class java.lang.Object

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

Constructor Detail

JL5ConditionalExt

public JL5ConditionalExt()

Method Detail

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

find_lub

public Type find_lub(JL5TypeSystem ts,
            Type t1,
            Type t2)
              throws SemanticException

Throws:

SemanticException