Parser¶

[Source]

trait box Parser

Public Functions¶

parse¶

[Source]

fun box parse(
  source: Source val,
  offset: USize val = 0,
  tree: Bool val = true,
  hidden: Parser box = reference)
: (USize val , (AST val | Token val | NotPresent val | 
    Skipped val | Lex val | Parser box))

Parameters¶

source: Source val
offset: USize val = 0
tree: Bool val = true
hidden: Parser box = reference

Returns¶

(USize val , (AST val | Token val | NotPresent val | Skipped val | Lex val | Parser box))

error_msg¶

[Source]

fun box error_msg()
: String val

Returns¶

String val

skip_hidden¶

[Source]

Return a new start location, skipping over hidden tokens.

fun box skip_hidden(
  source: Source val,
  offset: USize val,
  hidden: Parser box)
: USize val

Parameters¶

source: Source val
offset: USize val
hidden: Parser box

Returns¶

USize val

result¶

[Source]

Once a terminal parser has an offset and length, it should call result to return either a token (if a tree is requested) or a new lexical position.

fun box result(
  source: Source val,
  offset: USize val,
  from: USize val,
  length: USize val,
  tree: Bool val,
  l: Label val = reference)
: (USize val , (AST val | Token val | NotPresent val | 
    Skipped val | Lex val | Parser box))

Parameters¶

source: Source val
offset: USize val
from: USize val
length: USize val
tree: Bool val
l: Label val = reference

Returns¶

(USize val , (AST val | Token val | NotPresent val | Skipped val | Lex val | Parser box))

mul¶

[Source]

fun box mul(
  that: Parser box)
: Sequence ref

Parameters¶

that: Parser box

Returns¶

Sequence ref

div¶

[Source]

fun box div(
  that: Parser box)
: Choice ref

Parameters¶

that: Parser box

Returns¶

Choice ref

neg¶

[Source]

fun box neg()
: Skip ref

Returns¶

Skip ref

opt¶

[Source]

fun box opt()
: Option ref

Returns¶

Option ref

many¶

[Source]

fun box many(
  sep: Parser box = reference)
: Many ref

Parameters¶

sep: Parser box = reference

Returns¶

Many ref

many1¶

[Source]

fun box many1(
  sep: Parser box = reference)
: Many ref

Parameters¶

sep: Parser box = reference

Returns¶

Many ref

op_not¶

[Source]

fun box op_not()
: Not ref

Returns¶

Not ref

op_and¶

[Source]

fun box op_and()
: Not ref

Returns¶

Not ref

hide¶

[Source]

fun box hide(
  that: Parser box)
: Hidden ref

Parameters¶

that: Parser box

Returns¶

Hidden ref

term¶

[Source]

fun box term(
  l: Label val = reference)
: Terminal ref

Parameters¶

l: Label val = reference

Returns¶

Terminal ref

eof¶

[Source]

fun box eof()
: EndOfFile ref

Returns¶

EndOfFile ref