annotate .cms/lib/codemirror/mode/ttcn-cfg/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: TTCN-CFG 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-cfg.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-CFG</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-CFG 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-cfg-code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 [MODULE_PARAMETERS]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 # This section shall contain the values of all parameters that are defined in your TTCN-3 modules.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 [LOGGING]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 # In this section you can specify the name of the log file and the classes of events
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 # you want to log into the file or display on console (standard error).
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 LogFile := "logs/%e.%h-%r.%s"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 FileMask := LOG_ALL | DEBUG | MATCHING
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 ConsoleMask := ERROR | WARNING | TESTCASE | STATISTICS | PORTEVENT
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 LogSourceInfo := Yes
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 AppendFile := No
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 TimeStampFormat := DateTime
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 LogEventTypes := Yes
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 SourceInfoFormat := Single
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 LogEntityName := Yes
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 [TESTPORT_PARAMETERS]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 # In this section you can specify parameters that are passed to Test Ports.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 [DEFINE]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 # In this section you can create macro definitions,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 # that can be used in other configuration file sections except [INCLUDE].
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 [INCLUDE]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 # To use configuration settings given in other configuration files,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 # the configuration files just need to be listed in this section, with their full or relative pathnames.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 [EXTERNAL_COMMANDS]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 # This section can define external commands (shell scripts) to be executed by the ETS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 # whenever a control part or test case is started or terminated.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 BeginTestCase := ""
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 EndTestCase := ""
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 BeginControlPart := ""
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 EndControlPart := ""
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 [EXECUTE]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 # In this section you can specify what parts of your test suite you want to execute.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 [GROUPS]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 # In this section you can specify groups of hosts. These groups can be used inside the
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 # [COMPONENTS] section to restrict the creation of certain PTCs to a given set of hosts.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 [COMPONENTS]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 # This section consists of rules restricting the location of created PTCs.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 [MAIN_CONTROLLER]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 # The options herein control the behavior of MC.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 TCPPort := 0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 KillTimer := 10.0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 NumHCs := 0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 LocalAddress :=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 </textarea>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 var ttcnEditor = CodeMirror.fromTextArea(document.getElementById("ttcn-cfg-code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 matchBrackets: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 mode: "text/x-ttcn-cfg"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 ttcnEditor.setSize(600, 860);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 var mac = CodeMirror.keyMap.default == CodeMirror.keyMap.macDefault;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 CodeMirror.keyMap.default[(mac ? "Cmd" : "Ctrl") + "-Space"] = "autocomplete";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 <br/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 <p><strong>Language:</strong> Testing and Test Control Notation -
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 Configuration files
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 (<a href="http://en.wikipedia.org/wiki/TTCN">TTCN-CFG</a>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 </p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 <p><strong>MIME types defined:</strong> <code>text/x-ttcn-cfg</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 <br/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 <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
113 </a>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 <p>Coded by Asmelash Tsegay Gebretsadkan </p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 </article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116