IError (CryptoAnalysis 3.1.0 API)

All Known Implementing Classes:

AbstractError, ConstraintError, ErrorWithObjectAllocation, ForbiddenMethodError, ForbiddenPredicateError, HardCodedError, ImpreciseValueExtractionError, IncompleteOperationError, InstanceOfError, NeverTypeOfError, PredicateContradictionError, RequiredPredicateError, TypestateError, UncaughtExceptionError
```
public interface IError
```

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  void accept(ErrorVisitor visitor)

- Method Detail
  - accept
```
void accept(ErrorVisitor visitor)
```