annotate .cms/lib/codemirror/mode/ttcn/index.html @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
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: TTCN 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="../../addon/edit/matchbrackets.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src="ttcn.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 .CodeMirror {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 border-top: 1px solid black;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 border-bottom: 1px solid black;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 </style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <a href="https://codemirror.net/5"><h1>CodeMirror</h1>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <img id=logo src="../../doc/logo.png" alt="">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 </a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <li><a class=active href="http://en.wikipedia.org/wiki/TTCN">TTCN</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 <h2>TTCN example</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 <div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 <textarea id="ttcn-code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 module Templates {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 /* import types from ASN.1 */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 import from Types language "ASN.1:1997" all;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 /* During the conversion phase from ASN.1 to TTCN-3 */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 /* - the minus sign (Message-Type) within the identifiers will be replaced by underscore (Message_Type)*/
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 /* - the ASN.1 identifiers matching a TTCN-3 keyword (objid) will be postfixed with an underscore (objid_)*/
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 // simple types
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 template SenderID localObjid := objid {itu_t(0) identified_organization(4) etsi(0)};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 // complex types
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 /* ASN.1 Message-Type mapped to TTCN-3 Message_Type */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 template Message receiveMsg(template (present) Message_Type p_messageType) := {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 header := p_messageType,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 body := ?
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 /* ASN.1 objid mapped to TTCN-3 objid_ */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 template Message sendInviteMsg := {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 header := inviteType,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 body := {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 /* optional fields may be assigned by omit or may be ignored/skipped */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 description := "Invite Message",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 data := 'FF'O,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 objid_ := localObjid
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 template Message sendAcceptMsg modifies sendInviteMsg := {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 header := acceptType,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 body := {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 description := "Accept Message"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 template Message sendErrorMsg modifies sendInviteMsg := {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 header := errorType,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 body := {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 description := "Error Message"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 template Message expectedErrorMsg := {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 header := errorType,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 body := ?
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 template Message expectedInviteMsg modifies expectedErrorMsg := {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 header := inviteType
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 template Message expectedAcceptMsg modifies expectedErrorMsg := {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 header := acceptType
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 } with { encode "BER:1997" }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 </textarea>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 var ttcnEditor = CodeMirror.fromTextArea(document.getElementById("ttcn-code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 matchBrackets: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 mode: "text/x-ttcn"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 ttcnEditor.setSize(600, 860);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 var mac = CodeMirror.keyMap.default == CodeMirror.keyMap.macDefault;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 CodeMirror.keyMap.default[(mac ? "Cmd" : "Ctrl") + "-Space"] = "autocomplete";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 <br/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 <p><strong>Language:</strong> Testing and Test Control Notation
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 (<a href="http://en.wikipedia.org/wiki/TTCN">TTCN</a>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 </p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 <p><strong>MIME types defined:</strong> <code>text/x-ttcn,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 text/x-ttcn3, text/x-ttcnpp</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 <br/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 <p>The development of this mode has been sponsored by <a href="http://www.ericsson.com/">Ericsson
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 </a>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 <p>Coded by Asmelash Tsegay Gebretsadkan </p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 </article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119