interact 0.3.6

A framework for online program state introspection
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

token_list = _{ (token)* }

token = _{
      identifier
    | nonnegative_decimal
    | decimal
    | string_literal
    | char_literal
    | range_access
    | range_access_inclusive
    | field_access
    | subscript_open
    | subscript_close
    | tuple_open
    | tuple_close
    | curly_open
    | curly_close
    | asterix
    | colon
    | assign
    | comma
    | invalid
}

identifier             = @{ (alpha | underscore) ~ (alphanumeric | underscore)* }
decimal                = @{ nonnegative_decimal | negative_decimal }
nonnegative_decimal    = @{ (nonzero ~ digit*) | digit }
string_literal         = @{ "\"" ~ literal_char* ~ "\"" }
char_literal           = @{ "\'" ~ single_literal_char ~ "\'" }

field_access           = { "." }
range_access           = { ".." }
assign                 = { "=" }
range_access_inclusive = { ".=" }

subscript_open         = { "[" }
subscript_close        = { "]" }

asterix                = { "*" }

curly_open             = { "{" }
curly_close            = { "}" }

tuple_open             = { "(" }
tuple_close            = { ")" }
colon                  = { ":" }

comma                  = { "," }
underscore             = { "_" }

invalid                = { ANY }

literal_char           = _{ escape_sequence | (!"\"" ~ ANY) }
single_literal_char    = _{ escape_sequence | (!"\'" ~ ANY) }

alpha                  = _{ 'a'..'z' | 'A'..'Z' }
alphanumeric           = _{ alpha | '0'..'9' }

negative_decimal       = _{ "-" ~ nonnegative_decimal }
digit                  = _{ "0" | nonzero }
nonzero                = _{ '1'..'9' }

escape_sequence        = _{ "\\\\" | "\\\"" | "\\\'" | "\\n" | "\\r" | "\\t" | "\\0" }

whitespace_char        = _{ " " | "\t" | "\u{000C}" | "\r" | "\n" }
WHITESPACE             = _{ (whitespace_char)+ }