rotor
Refactoring_errortype t = | Not_initialised of stringNot_initialised msg indicates that the refactoring has not been properly initialised; msg provides an error message.
| Bad_sourcefile of stringBad_sourcefile msd indicates that the representation of the source code was insufficient to requirements; msg provides an error message.
| CompilerError of Location.errorCompilerError err indicates that an error was raised by a function in the compiler that was used whilst analysis the source representation; err is the error in question.
| SoundnessViolation of stringSoundnessViolation msg indicates that apply the refactoring is unsound; msg provides a detailed error message.
| KernelError of stringKernelError msg indicates that a problem has been encountered during the computation of the kernel of a refactoring for a codebase; msg provides a detailed error message.
exception Error of t * Printexc.raw_backtrace optionAn Error indicates the irrecoverable failure of a refactoring.
val print_error : t Containers.Format.printerreport_error fmt e reports the error e on the formatter fmt.
val log_error : ?tags:Logs.Tag.set -> t -> unitreport_error fmt e reports the error e on the formatter fmt.
log_error e logs the error on Logging.log.