public class JifArrayAccessDel extends JifDel_c
ArrayAccess
node.fatalExceptions
Constructor and Description |
---|
JifArrayAccessDel() |
Modifier and Type | Method and Description |
---|---|
boolean |
arrayIsNeverNull() |
boolean |
outOfBoundsExcThrown() |
void |
setArrayIsNeverNull() |
void |
setFatalExceptions(polyglot.types.TypeSystem ts,
polyglot.util.SubtypeSet fatalExceptions)
Set the exceptions thrown by this node that are treated as fatal.
|
void |
setNoOutOfBoundsExcThrown() |
java.util.List<polyglot.types.Type> |
throwTypes(polyglot.types.TypeSystem ts)
List of Types of exceptions that might get thrown.
|
buildTypes, fatalExceptions, translate
addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, init, jl, lang, node, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
public void setArrayIsNeverNull()
public boolean arrayIsNeverNull()
public void setNoOutOfBoundsExcThrown()
public boolean outOfBoundsExcThrown()
public java.util.List<polyglot.types.Type> throwTypes(polyglot.types.TypeSystem ts)
throwTypes
in interface polyglot.ast.NodeOps
throwTypes
in class JifDel_c
public void setFatalExceptions(polyglot.types.TypeSystem ts, polyglot.util.SubtypeSet fatalExceptions)
JifDel_c
setFatalExceptions
in interface JifDel
setFatalExceptions
in class JifDel_c