|(require medic/trace)||package: medic|
Adds a log entry in the Log pane. For the latter log form, the log entry is a string form with ~a replaced by the corresponding value among vs. The number of ~as in form must be the same as the number of vs. Examples are as follows:
Adds a node to the Graph pane. The optional arguments node-label and color specify node properties. If node is called multiple times for the same v, only one node corresponding to v is shown in the Graph pane.
Generates an edge in the Graph pane connecting from from to to. The optional arguments edge-label, from-label, and to-label set the label properties of the edge and two connected nodes. The color of the arrow head of the edge is specified by color. When color is #f, it uses the default gray color. When there exists no node associated with from or to, edge creates a new node for it first and then adds an edge.
Removes a node.
Removes an edge.
Adds an aggregate entry in the Aggregate pane, which groups a sequence of vs together.
Adds a timeline entry in the Timeline pane, with a sequence of the value of v ordered in time.
Adds a timeline entry in the Timeline pane, where the violations of the invariant pred are highlighted in red color.
Adds a timeline entry in the Timeline pane. It checks whether the value of v changes over time where v can be a primitive data type such as a number, string, or symbol or a compound data type including a pair, vector, hash table, structure, and class. For a compound data type, a change to an instance of the data type is defined as a change to any part of an instance of the data type. A change to an object of a class is defined to be a change to any of the object’s inherited, private, or public member fields.