moonrockz/diagrams-plantuml/json

pub struct Conversion {
  tree : @moonrockz/diagrams/data-tree.DataTree?
  diagnostics : ReadOnlyArray[@moonrockz/diagrams.Diagnostic]
}

The result of converting a document to a data tree.

pub struct Document {
  name : String?
  statements : ReadOnlyArray[@moonrockz/diagrams-plantuml/envelope.Statement]
  highlights : ReadOnlyArray[@moonrockz/diagrams-plantuml/data.Selector]
  value : Value
} derive(Eq, @moonbitlang/core/debug.Debug)

One parsed JSON diagram block.

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

fn Document::logical_equal(self : Document, other : Document) -> Bool

Compare two documents without spans and source spellings.

fn Document::new(value : Value, name? : String, statements? : ArrayView[@moonrockz/diagrams-plantuml/envelope.Statement], highlights? : ArrayView[@moonrockz/diagrams-plantuml/data.Selector]) -> Document

A document. The constructor copies its arrays.

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

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

pub struct Member {
  name : Str
  value : Value
  span : @moonrockz/diagrams.Span?
} derive(Eq, @moonbitlang/core/debug.Debug)

One object member occurrence.

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

fn Member::new(name : String, value : Value) -> Member

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

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

pub struct ReadResult {
  nodes : Array[@moonrockz/diagrams-plantuml/cst.Node]
  document : Document?
  diagnostics : ReadOnlyArray[@moonrockz/diagrams.Diagnostic]
}

The result of reading a JSON body.

pub struct Str {
  text : String
  raw : String?
} derive(Eq, @moonbitlang/core/debug.Debug)

A JSON string. text is the decoded value. raw is the source spelling with its quotes, or None for a constructed value. Logical comparison and canonical writing use only text.

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

fn Str::new(text : String) -> Str

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

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

pub struct Value {
  kind : ValueKind
  span : @moonrockz/diagrams.Span?
} derive(Eq, @moonbitlang/core/debug.Debug)

One JSON value with its source span.

fn Value::array(items : ArrayView[Value]) -> Value

An array. The constructor copies items.

fn Value::boolean(value : Bool) -> Value

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

fn Value::kind_name(self : Value) -> String

The kind name of a value: object, array, string, number, boolean or null.

fn Value::logical_equal(self : Value, other : Value) -> Bool

Compare two values without spans and source spellings. The comparison uses an explicit stack, so deep values do not use the call stack.

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

fn Value::null() -> Value

fn Value::number(lexeme : String) -> Value

A number with an exact decimal lexeme, for example -0.0 or 1e400. Writing gives an error when the lexeme is not a valid JSON number.

fn Value::object(members : ArrayView[Member]) -> Value

An object. The constructor copies members.

fn Value::string(text : String) -> Value

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

pub(all) enum ValueKind {
  Object(ReadOnlyArray[Member])
  Array(ReadOnlyArray[Value])
  String(Str)
  Number(String)
  Boolean(Bool)
  Null
} derive(Eq, @moonbitlang/core/debug.Debug)

The kind and content of one JSON value.

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

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

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

let diagnostic_codes : ReadOnlyArray[String]

The stable diagnostic codes of the JSON reader, writer and converter.

fn print_body(document : Document, limits? : @moonrockz/diagrams-plantuml/envelope.Limits) -> Result[String, ReadOnlyArray[@moonrockz/diagrams.Diagnostic]]

Write the canonical body of a JSON block: one #highlight line for each selector, then the value. Every line ends with a line break. The text has no block markers and no shared statements. On error there is no output.

fn print_value(value : Value, limits? : @moonrockz/diagrams-plantuml/envelope.Limits) -> Result[String, ReadOnlyArray[@moonrockz/diagrams.Diagnostic]]

Write the canonical text of one value: two-space indentation, one member or element on each line, {} and [] for empty containers. The output has no trailing line break. Numbers keep their exact lexemes.

fn read(scan : @moonrockz/diagrams-plantuml/envelope.Scan, limits? : @moonrockz/diagrams-plantuml/envelope.Limits) -> ReadResult

Read the JSON body of a scanned block. The reader keeps every member occurrence in order, exact number lexemes and decoded strings with their spellings. It follows the pinned PlantUML profile: a // comment can stand only before a member name or after a member value; malformed input is refused with a diagnostic, never coerced.

fn to_data_tree(document : Document, id? : String, limits? : @moonrockz/diagrams-plantuml/envelope.Limits) -> Conversion

Convert a JSON document to a structured-data model. Identities come from ordered ownership paths: the root value is v, member 2 of the value of root member 0 is m/0/2 and its value is v/0/2. Names and scalar text never define identity, so repeated members stay separate.

The model keeps a scalar root and empty root containers as they are. PlantUML 1.2026.9 draws a scalar root as a one-element array and an empty root container as an array with one empty string; this library does not copy that projection. The title is the last title statement.