Causeway JSON

From Erights

Jump to: navigation, search

This page is only partly written!

The new log format for Causeway is based on the JSON serialization used by ref_send / Waterken Server (implementation).

The structure classes used by ref_send.

A log is abstractly a set of Events. Causeway accepts an arbitrary number of files, each of which contains a JSON array of events.

Contents

Event

Event has a number of subclasses for specific events; the common structure records causality in general:

Fields:

anchor records when, in what vat, this event occurred. trace records what caused this event, within the turn (except when the event is a Got event).

See also Event in ref_send.

Sent

See also Sent in ref_send.

SentIf

See also SentIf in ref_send.

Got

See also Got in ref_send.

Resolved

See also Resolved in ref_send.

Comment

See also Comment in ref_send.

Trace

CallSite

A stack frame.

Fields:

  • name :String, the name of the method/code being executed.
  • source :String, the path of the source file.
  • optional span :List[List[int]], the span in the source file.

See also CallSite in ref_send.

Anchor

An Anchor denotes the relative time of occurrence of an event.

Fields:

number specifies the ordering of this event among the events occurring in turn. The numbering may be sparse.

See also Anchor in ref_send.

Turn

A Turn identifies some turn in some event loop.

Fields:

number specifies the ordering of this turn among the turns executed by the event loop which is identified by the URI loop. The numbering may be sparse.

See also Turn in ref_send.

Discussion

Personal tools
more tools