public interface JifDel
Modifier and Type | Method and Description |
---|---|
java.util.Set<polyglot.types.Type> |
fatalExceptions()
The exceptions that will be treated as fatal at this node.
|
void |
setFatalExceptions(polyglot.types.TypeSystem ts,
polyglot.util.SubtypeSet fatalExceptions)
Set which exceptions will be treated as fatal at this node.
|
java.util.Set<polyglot.types.Type> fatalExceptions()
void setFatalExceptions(polyglot.types.TypeSystem ts, polyglot.util.SubtypeSet fatalExceptions)