package vlt

  1. Overview
  2. Docs

This module provides support for the Pajé tool (version 1.2.3).

Pajé (available at http://paje.sourceforge.net) is a graphical tool for the analysis of multithreads and/or multiprocesses programs.

Bolt can produce Pajé-compatible traces by using statements like:

LOG Paje.t WITH Paje.new_event ...;

more information can be found in the Bolt manual.

Definitions
val t : string

The identifier message for Pajé event.

type properties = (string * string) list

The type of information to be recorded in a trace.

type name = string

Synonym for names.

type alias = string

Synonym for aliases.

type color = float * float * float

The type of colors, as three red/green/blue components (each should be between 0.0 and 1.0).

Predefined events: type definitions
val define_container_type : name:name -> ?typ:string -> ?alias:alias -> properties -> properties

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

val define_state_type : name:name -> typ:string -> ?alias:alias -> properties -> properties

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

val define_event_type : name:name -> typ:string -> ?alias:alias -> properties -> properties

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

val define_variable_type : name:name -> typ:string -> color:color -> ?alias:alias -> properties -> properties

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

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

val define_entity_value : name:name -> typ:string -> color:color -> ?alias:alias -> properties -> properties

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

Predefined events: trace recording
val create_container : name:name -> typ:string -> ?container:name -> ?alias:alias -> properties -> properties

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

val destroy_container : name:name -> typ:string -> properties -> properties

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

val set_state : typ:string -> container:name -> value:string -> properties -> properties

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

val push_state : typ:string -> container:name -> value:string -> properties -> properties

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

val pop_state : typ:string -> container:name -> properties -> properties

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

val reset_state : typ:string -> container:name -> properties -> properties

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

val new_event : typ:string -> container:name -> value:string -> properties -> properties

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

val set_variable : typ:string -> container:name -> value:float -> properties -> properties

Sets the value of a container variable.

val add_variable : typ:string -> container:name -> value:float -> properties -> properties

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

val sub_variable : typ:string -> container:name -> value:float -> properties -> properties

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

Records the start of a link occuring inside a container, from a start. The key/value pair is used to match with an associated end of link.

Records the end of a link occuring inside a container, to an end. The key/value pair is used to match with an associated start of link.

Layout elements
val header : string list

The header defining Pajé events.

val render : Event.t -> string

The rendering function for Pajé format.

val layout : Layout.t

The layout supporting the "Pajé" trace format. The message of the event should match the name of an EventDef defined by the "Pajé trace file format" available at http://paje.sourceforge.net/download/publication/lang-paje.pdf. The values of the fields are taken from the event properties, the "Time" field being automatically set to the time elapsed since program start (unless explicitly set through a property).

val layout_noheader : Layout.t
Functorial interface
type type_kind =
  1. | Container
  2. | State
  3. | Event
  4. | Variable
  5. | Entity_value
exception Invalid_type of type_kind
module type Definitions = sig ... end

The input signature of Paje.Make, that is static definition of Pajé types.

module type S = sig ... end

The output signature of Paje.Make, that is type-safe interface to Pajé functions.

Functor building a type-safe version of Pajé trace-recording functions. Definitions from the passed module are recorded at the "TRACE" level.

OCaml

Innovation. Community. Security.