accrue.analysis.preciseExceptions

## Class PreciseExLibrarySignature

- java.lang.Object
- - accrue.analysis.preciseExceptions.PreciseExLibrarySignature

-     public abstract class PreciseExLibrarySignature
      extends java.lang.Object

- - ### Field Summary

    Fields
    Modifier and Type | Field and Description
    --- | ---
    `static PreciseExLibrarySignature` | `NO_TERMINATION`
    `static PreciseExLibrarySignature` | `NORM_TERMINATION_ONLY`

  - ### Constructor Summary

    Constructors
    Constructor and Description
    `PreciseExLibrarySignature()`

  - ### Method Summary

    Methods
    Modifier and Type | Method and Description
    --- | ---
    `static PreciseExLibrarySignature` | `ExactExceptions(java.lang.String ex1)`
    `static PreciseExLibrarySignature` | `NonexactExceptions(java.lang.String ex1)`
    `abstract PreciseExAbsVal` | `process(polyglot.types.ProcedureInstance pi)`

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Field Detail

    - #### NORM_TERMINATION_ONLY

          public static final PreciseExLibrarySignature NORM_TERMINATION_ONLY

    - #### NO_TERMINATION

          public static final PreciseExLibrarySignature NO_TERMINATION

  - ### Constructor Detail

    - #### PreciseExLibrarySignature

          public PreciseExLibrarySignature()

  - ### Method Detail

    - #### ExactExceptions

          public static PreciseExLibrarySignature ExactExceptions(java.lang.String ex1)

    - #### NonexactExceptions

          public static PreciseExLibrarySignature NonexactExceptions(java.lang.String ex1)

    - #### process

          public abstract PreciseExAbsVal process(polyglot.types.ProcedureInstance pi)