public abstract class PreciseExLibrarySignature
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static PreciseExLibrarySignature |
NO_TERMINATION |
static PreciseExLibrarySignature |
NORM_TERMINATION_ONLY |
Constructor and Description |
---|
PreciseExLibrarySignature() |
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) |
public static final PreciseExLibrarySignature NORM_TERMINATION_ONLY
public static final PreciseExLibrarySignature NO_TERMINATION
public static PreciseExLibrarySignature ExactExceptions(java.lang.String ex1)
public static PreciseExLibrarySignature NonexactExceptions(java.lang.String ex1)
public abstract PreciseExAbsVal process(polyglot.types.ProcedureInstance pi)