Skip to content

Juvix imports

module arch.node.engines.logging_messages;

import prelude open;

Logging Messages¶

These are the messages that the Logging engine can receive/respond to.

Message interface¶

type LoggingMsg := | LoggingMsgAppend AppendValue;

Message sequence diagrams¶

Appending a log entry¶

sequenceDiagram
    participant LocalEngine
    participant LoggingEngine

    LocalEngine ->> LoggingEngine: LoggingMsgAppend
    Note over LoggingEngine: Appends the value to logbook

A local engine sends a log entry to be appended to the logbook

Message types¶

`AppendValue`¶

type AppendValue :=
  mkAppendValue@{
    value : String;
  };

Arguments

value:: The value in string format to be added to the logbook.

`LoggingMsg`¶

type LoggingMsg := | LoggingMsgAppend AppendValue;

Engine components¶