public class JifFieldExt extends JifExprExt
Field
node.Field
,
Serialized FormConstructor and Description |
---|
JifFieldExt(ToJavaExt toJava) |
Modifier and Type | Method and Description |
---|---|
protected static polyglot.ast.Receiver |
checkTarget(LabelChecker lc,
polyglot.ast.Field fe) |
polyglot.ast.Node |
labelCheck(LabelChecker lc)
label check the field access.
|
polyglot.ast.Node |
labelCheckIncrement(LabelChecker lc) |
protected static polyglot.types.ReferenceType |
targetType(JifTypeSystem ts,
JifContext A,
polyglot.ast.Receiver target,
polyglot.ast.Field fe) |
getNumericBounds, setNumericBounds
checkAndRemoveThrowType, checkThrowTypes, copy, dump, getPathMap, init, integerBoundsCalculated, toJava, toJava, updatePathMap, X, X
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, extRewriteOverride, initPred, lang, node, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
public JifFieldExt(ToJavaExt toJava)
public polyglot.ast.Node labelCheckIncrement(LabelChecker lc) throws polyglot.types.SemanticException
polyglot.types.SemanticException
public polyglot.ast.Node labelCheck(LabelChecker lc) throws polyglot.types.SemanticException
labelCheck
in interface JifExt
labelCheck
in class JifExt_c
polyglot.types.SemanticException
protected static polyglot.ast.Receiver checkTarget(LabelChecker lc, polyglot.ast.Field fe) throws polyglot.types.SemanticException
polyglot.types.SemanticException
protected static polyglot.types.ReferenceType targetType(JifTypeSystem ts, JifContext A, polyglot.ast.Receiver target, polyglot.ast.Field fe)