moonrockz/diagrams-mermaid/ast

moonrockz/diagrams-mermaid/ast does not have a README file

Activation

pub(all) enum Activation {
  Activate
  Deactivate
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

The activation shorthand of a message: + or - after the arrow.

Activation::equal

source

fn Activation::equal(Activation, Activation) -> Bool

Activation::not_equal

source

fn Activation::not_equal(x : Activation, y : Activation) -> Bool

Activation::to_repr

source

fn Activation::to_repr(Activation) -> @moonbitlang/core/debug.Repr
Repr

Autonumber

source

pub(all) enum Autonumber {
  On(start~ : String?, step~ : String?)
  Off
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

An autonumber statement. The numbers keep their spelling.

Autonumber::equal

source

fn Autonumber::equal(Autonumber, Autonumber) -> Bool

Autonumber::not_equal

source

fn Autonumber::not_equal(x : Autonumber, y : Autonumber) -> Bool

Autonumber::to_repr

source

fn Autonumber::to_repr(Autonumber) -> @moonbitlang/core/debug.Repr
Repr

Box

source

pub(all) struct Box {
  label : String
  statements : ReadOnlyArray[Statement]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

A box group: the text after box and the participant statements in it.

Box::equal

source

fn Box::equal(Box, Box) -> Bool

Box::not_equal

source

fn Box::not_equal(x : Box, y : Box) -> Bool

Box::to_repr

source

fn Box::to_repr(Box) -> @moonbitlang/core/debug.Repr
Repr

Diagram

source

pub(all) struct Diagram {
  front_matter : String?
  directives : ReadOnlyArray[String]
  statements : ReadOnlyArray[Statement]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

The typed AST of a Mermaid sequence diagram. front_matter is the front matter block with its --- lines. directives are the %%{...}%% directives in source order. Comments are not in the AST.

Diagram::equal

source

fn Diagram::equal(Diagram, Diagram) -> Bool

Diagram::new

source

fn Diagram::new(statements : ArrayView[Statement], front_matter? : String, directives? : ArrayView[String]) -> Diagram

A diagram with copies of statements and directives.

Diagram::not_equal

source

fn Diagram::not_equal(x : Diagram, y : Diagram) -> Bool

Diagram::to_repr

source

fn Diagram::to_repr(Diagram) -> @moonbitlang/core/debug.Repr
Repr

Frame

source

pub(all) struct Frame {
  kind : FrameKind
  sections : ReadOnlyArray[Section]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

A frame such as loop, alt or rect, with one or more sections.

Frame::equal

source

fn Frame::equal(Frame, Frame) -> Bool

Frame::not_equal

source

fn Frame::not_equal(x : Frame, y : Frame) -> Bool

Frame::to_repr

source

fn Frame::to_repr(Frame) -> @moonbitlang/core/debug.Repr
Repr

FrameKind

source

pub(all) enum FrameKind {
  Loop
  Rect
  Opt
  Alt
  Par
  ParOver
  Critical
  Break
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

The kind of a frame.

FrameKind::equal

source

fn FrameKind::equal(FrameKind, FrameKind) -> Bool

FrameKind::not_equal

source

fn FrameKind::not_equal(x : FrameKind, y : FrameKind) -> Bool

FrameKind::to_repr

source

fn FrameKind::to_repr(FrameKind) -> @moonbitlang/core/debug.Repr
Repr

LinkKind

source

pub(all) enum LinkKind {
  Link
  Links
  Properties
  Details
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

The keyword of a link-like statement.

LinkKind::equal

source

fn LinkKind::equal(LinkKind, LinkKind) -> Bool

LinkKind::not_equal

source

fn LinkKind::not_equal(x : LinkKind, y : LinkKind) -> Bool

LinkKind::to_repr

source

fn LinkKind::to_repr(LinkKind) -> @moonbitlang/core/debug.Repr
Repr

LinkStatement

source

pub(all) struct LinkStatement {
  kind : LinkKind
  participant : String
  text : String
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

A link, links, properties or details statement. text is the text after : as written, for example JSON for links.

LinkStatement::equal

source

fn LinkStatement::equal(LinkStatement, LinkStatement) -> Bool

LinkStatement::not_equal

source

fn LinkStatement::not_equal(x : LinkStatement, y : LinkStatement) -> Bool

LinkStatement::to_repr

source

fn LinkStatement::to_repr(LinkStatement) -> @moonbitlang/core/debug.Repr
Repr

MessageStatement

source

pub(all) struct MessageStatement {
  sender : String
  arrow : String
  receiver : String
  text : String
  activation : Activation?
  central_before : Bool
  central_after : Bool
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

A message statement. arrow keeps the exact spelling of the source, and text has no spaces at its ends. central_before and central_after are the () central connection markers before and after the arrow.

MessageStatement::equal

source

fn MessageStatement::equal(MessageStatement, MessageStatement) -> Bool

MessageStatement::not_equal

source

fn MessageStatement::not_equal(x : MessageStatement, y : MessageStatement) -> Bool

MessageStatement::to_repr

source

fn MessageStatement::to_repr(MessageStatement) -> @moonbitlang/core/debug.Repr
Repr

NoteStatement

source

pub(all) struct NoteStatement {
  placement : Placement
  participants : ReadOnlyArray[String]
  text : String
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

A note on one participant, or over one or two participants.

NoteStatement::equal

source

fn NoteStatement::equal(NoteStatement, NoteStatement) -> Bool

NoteStatement::not_equal

source

fn NoteStatement::not_equal(x : NoteStatement, y : NoteStatement) -> Bool

NoteStatement::to_repr

source

fn NoteStatement::to_repr(NoteStatement) -> @moonbitlang/core/debug.Repr
Repr

ParticipantDecl

source

pub(all) struct ParticipantDecl {
  created : Bool
  keyword : ParticipantKeyword
  id : String
  config : String?
  label : String?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

A participant or actor statement. created is true for the create form. config is the text inside @{...} without the spaces at its ends.

ParticipantDecl::equal

source

fn ParticipantDecl::equal(ParticipantDecl, ParticipantDecl) -> Bool

ParticipantDecl::not_equal

source

fn ParticipantDecl::not_equal(x : ParticipantDecl, y : ParticipantDecl) -> Bool

ParticipantDecl::to_repr

source

fn ParticipantDecl::to_repr(ParticipantDecl) -> @moonbitlang/core/debug.Repr
Repr

ParticipantKeyword

source

pub(all) enum ParticipantKeyword {
  Participant
  Actor
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

The keyword of a participant declaration.

ParticipantKeyword::equal

source

fn ParticipantKeyword::equal(ParticipantKeyword, ParticipantKeyword) -> Bool

ParticipantKeyword::not_equal

source

fn ParticipantKeyword::not_equal(x : ParticipantKeyword, y : ParticipantKeyword) -> Bool

ParticipantKeyword::to_repr

source

fn ParticipantKeyword::to_repr(ParticipantKeyword) -> @moonbitlang/core/debug.Repr
Repr

Placement

source

pub(all) enum Placement {
  LeftOf
  RightOf
  Over
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Where a note is.

Placement::equal

source

fn Placement::equal(Placement, Placement) -> Bool

Placement::not_equal

source

fn Placement::not_equal(x : Placement, y : Placement) -> Bool

Placement::to_repr

source

fn Placement::to_repr(Placement) -> @moonbitlang/core/debug.Repr
Repr

Section

source

pub(all) struct Section {
  label : String
  statements : ReadOnlyArray[Statement]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

One section of a frame: the text after its keyword and its statements. The first section starts at the frame keyword, and each else, and or option starts another one.

Section::equal

source

fn Section::equal(Section, Section) -> Bool

Section::not_equal

source

fn Section::not_equal(x : Section, y : Section) -> Bool

Section::to_repr

source

fn Section::to_repr(Section) -> @moonbitlang/core/debug.Repr
Repr

Statement

source

pub(all) struct Statement {
  kind : StatementKind
  span : @moonrockz/diagrams.Span
Span
} derive(@moonbitlang/core/debug.Debug
Debug)

One statement and its place in the source. Equality does not compare span, so two sources with the same statements have equal ASTs.

impl Eq for Statement

Statement::equal

source

fn Statement::equal(a : Statement, b : Statement) -> Bool

Statement::not_equal

source

fn Statement::not_equal(x : Statement, y : Statement) -> Bool

Statement::to_repr

source

fn Statement::to_repr(Statement) -> @moonbitlang/core/debug.Repr
Repr

StatementKind

source

pub(all) enum StatementKind {
  Participant(ParticipantDecl)
  Destroy(String)
  Activate(String)
  Deactivate(String)
  Message(MessageStatement)
  Note(NoteStatement)
  Link(LinkStatement)
  Title(String)
  AccTitle(String)
  AccDescr(String)
  Autonumber(Autonumber)
  Frame(Frame)
  Box(Box)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

What a statement says.

StatementKind::equal

source

fn StatementKind::equal(StatementKind, StatementKind) -> Bool

StatementKind::not_equal

source

fn StatementKind::not_equal(x : StatementKind, y : StatementKind) -> Bool

StatementKind::to_repr

source

fn StatementKind::to_repr(StatementKind) -> @moonbitlang/core/debug.Repr
Repr

lower

source

fn lower(tree : @moonrockz/diagrams-mermaid/cst.Node
Node) -> Diagram?

The typed AST of a lossless syntax tree. Error nodes are not in the AST, because the parser already reported them. A tree without the sequenceDiagram header gives None.

Source Files

Site source Report issue Packages Build queue Skills Statistics

#Activation

#Activation::equal

#Activation::not_equal

#Activation::to_repr

#Autonumber

#Autonumber::equal

#Autonumber::not_equal

#Autonumber::to_repr

#Box

#Box::equal

#Box::not_equal

#Box::to_repr

#Diagram

#Diagram::equal

#Diagram::new

#Diagram::not_equal

#Diagram::to_repr

#Frame

#Frame::equal

#Frame::not_equal

#Frame::to_repr

#FrameKind

#FrameKind::equal

#FrameKind::not_equal

#FrameKind::to_repr

#LinkKind

#LinkKind::equal

#LinkKind::not_equal

#LinkKind::to_repr

#LinkStatement

#LinkStatement::equal

#LinkStatement::not_equal

#LinkStatement::to_repr

#MessageStatement

#MessageStatement::equal

#MessageStatement::not_equal

#MessageStatement::to_repr

#NoteStatement

#NoteStatement::equal

#NoteStatement::not_equal

#NoteStatement::to_repr

#ParticipantDecl

#ParticipantDecl::equal

#ParticipantDecl::not_equal

#ParticipantDecl::to_repr

#ParticipantKeyword

#ParticipantKeyword::equal

#ParticipantKeyword::not_equal

#ParticipantKeyword::to_repr

#Placement

#Placement::equal

#Placement::not_equal

#Placement::to_repr

#Section

#Section::equal

#Section::not_equal

#Section::to_repr

#Statement

#Statement::equal

#Statement::not_equal

#Statement::to_repr

#StatementKind

#StatementKind::equal

#StatementKind::not_equal

#StatementKind::to_repr

#lower

Source Files

Activation

Activation::equal

Activation::not_equal

Activation::to_repr

Autonumber

Autonumber::equal

Autonumber::not_equal

Autonumber::to_repr

Box

Box::equal

Box::not_equal

Box::to_repr

Diagram

Diagram::equal

Diagram::new

Diagram::not_equal

Diagram::to_repr

Frame

Frame::equal

Frame::not_equal

Frame::to_repr

FrameKind

FrameKind::equal

FrameKind::not_equal

FrameKind::to_repr

LinkKind

LinkKind::equal

LinkKind::not_equal

LinkKind::to_repr

LinkStatement

LinkStatement::equal

LinkStatement::not_equal

LinkStatement::to_repr

MessageStatement

MessageStatement::equal

MessageStatement::not_equal

MessageStatement::to_repr

NoteStatement

NoteStatement::equal

NoteStatement::not_equal

NoteStatement::to_repr

ParticipantDecl

ParticipantDecl::equal

ParticipantDecl::not_equal

ParticipantDecl::to_repr

ParticipantKeyword

ParticipantKeyword::equal

ParticipantKeyword::not_equal

ParticipantKeyword::to_repr

Placement

Placement::equal

Placement::not_equal

Placement::to_repr

Section

Section::equal

Section::not_equal

Section::to_repr

Statement

Statement::equal

Statement::not_equal

Statement::to_repr

StatementKind

StatementKind::equal

StatementKind::not_equal

StatementKind::to_repr

lower