public class JifCastDel extends JifDel_c implements JifPreciseClassDel
Cast
node.Cast_c
,
Serialized FormfatalExceptions
Constructor and Description |
---|
JifCastDel() |
Modifier and Type | Method and Description |
---|---|
polyglot.ast.Expr |
getPreciseClassExpr() |
boolean |
isToSubstJifClass() |
void |
setFatalExceptions(polyglot.types.TypeSystem ts,
polyglot.util.SubtypeSet fatalExceptions)
Set the exceptions thrown by this node that are treated as fatal.
|
void |
setPreciseClass(java.util.Set<polyglot.types.Type> preciseClasses) |
boolean |
throwsClassCastException() |
java.util.List<polyglot.types.Type> |
throwTypes(polyglot.types.TypeSystem ts) |
polyglot.ast.Node |
typeCheck(polyglot.visit.TypeChecker tc) |
polyglot.visit.NodeVisitor |
typeCheckEnter(polyglot.visit.TypeChecker tc) |
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, typeCheckOverride, visitChild, visitChildren, visitList
public boolean isToSubstJifClass()
public polyglot.visit.NodeVisitor typeCheckEnter(polyglot.visit.TypeChecker tc) throws polyglot.types.SemanticException
typeCheckEnter
in interface polyglot.ast.NodeOps
typeCheckEnter
in class polyglot.ast.JLDel_c
polyglot.types.SemanticException
public polyglot.ast.Node typeCheck(polyglot.visit.TypeChecker tc) throws polyglot.types.SemanticException
typeCheck
in interface polyglot.ast.NodeOps
typeCheck
in class polyglot.ast.JLDel_c
polyglot.types.SemanticException
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
public boolean throwsClassCastException()
public polyglot.ast.Expr getPreciseClassExpr()
getPreciseClassExpr
in interface JifPreciseClassDel
public void setPreciseClass(java.util.Set<polyglot.types.Type> preciseClasses)
setPreciseClass
in interface JifPreciseClassDel