simple-zanzibar 0.3.0

A simplified Rust implementation of Google's Zanzibar authorization system with DSL support
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

WHITESPACE = _{ " " | "\t" | "\r" | "\n" }
COMMENT = _{ "//" ~ (!"\n" ~ ANY)* }

IDENTIFIER = @{ (ASCII_ALPHA | "_") ~ (ASCII_ALPHANUMERIC | "_")* }
STRING_LITERAL = @{ "\"" ~ (!"\"" ~ ANY)* ~ "\"" }

NAMESPACE = { "namespace" }
RELATION = { "relation" }
REWRITE = { "rewrite" }
THIS = { "this" }
COMPUTED_USERSET = { "computed_userset" }
TUPLE_TO_USERSET = { "tuple_to_userset" }
UNION = { "union" }
INTERSECTION = { "intersection" }
EXCLUSION = { "exclusion" }

file = { SOI ~ namespace_def* ~ EOI }

namespace_def = {
    NAMESPACE ~ IDENTIFIER ~ "{" ~ relation_def* ~ "}"
}

relation_def = {
    RELATION ~ IDENTIFIER ~ "{" ~ rewrite_rule? ~ "}"
}

rewrite_rule = {
    REWRITE ~ expression
}

expression = {
    union_expr | intersection_expr | exclusion_expr | term
}

term = {
    this_expr | computed_userset_expr | tuple_to_userset_expr | "(" ~ expression ~ ")"
}

this_expr = { THIS }

computed_userset_expr = {
    COMPUTED_USERSET ~ "(" ~ "relation" ~ ":" ~ STRING_LITERAL ~ ")"
}

tuple_to_userset_expr = {
    TUPLE_TO_USERSET ~ "("
        ~ "tupleset" ~ ":" ~ STRING_LITERAL ~ ","
        ~ "computed_userset" ~ ":" ~ STRING_LITERAL
    ~ ")"
}

union_expr = {
    UNION ~ "(" ~ (expression ~ ("," ~ expression)*)? ~ ")"
}

intersection_expr = {
    INTERSECTION ~ "(" ~ (expression ~ ("," ~ expression)*)? ~ ")"
}

exclusion_expr = {
    EXCLUSION ~ "(" ~ expression ~ "," ~ expression ~ ")"
}