All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`visit(ConstraintError constraintError)`
`void`	`visit(ForbiddenMethodError abstractError)`
`void`	`visit(ForbiddenPredicateError forbiddenPredicateError)`
`void`	`visit(HardCodedError hardcodedError)`
`void`	`visit(ImpreciseValueExtractionError predicateError)`
`void`	`visit(IncompleteOperationError incompleteOperationError)`
`void`	`visit(NeverTypeOfError predicateError)`
`void`	`visit(PredicateContradictionError predicateContradictionError)`
`void`	`visit(RequiredPredicateError predicateError)`
`void`	`visit(TypestateError typestateError)`
`void`	`visit(UncaughtExceptionError uncaughtExceptionError)`

void visit(ConstraintError constraintError)

void visit(ForbiddenMethodError abstractError)

void visit(IncompleteOperationError incompleteOperationError)

void visit(TypestateError typestateError)

void visit(RequiredPredicateError predicateError)

void visit(ImpreciseValueExtractionError predicateError)

void visit(NeverTypeOfError predicateError)

void visit(PredicateContradictionError predicateContradictionError)

void visit(HardCodedError hardcodedError)

void visit(ForbiddenPredicateError forbiddenPredicateError)

void visit(UncaughtExceptionError uncaughtExceptionError)

Interface ErrorVisitor