jif.extension

## Interface JifDel

- All Known Implementing Classes:
    JifArrayAccessAssignDel, JifArrayAccessDel, JifArrayInitDel, JifAssignDel, JifBinaryDel, JifCallDel, JifCastDel, JifCatchDel, JifClassDeclDel, JifConstructorCallDel, JifDel_c, JifFieldAssignDel, JifFieldDeclDel, JifFieldDel, JifFormalDel, JifIfDel, JifInitializerDel, JifInstanceOfDel, JifLocalDeclDel, JifMethodDeclDel, JifNewArrayDel, JifNewDel, JifProcedureDeclDel, JifThrowDel, JifTypeNodeDel

      public interface JifDel

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    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.

- - ### Method Detail

    - #### fatalExceptions

          java.util.Set<polyglot.types.Type> fatalExceptions()

      The exceptions that will be treated as fatal at this node.

    - #### setFatalExceptions

          void setFatalExceptions(polyglot.types.TypeSystem ts,
                                  polyglot.util.SubtypeSet fatalExceptions)

      Set which exceptions will be treated as fatal at this node.