Index of class methods

Add the element to the set

Add a binding to a multi map.

Add a binding to the map

Add a pair (identifier,value) to the environment.

Add all the binding from the given alist to the map.

Add all the binding from the given alist to the map.

Append text with the optional list of tags.

Append the image found in the given filename

Ask every LED light representing the given port to (asynchronously) blink:

Order the LED light to blink (see above) for the established time, and return immediately:

Schedule the LED light to blink 'times' times, then to reset itself.

Answer if x is bound in the multi map.

Answer if x is bound in the map.

A secondary function to call at any change of the selected item.

Demands to all childs to rebuild theirself and their childs and so on.

Call by initializer

Delete the content of the buffer

Ask every LED light representing the given port to (asynchronously) flash:

Order the LED light to flash (see above) for the established time, and return immediately:

For each LED light representing the given port, call the given function and return the list of results:

Make a new 'a object from the given channel, and return it.

Make a new 'a object from the given file, and return it.

Make a new 'a object from the given string, and return it.

The function to build or rebuild the choices using the given environnement.

Get the current encapsulated value a given input or call the function.

Return the current state:

Get the value associated to the given id (key).

Return the current default state:

Accessors, transparently converting to/from alists:

Return the LED light identified by (x, y), or throw an exception if no light is present at that position:

Return the widget position as it was set at creation time, or (-1, -1) if it was not set:

Return a random LED light belonging to the grid, if it exists, or loop forever.

Get and set the text of each label.

Return the Gtk+ widget holding the whole grid:

Return the main Gtk+ widget making up the LED light:

Return true iff the given port is in connected state:

The key of the pair (key,value) which this widget (node) eventually transmit to its childs (slaves).

Return all the objects bound to the given key, or the empty list if no binding is found:

Return the object bound to the given key, or raise Not_found:

Return all the objects bound to the given key, or raise Not_found:

Lookup a variable of the given type:

Answer (quickly!) to the question if x is a member of the set.

Answer (quickly!) to the question if (x,y) is a member of the (multi) map.

Answer (quickly!) to the question if (x,y) is a member of the map.

Answer (quickly!) to the question if (x,y) is a member of the (multi) map.

Answer (quickly!) to the question if (x,y) is a member of the map.

The function to call to attach self somewhere.

Given a port number, return the list of LED lights representing it:

Given a port number, return a list of pairs of coordinates identifying the inolved lights:

Print the port->coordinates mapping before returning the result of calling port_to_positions:

Return the number of a random port currently in the 'On' state, or loop forever if no such port exists.

Rebuild this widget, and its eventually all childs, with the new given environment.

Refresh the content applying tags.

Remove the element from the set

Remove one or all (default) bindings of the given key.

Remove the binding for the given key.

Remove the given <key, value> binding, if present; otherwise do nothing.

Remove the given <key, value> binding, if present; otherwise raise an exception.

Replace or add (when not existing) a binding to a multi map.

Alias for add

Set the widget current state to be equal to its default.

As append but first delete the old content

In the most cases, the only interesting method from an abstract point of view.

Set the state of all LED lights representing a port, updating their default state: this is a good way to indicate a cable connection or disconnection:

Update the current state, possibly changing the widget's appearance:

Set the current active (selected) choice by its value (instead of its index)

Update the default state *and also the current state*; this changes the widget's appearance if the new value is different from the current state:

Aliases for accessors:

Marshal the given object into the given channel, and return unit.

Marshal self into the given channel, and return unit.

Marshal the given object into the given file, and return unit.

Marshal self into the given file, and return unit.

Make an alist from the map, returning the bindings as <key, value> pairs in some unspecified order.

Make an alist from the map, returning the bindings as <key, value> pairs in some unspecified order.

Marshal the given object into a new string, and return the string.

Marshal self into a string, and return the string

Set the widget current state to be on if it's currently off, or vice-versa.

Update the environment (self) by another environment which will "cover" previous links.