JaiaBot  1.12.0+7+gdc1e5561
JaiaBot micro-AUV software
option_extensions.proto
Go to the documentation of this file.
1 syntax = "proto2";
2 
3 import "google/protobuf/descriptor.proto";
4 
5 package jaia;
6 
7 message RestAPI
8 {
9  enum Presence
10  {
11  NOT_GUARANTEED = 0;
12  GUARANTEED = 1;
13  OMITTED = 2;
14  }
15  optional Presence presence = 1 [default = NOT_GUARANTEED];
16  optional string doc = 2;
17  message Example
18  {
19  required string request = 1;
20  required string response = 2;
21  }
22  optional Example example = 3;
23 }
24 
25 message FieldOptions
26 {
27  optional RestAPI rest_api = 1;
28 }
29 message MessageOptions {}
30 message EnumValueOptions
31 {
32  optional RestAPI rest_api = 1;
33 }
34 
35 extend .google.protobuf.FieldOptions
36 {
37  optional .jaia.FieldOptions field = 1191;
38 }
39 
40 extend .google.protobuf.MessageOptions
41 {
42  optional .jaia.MessageOptions msg = 1191;
43 }
44 
45 extend .google.protobuf.EnumValueOptions
46 {
47  optional .jaia.EnumValueOptions ev = 1191;
48 }