Package crypto.analysis.errors
-
Class Summary Class Description AbstractError CallToError ConstraintError ForbiddenMethodError HardCodedError ImpreciseValueExtractionError IncompleteOperationError This class defines-IncompleteOperationError:InstanceOfError NeverTypeOfError NoCallToError PredicateContradictionError RequiredPredicateError CreatesRequiredPredicateErrorfor all Required Predicate error generates RequiredPredicateErrorTypestateError UncaughtExceptionError