Module Plugin

module Plugin: sig .. end
Handling of dynamically-loaded plugins (both checks and outputs).

type error = 
| Dynlink_error of Dynlink.error
| Duplicate_check of CheckName.t
| Duplicate_output of OutputName.t
exception Exception of error
Exception to be raised when a function of this module fails.
val register_check : Check.t -> unit
Registers the passed check. Raises Exception if a check alredy exists with the same name.
val register_lines_check : (module Check.Lines) -> unit
Registers the passed check. Raises Exception if a check alredy exists with the same name.
val register_ocamldoc_check : (module Check.OCamldoc) -> unit
Registers the passed check. Raises Exception if a check alredy exists with the same name.
val register_tokens_check : (module Check.Tokens) -> unit
Registers the passed check. Raises Exception if a check alredy exists with the same name.
val register_structure_check : (module Check.Structure) -> unit
Registers the passed check. Raises Exception if a check alredy exists with the same name.
val register_signature_check : (module Check.Signature) -> unit
Registers the passed check. Raises Exception if a check alredy exists with the same name.
val register_output : Output.t -> unit
Registers the passed output. Raises Exception if an output alredy exists with the same name.