Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bap-main
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Logging Events
type info = {level : level;(*the event importance
*)section : string;(*the event section, e.g., plugin name
*)message : string;(*the actual message
*)
}each logging message carries this inforamtion
type event += the progress bar message
progress message sends the progress report message.
See the report_progress function for the detailed description.
val message :
level ->
section:string ->
('a, Format.formatter, unit) format ->
'amessage level ~section "my message: %s" "hello" constructs and sends the logging message.
module Create () : sig ... endgenerates reporters specialized to the current plugin.