Skip to content
Juvix imports 

module node_architecture.engines.template_overview;

import prelude open;

Template Engine Family Overview

TemplateEngineFamily
  : Anoma.EngineFamily
    TemplateLocalState
    TemplateMailboxState
    TemplateTimerHandle
    TemplateMatchableArgument
    TemplateActionLabel
    TemplatePrecomputation :=
  Anoma.mkEngineFamily@{
    guards := [messageOneGuard];
    action := templateAction;
    conflictSolver := templateConflictSolver
  };

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Sed ut purus eget sapien. Nulla facilisi.

Purpose

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Sed ut purus eget sapien. Nulla facilisi.

Message interface

Auxiliary Juvix code 

syntax alias MethodOneArgOne := Nat;

syntax alias MethodOneArgTwo := Nat;

syntax alias MethodOneArgThree := Nat;

syntax alias MethodTwoArgOne := Nat;

type TemplateMsg :=
  | TemplateMsgOne {
      argOne : MethodOneArgOne;
      argTwo : MethodOneArgTwo;
      argThree : MethodOneArgThree
    }
  | TemplateMsgTwo {argOne : MethodTwoArgOne};

TemplateMsgOne message

TemplateMsgOne

  TemplateMsgOne {
    argOne : MethodOneArgOne;
    argTwo : MethodOneArgTwo;
    argThree : MethodOneArgThree
}

Lorem ipsum dolor sit amet, consectetur adipiscing elit. The following is an example of a TemplateMsgOne-message:

example_message_one : TemplateMsg :=
  TemplateMsgOne@{
    argOne := 1;
    argTwo := 2;
    argThree := 3
  };
argOne

Lorem ipsum dolor sit amet, consectetur adipiscing elit.

argTwo

Lorem ipsum dolor sit amet, consectetur adipiscing elit.

argThree

This is the last argument and here we actually can describe more detail about the property about argOne and argThree mentioned above.

TemplateMsgTwo message

TemplateMsgTwo

  TemplateMsgTwo {
    argOne : MethodTwoArgOne
}

Lorem ipsum dolor sit amet, consectetur adipiscing elit. The following is an example of a TemplateMsgTwo-message:

example_message_two : TemplateMsg :=
  TemplateMsgTwo@{
    argOne := 1
  };
argOne

Lorem ipsum dolor sit amet, consectetur adipiscing elit.

Message sequence diagrams

[Title of message sequence diagram ⟨𝑖⟩]

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Sed ut purus eget sapien. Nulla facilisi.

sequenceDiagram
    participant Template
    participant EngineTemplateClient

    EngineTemplateClient ->> Template: Send TemplateMsgOne
    Template ->> EngineTemplateClient: Respond with TemplateMsgOne
Lorem ipsum dolor sit amet, consectetur adipiscing elit.

Engine Components

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Sed ut purus eget sapien. Nulla facilisi.

(Wiki) links on this page