README
U
AggregateType
U
ApplyStatement
U
Column
U
Comment
U
CommentKind
U
Control
U
ControlStatement
U
Depth
U
Diagnostic
U
DocComment
U
EnterEvent
U
EntityType
U
EnumMember
U
EnumType
U
Event
U
EventReader
U
EventSource
U
Handler
U
IdlCst
U
IdlFile
U
InlineShape
U
Keyword
U
Label
U
LeaveEvent
U
Length
U
Line
U
Member
U
MemberTarget
U
MetadataStatement
U
Mixins
U
NamespaceStatement
U
Node
U
NodeKvp
U
NodePath
U
NodeRef
U
NodeValue
U
NumberLiteral
U
NumberValue
U
Offset
U
OperationProperty
U
OperationTarget
U
ParseError
U
ParseResult
U
PathStep
U
Piece
U
Position
U
Severity
U
Shape
U
ShapeId
U
ShapeKind
U
ShapeStatement
U
SimpleType
U
SourceText
U
Span
U
Statement
U
StatementCst
U
StatementKind
U
Step
U
Token
U
TokenKind
U
TokenStream
U
Trait
U
TraitBody
U
Tree
U
TreeCursor
U
Trivia
U
UseStatement
U
Version
U
Visitor
V
accept
V
diagnostic_description
V
fold
V
kind_table
V
parse
V
parse_idl
V
push_events
V
reduce
V
reduce_pruned
V
render_all
V
render_plain
V
render_short
V
render_terminal
V
render_terminal_to
V
tokenize
V
version
V
walk

#cst

The token stream grouped per statement. IdlCst::to_source() is the text byte for byte, also when the parser skipped a statement.

///|
test {
  let s = @scanner.tokenize_text("string Foo\n")
  let st = @cst.StatementCst::new(
    kind=Shape(Simple(String)),
    name=Some("Foo"),
    tokens=s.tokens,
  )
  inspect(@cst.IdlCst::new(s, [st]).to_source(), content="string Foo\n")
}

IdlCst

source

pub(all) struct IdlCst {
  tokens : ArrayView[@moonrockz/smithy-syntax/scanner.Token
Token]
  trivia : ArrayView[@moonrockz/smithy-syntax/scanner.Trivia
Trivia]
  statements : ArrayView[StatementCst]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Every token of a file, grouped per statement. statements tile tokens in order; trivia is the stream's trivia for a text with no token.

IdlCst::new

source

fn IdlCst::new(stream : @moonrockz/smithy-syntax/scanner.TokenStream
TokenStream, statements : Array[StatementCst]) -> IdlCst

The CST of a scanned stream with its statements.

IdlCst::skipped

source

fn IdlCst::skipped(self : IdlCst) -> Array[StatementCst]

The runs the parser skipped.

IdlCst::to_source

source

fn IdlCst::to_source(self : IdlCst) -> String

The scanned text, byte for byte.

StatementCst

source

pub(all) struct StatementCst {
  kind : StatementKind
  name : String?
  tokens : ArrayView[@moonrockz/smithy-syntax/scanner.Token
Token]
  span : @moonrockz/smithy-syntax/span.Span
Span
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

The tokens of one statement, with their trivia. name is the control key, metadata key, namespace, used shape ID, shape name or apply target; None for a skipped run. span runs from the first token's start to the last token's end, trivia excluded; empty at 0 with no token.

StatementCst::new

source

fn StatementCst::new(kind~ : StatementKind, name~ : String?, tokens~ : ArrayView[@moonrockz/smithy-syntax/scanner.Token
Token]) -> StatementCst

Group tokens as one statement; the span runs from the first token's start to the last token's end.

StatementCst::to_source

source

fn StatementCst::to_source(self : StatementCst) -> String

The text of the statement's tokens with their trivia.

StatementKind

source

pub(all) enum StatementKind {
  Control
  Metadata
  Namespace
  Use
  Shape(@moonrockz/smithy-syntax/ast.ShapeKind
ShapeKind)
  Apply
  Skipped
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)