Index of class methods

Use c#advance i to construct a new object corresponding to the new input position after reading an input symbol i.

Returns the channel used to construct the archiver.

Returns true if the other end of the wire has not yet been reclaimed by the garbage collector.

Returns true if the other end of the wire has not yet been reclaimed by the garbage collector.

Returns the integer corresponding to the priority level.

Use p#code v to convert the priority level v to a priority code with the prioritizer p.

Returns the col_ member.

Returns a new counter object containing the row, column and index of the current cursor position.

Use a#debug msg ... to format message text to put to the archivers at the `Debug level.

Emits each basic event e with a priority level less than `Fail to the channel c using Printf.fprintf c "%s: %s\n" e#prioritizer#tag e#message.

Define the emit method in a subclass to archive diagnostic events into a journaling system.

Use a#enabled v to test whether the priority code corresponding to the priority level v is preceded in the total order by the minimum priority code.

Use a#error msg ... to format message text to put to the archivers at the `Error level.

Define the private event method to construct an event object with a priority level and a message text.

Use a#fail msg ... to format message text to put to the archivers at the `Fail level, and finally used to raise an Failure exception.

Finalize the scanning buffer and return the next unmatched input symbol.

Get the next character for the scanning buffer

Use rx#get f to produce a guard that receives a message on the associated wire by applying the function f to it.

Use rx#get f to produce a guard that receives a message on the associated wire by applying the function f to it.

The guard evaluated by this state of the machine.

The first guard evaluationed by the machine after starting.

The first guard evaluationed by the machine after starting.

The guard evaluated by this state of the machine.

Returns a string representation of the wire end identifier.

Returns a string representation of the wire end identifier.

Use a#info msg ... to format message text to put to the archivers at the `Info level.

Initialize the scanning buffer

Use a#invalid msg ... to format message text to put to the archivers at the `Invalid level, and finally used to raise an Invalid_argument exception.

Returns the priority level used to construct the object.

Returns the message text used to construct the object.

self#next c is called in the advance method to return a new values for the row_, col_ and nlz_ members.

Use obj#next to transition the state of the machine by storing obj in the state of the gadget and applying Cf_state_gadget.guard self#guard.

Use obj#next to transition the state of the gadget by applying Cf_state_gadget.guard self#guard.

Use a#notice msg ... to format message text to put to the archivers at the `Notice level.

Returns the current position.

Returns the prioritizer used to construct the object.

Use tx#put obj to schedule the message obj for deliver on the associated wire.

Use tx#put obj to schedule the message obj for deliver on the associated wire.

Use this method in level-specific methods of the derived class for constructing events and putting them to archivers.

Returns the row_ member.

Use a#setlimit v to set the minimum priority code to the code corresponding to the priority level v.

Starts a new gadget process.

Starts a new gadget, i.e.

Returns the message tag corresponding to the priority level.

Use p#tag v to convert the priority level v to a message tag with the prioritizer p.

Use a#warn msg ... to format message text to put to the archivers at the `Warn level.