module Collector: sig
.. end
type
t = {
|
mutable c_warning : Wpo.warning list ; |
|
mutable c_depends : Property.t list ; |
}
val stack : t list Pervasives.ref
val push : unit -> t
val pop : t -> Wpo.warning list * Property.t list
val add_warning : ?severe:bool ->
?source:string ->
reason:string -> ('a, Format.formatter, unit, unit) Pervasives.format4 -> 'a
When adding a warning, one has to provide :
- the source of the warning (for instance "model M"),
- the effect of the warning (for instance "stop computation")
- and a formated message about why this warning is emited.
val add_depend : Property.t -> unit