reproto-parser 0.3.36

reproto parser 
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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88

//! Package-level documentation.

use foo.bar "^2";
use foo.bar "^2" as bar;
use foo.bar as bar;

#[attribute]
tuple Tuple {
  #[attribute]
  a: double;
  b: double;
}

#[attribute]
#[reserved(foo)]
type Foo {
  #[attribute]
  boolean_type?: boolean;
  string_type?: string;
  datetime_type?: datetime;
  unsigned_32?: u32;
  unsigned_64?: u32;
  signed_32?: i32;
  signed_64?: i64;
  float_type?: float;
  double_type?: double;
  bytes_type?: bytes;
  any_type?: any;
  array_type?: [Foo];
  map_type?: {string: Foo};

  java {{
    public int hello() {
      return 42;
    }
  }}
}

#[attribute]
#[reserved(a)]
interface Bar {
  java {{
    default int hello() {
      return 42;
    }
  }}

  #[attribute]
  A as "foo" {
      name: string;
  }
}

#[attribute]
enum Baz as string {
  #[attribute]
  First as "first";
  Second as "second";
  Third as "third";
}

service Foo {
  /// UNKNOWN
  unknown();

  /// UNKNOWN
  unknown_return() -> Foo;

  /// UNKNOWN
  unknown_argument(request: Foo);

  /// UNARY
  unary(request: Foo) -> Foo;

  /// SERVER_STREMAING
  server_streaming(request: Foo) -> stream Foo;

  /// CLIENT_STREAMING
  client_streaming(request: stream Foo) -> Foo;

  /// BIDI_STREAMING
  #[http(method = "GET")]
  #[http(query_params = (foo, bar, baz), path = "/hello/{world}")]
  #[http]
  #[allow(nothing)]
  #[deny(everything)]
  bidi_streaming(request: stream Foo) -> stream Foo;
}