polyglot.ext.jl5.ast

Class JL5UnaryExt

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

All Implemented Interfaces:

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

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

Method Summary

Methods

Modifier and Type	Method and Description
Type	childExpectedType(Expr child, AscriptionVisitor av) Get the expected type of a child expression of this.
Node	typeCheck(TypeChecker tc) Type check the expression.

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, 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

JL5UnaryExt

public JL5UnaryExt()

Method Detail

typeCheck

public Node typeCheck(TypeChecker tc)
               throws SemanticException

Type check the expression.

Specified by:

typeCheck in interface NodeOps

Overrides:

typeCheck in class Ext_c

Parameters:

tc - The type checking visitor.

Throws:

SemanticException

childExpectedType

public Type childExpectedType(Expr child,
                     AscriptionVisitor av)

Description copied from interface: NodeOps

Get the expected type of a child expression of this. The expected type is determined by the context in that the child occurs (e.g., for x = e, the expected type of e is the declared type of x. The expected type should impose the least constraints on the child's type that are allowed by the parent node.

Specified by:

childExpectedType in interface NodeOps

Overrides:

childExpectedType in class Ext_c

Parameters:

child - A child expression of this node.

av - An ascription visitor.

Returns:

The expected type of child.