Package crypto.listener
Interface IErrorListener
-
- All Known Implementing Classes:
ErrorCollector
public interface IErrorListener
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidreportError(AbstractError error)voidreportError(CallToError callToError)voidreportError(ConstraintError constraintError)voidreportError(ForbiddenMethodError forbiddenMethodError)voidreportError(HardCodedError hardCodedError)voidreportError(ImpreciseValueExtractionError impreciseValueExtractionError)voidreportError(IncompleteOperationError incompleteOperationError)voidreportError(InstanceOfError instanceOfError)voidreportError(NeverTypeOfError neverTypeOfError)voidreportError(NoCallToError noCallToError)voidreportError(PredicateContradictionError predicateContradictionError)voidreportError(RequiredPredicateError requiredPredicateError)voidreportError(TypestateError typestateError)voidreportError(UncaughtExceptionError uncaughtExceptionError)
-
-
-
Method Detail
-
reportError
void reportError(CallToError callToError)
-
reportError
void reportError(ConstraintError constraintError)
-
reportError
void reportError(ForbiddenMethodError forbiddenMethodError)
-
reportError
void reportError(HardCodedError hardCodedError)
-
reportError
void reportError(ImpreciseValueExtractionError impreciseValueExtractionError)
-
reportError
void reportError(IncompleteOperationError incompleteOperationError)
-
reportError
void reportError(InstanceOfError instanceOfError)
-
reportError
void reportError(NeverTypeOfError neverTypeOfError)
-
reportError
void reportError(NoCallToError noCallToError)
-
reportError
void reportError(PredicateContradictionError predicateContradictionError)
-
reportError
void reportError(RequiredPredicateError requiredPredicateError)
-
reportError
void reportError(TypestateError typestateError)
-
reportError
void reportError(UncaughtExceptionError uncaughtExceptionError)
-
reportError
void reportError(AbstractError error)
-
-