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¶

`LoggingMsgAppendValue AppendValue`¶

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

Arguments

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

`LoggingMsg`¶

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