annotate .cms/lib/codemirror/mode/protobuf/index.html @ 0:78edf6b517a0 draft

24.10
author Coffee CMS <info@coffee-cms.ru>
date Fri, 11 Oct 2024 22:40:23 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 <!doctype html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <title>CodeMirror: ProtoBuf mode</title>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <meta charset="utf-8"/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 <link rel=stylesheet href="../../doc/docs.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <link rel="stylesheet" href="../../lib/codemirror.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <script src="../../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="protobuf.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <style>.CodeMirror { border-top: 1px solid #ddd; border-bottom: 1px solid #ddd; }</style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <li><a class=active href="#">ProtoBuf</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 <h2>ProtoBuf mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <form><textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 package addressbook;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 message Address {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 required string street = 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 required string postCode = 2;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 message PhoneNumber {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 required string number = 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 message Person {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 optional int32 id = 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 required string name = 2;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 required string surname = 3;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 optional Address address = 4;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 repeated PhoneNumber phoneNumbers = 5;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 optional uint32 age = 6;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 repeated uint32 favouriteNumbers = 7;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 optional string license = 8;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 enum Gender {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 MALE = 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 FEMALE = 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 optional Gender gender = 9;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 optional fixed64 lastUpdate = 10;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 required bool deleted = 11 [default = false];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 </textarea>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 <textarea id="code2" name="code2">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 syntax = "proto3";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 package tutorial;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 import "google/protobuf/timestamp.proto";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 option java_package = "com.example.tutorial";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 option java_outer_classname = "AddressBookProtos";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 option csharp_namespace = "Google.Protobuf.Examples.AddressBook";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 message Person {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 string name = 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 int32 id = 2; // Unique ID number for this person.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 string email = 3;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 enum PhoneType {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 MOBILE = 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 HOME = 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 WORK = 2;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 message PhoneNumber {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 string number = 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 PhoneType type = 2;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 repeated PhoneNumber phones = 4;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 google.protobuf.Timestamp last_updated = 5;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 // Our address book file is just one of these.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 message AddressBook {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 repeated Person people = 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 service Test {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 rpc SayHello (HelloRequest) returns (HelloReply) {}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 rpc SayHelloAgain (HelloRequest) returns (HelloReply) {}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 }</textarea>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 </form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 var editor = CodeMirror.fromTextArea(document.getElementById("code2"), {});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 <p><strong>MIME types defined:</strong> <code>text/x-protobuf</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 </article>