public class JifExt_c extends polyglot.ast.Ext_c implements JifExt
Jif
interface.Modifier and Type | Field and Description |
---|---|
protected ToJavaExt |
toJava |
protected PathMap |
X |
Modifier and Type | Method and Description |
---|---|
static void |
checkAndRemoveThrowType(java.util.List<polyglot.types.Type> throwTypes,
polyglot.types.Type excType)
Check that the type excType is indeed in the list of types thrown,
throwTypes, and remove excType from that list.
|
static void |
checkThrowTypes(java.util.List<polyglot.types.Type> throwTypes)
Check that the list of types thrown,
throwTypes, does not contain any checked exceptions, i.e., all throw
types have been correctly label checked.
|
JifExt |
copy() |
void |
dump(polyglot.util.CodeWriter w) |
static PathMap |
getPathMap(polyglot.ast.Node n) |
void |
init(polyglot.ast.Node node) |
void |
integerBoundsCalculated()
A method that is called to notify the extension that
the numeric bounds have been calculated.
|
polyglot.ast.Node |
labelCheck(LabelChecker lc)
Label check the node to which this extension is attached.
|
ToJavaExt |
toJava() |
JifExt |
toJava(ToJavaExt toJava) |
static polyglot.ast.Node |
updatePathMap(polyglot.ast.Node n,
PathMap X) |
PathMap |
X()
Gets the path map of this extension.
|
JifExt |
X(PathMap X)
Returns a copy of this object with the path map updated.
|
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 JifExt_c(ToJavaExt toJava)
public void init(polyglot.ast.Node node)
init
in interface polyglot.ast.Ext
init
in class polyglot.ast.Ext_c
public JifExt copy()
copy
in interface polyglot.util.Copy<polyglot.ast.Ext>
copy
in class polyglot.ast.Ext_c
public JifExt X(PathMap X)
JifExt
public polyglot.ast.Node labelCheck(LabelChecker lc) throws polyglot.types.SemanticException
JifExt
labelCheck
in interface JifExt
polyglot.types.SemanticException
public static PathMap getPathMap(polyglot.ast.Node n)
public static polyglot.ast.Node updatePathMap(polyglot.ast.Node n, PathMap X)
public static void checkAndRemoveThrowType(java.util.List<polyglot.types.Type> throwTypes, polyglot.types.Type excType)
throwTypes
- excType
- public static void checkThrowTypes(java.util.List<polyglot.types.Type> throwTypes)
throwTypes
- public void integerBoundsCalculated()
JifExt
integerBoundsCalculated
in interface JifExt
public void dump(polyglot.util.CodeWriter w)
dump
in interface polyglot.ast.Ext
dump
in class polyglot.ast.Ext_c