Index of values

Shorthand for for_all.

Shorthand for exists.

Shorthand for logand.

Shorthand for logxor.

Shorthand for logor.

Increases the value of a container variable by a given amount.

after t returns a filter that returns true iff relative time of the event is strictly above t.

Filter that always returns true.

before t returns a filter that returns true iff relative time of the event is strictly below t.

The output initially registered with the name "bell".

Returns the bindings for the passed event.

Defines a variable from name and value.

Defines a variable from name and value.

Defines a variable from name and value (translated to a Daikon array).

Defines a variable from name and value (translated to a Daikon array).

Filter that returns true iff column is above 0.

Filter that returns true iff column is not above 0.

The definition of container types: value, name, optional parent, and alias.

Creates a container with name, type, optional parent container, optional alias and a list of additional properties.

csv sep l constructs a layout ([], [], f) where f is the rendering function defined by: sep the CSV separator;, l the list of elements (referred to through keys) to output for each CSV record, (the available keys are those defined by Event.bindings).

Filter that returns true iff level is Level.DEBUG or above.

Filter that returns true iff level is Level.DEBUG or below.

The header defining Daikon events (declaration part).

The rendering function for Daikon format (declaration part).

The layout initially registered with the name "default".

Defines a new type of container with name, optional parent type, optional alias, and a list of additional properties.

Defines a new value for an entity value with name, type, color, optional alias, and a list of additional properties.

Defines a new type of event with name, type, optional alias, and a list of additional properties.

Defines a new type of link with name, type, start and end container types, optional alias, and a list of additonnal properties.

Defines a new type of state with name, type, optional alias, and a list of additonnal properties.

Defines a new type of variable with name, type, optional alias, and a list of additonnal properties.

Destroys a container with name, type, and a list of additional properties.

Returns a mode delivering events as soon as they are generated.

The header defining Daikon events (trace part).

The rendering function for Daikon format (trace part).

Records the end of a link occuring inside a container, to an end.

enter id pars Defines the properties for a entry point in code (typically function begin), id being the identifier for the function and pars the parameter list.

To be called when entering a critical section.

The definition of entity value types: value, name, parent container, color, and alias.

Filter that returns true iff level is Level.ERROR or above.

Filter that returns true iff level is Level.ERROR or below.

The definition of event types: value, name, container, and alias.

Filter that returns true iff error is equal to None.

Filter that returns true iff error matches Some _.

Constructs a filter that returns true iff at least one filter from the list returns true.

exit id ret pars Defines the properties for a exit point in code (typically function end), id being the identifier for the function, ret the returned value and pars the parameter list.

Filter that returns true iff level is Level.FATAL or above.

Filter that returns true iff level is Level.FATAL or below.

The output initially registered with the name "file".

Filter that returns true iff file is different from "", and "<nofile>".

file_equal f returns a filter that returns true iff file is equal to f.

file_not_equal f returns a filter that returns true iff file is different from f.

Filter that returns true iff file is equal to "", or "<nofile>".

Defines a variable from name and value.

Defines a variable from name and value.

Defines a variable from name and value (translated to a Daikon array).

Defines a variable from name and value (translated to a Daikon array).

Constructs a filter that returns true iff all the filters from the list return true.

get n returns the output registered with name n.

get n returns the layout registered with name n.

get n returns the filter registered with name n.

Returns the list of all loggers that may receive an event initially sent to the loggers whose name is passed.

Returns the identifier of the current thread.

The output initially registered with the name "growlnotify".

The header defining Pajé events.

The header defining log4j elements (actually empty).

The layout initially registered with the name "html".

Filter that returns true iff level is Level.INFO or above.

Filter that returns true iff level is Level.INFO or below.

Defines a variable from name and value.

Defines a variable from name and value.

Defines a variable from name and value (translated to a Daikon array).

Defines a variable from name and value (translated to a Daikon array).

The layout supporting the "Pajé" trace format.

The xml layout, compatible with the one defined by Apache log4j (cf.

The layout supporting the "Daikon" format (declaration part).

The layout supporting the "Daikon" format (trace part).

To be called when leaving a critical section.

The level used to register definitions.

level_equal l returns a filter that return true iff the level is above l.

level_equal l returns a filter that return true iff the level is below l.

level_equal l returns a filter that return true iff the level is equal to l.

The list of all levels, in ascending order (i.

Filter that returns true iff line is above 0.

Filter that returns true iff line is not above 0.

The definition of link types: value, name, parent container, start container, end container, and alias.

Loads the configuration from the passed file.

Loads the configuration from the passed file.

log nm lv ~file:f ~line:l ~column:c ~properties:p ~error:e msg produces an event of level lv, file f, line l, column c, properties p, error e, and message msg.

Constructs a filter that is the conjunction of the passed ones.

The name of the logger used to register definitions.

logger_equal l returns a filter that returns true iff logger is equal to l.

logger_not_equal l returns a filter that returns true iff logger is different from l.

Constructs a filter that is the disjunction of the passed ones.

Constructs a filter that is the exclusive disjunction of the passed ones.

make lg lv ~origin:o ~file:fn ~line:ln ~column:cl ~properties:p ~error:e m constructs a log event for logger lg with level lv, location being defined by fn (filename), ln (line) and cl (column).

make_container_functions () returns a quadruple with the following elements: a container;, a function that adds a named element to the container;, a function that adds an unnamed element to the container, and returns its name;, a function that returns the element whose name is passed, raising Not_found if such an element does not exist.

Creates a node for holding loggers whose name is passed.

Constructs a variable builder function, by projecting a given value to a list of variables.

Maximal integer value for a signal.

Returns a mode delivering all events at program termination.

Filter that return true iff the message is a Daikon one.

Filter that returns true iff message is different from "".

Filter that return true iff the message is not a Daikon one.

Filter that return true iff the message is not a Pajé one.

Filter that return true iff the message is a Pajé one.

Filter that returns true iff message is equal to "".

The layout initially registered with the name "minimal".

Records a new event with type, container, value, and additional list of properties.

Filter that always returns false.

Constructs a filter that is the negation of the passed one.

Converts an integer into a signal.

Converts the passed integer into a level.

Converts a string list into a logger name.

Converts a string into a signal.

Converts a string into a logger name.

Converts the passed string into a level.

Converts a Sys integer code into a signal.

pattern h f r constructs a layout (h, f, r') where r' is the rendering function defined by the string r.

point id vars defines the properties for a given point in code, id being the identifier for the point and vars the variable list.

Changes the states of a given container by poping a previously pushed value from its own stack.

prepare nm indicates that a module is about to use a logger with name nm.

Filter that returns true iff property list is empty.

Filter that returns true iff property list is not empty.

property_defined n returns a filter that returns true iff the property named n is defined.

property_equal n v returns a filter that returns true iff the property named n is defined and has value v.

property_equal_pred n p returns a filter that returns true iff the property named n is defined with value v, and p v equals true.

property_not_equal n v returns a filter that returns true iff the property named n is defined and has a value different from v, or is not defined.

property_not_equal_pred n p returns a filter that returns true iff the property named n is defined with value v and p v equals false, or is not defined.

property_undefined n returns a filter that returns true iff the property named n is not defined.

Pushes the current state of a given container to its own stack, and changes its state to the passed type and value.

register n o registers the output o with name n, replacing any existing output with the same name.

register nm lv fl ly m out (n, r) registers a logger with name nm, level lv, filter named fl, mode m, layout named ly, and output named out.

register n l registers the layout l with name n, replacing any existing layout with the same name.

register n f registers the filter f with name n, replacing any existing filter with the same name.

Registers the passed logger, making it able to receive events.

Similar to register except that an unused name is generated and returned.

Similar to register except that an unused name is generated and returned.

Similar to register except that an unused name is generated and returned.

The rendering function for Pajé format.

The rendering function for log4j format.

render fmt e returns a string representing fmt where all bindings of e have been expanded.

render_bindings l fmt returns a string representing fmt where all bindings of the association list l have been expanded.

Clears all previously saved values for the type of a container.

Returns a mode delivering events every time a condition, specified by the string parameter is made true.

The output initially registered with the name "say".

Changes the state of a given container to a new value with passed type, and additional list of properties.

Sets the value of a container variable.

The layout initially registered with the name "simple".

split seps s returns a list of substrings of s separeted by contiguous substrings of elements from seps.

Records the start of a link occuring inside a container, from a start.

The definition of event types: value, name, container, and alias.

Defines a variable from name and value.

Defines a variable from name and value.

Defines a variable from name and value (translated to a Daikon array).

Defines a variable from name and value (translated to a Daikon array).

Decreases the value of a container variable by a given amount.

The identifier message for Pajé event.

The identifier message for Daikon traces.

Converts a signal into an integer between 0 and max_int - 1.

Converts the passed level into an integer.

Converts a logger name into a string list.

Converts a logger name into a string.

Converts the passed level into a string.

Converts a signal into its Sys equivalent.

Filter that returns true iff level is Level.TRACE or above.

Filter that returns true iff level is Level.TRACE or below.

Returns a copy of the string without leading and trailing whitespace.

Returns a copy of the string without leading whitespace.

Returns a copy of the string without trailing whitespace.

tuple2 t1 t2 returns a variable builder for couple of type t1 * t2.

tuple3 t1 t2 t3 returns a variable builder for triple of type t1 * t2 * t3.

tuple4 t1 t2 t3 t4 returns a variable builder for quadruple of type t1 * t2 * t3 * t4.

tuple5 t1 t2 t3 t4 t5 returns a variable builder for quintuple of type t1 * t2 * t3 * t4 * t5.

The current version of Bolt as a string.

The definition of variable types: value, name, container, color, and alias.

Prints the passed string if Bolt verbose mode is enabled, does nothing otherwise.

The output initially registered with the name "void".

Filter that returns true iff level is Level.WARN or above.

Filter that returns true iff level is Level.WARN or below.

with_logger l e returns an event that is identical to e, except that its logger is equal to l.