|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
VerificationResult | Records the result of applying verification to a class or method. |
Verifier | A verifier performs verification of Java classes and methods. |
Class Summary | |
---|---|
JustIceVerifier | Wrapper for BCEL's JustIce verifier. |
PlatformJVMVerifier | Adapter to use the runtime verifier of the current JVM to verify class files. |
Verifier.Pass | Type-safe enumeration used for specifying levels of verification. |
VerifierFactory | Creates instances of verifiers to be used in verifying mutations. |
Exception Summary | |
---|---|
VerifierException | An exception to indicate that an error has occurred in the verifier component. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |