Package com.tonic.analysis.verifier

Bytecode verification and the errors it reports.

Interface Summary

Interface	Description
ErrorCollector	Sink for verification errors and warnings, with fail-fast and collect-all (capped) implementations.

Class Summary

Class	Description
ErrorCollector.CollectAllCollector
ErrorCollector.FailFastCollector
VerificationError	One immutable verification finding: a typed error or warning with an optional bytecode offset and location.
VerificationResult	Immutable outcome of a verification run: validity plus the collected errors and warnings.
Verifier	Bytecode verifier that runs the configured structural, type, control-flow, and stack-map passes over methods, classes, or whole pools.
Verifier.Builder	Builder for a Verifier.
VerifierConfig	Immutable settings for the Verifier: which passes run, the error mode, and the error cap.
VerifierConfig.Builder	Builder for a VerifierConfig; all passes default to enabled with COLLECT_ALL and 100 errors.

Enum Summary

Enum	Description
VerificationError.Severity	Severity of a finding: ERROR fails verification, WARNING does not.
VerificationErrorType	Category of a verification finding, spanning structural, type, control-flow, and stack-map checks.
VerifierConfig.ErrorMode	How the verifier reacts to errors: stop at the first or collect up to the cap.