annotate .cms/lib/codemirror/mode/erlang/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: Erlang 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 <link rel="stylesheet" href="../../theme/erlang-dark.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="../../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src="../../addon/edit/matchbrackets.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <script src="erlang.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <style>.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <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
15
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <li><a class=active href="#">Erlang</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <h2>Erlang mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <form><textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 %% -*- mode: erlang; erlang-indent-level: 2 -*-
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 %%% Created : 7 May 2012 by mats cronqvist <masse@klarna.com>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 %% @doc
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 %% Demonstrates how to print a record.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 %% @end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 -module('ex').
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 -author('mats cronqvist').
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 -export([demo/0,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 rec_info/1]).
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 -record(demo,{a="One",b="Two",c="Three",d="Four"}).
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 rec_info(demo) -> record_info(fields,demo).
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 demo() -> expand_recs(?MODULE,#demo{a="A",b="BB"}).
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 expand_recs(M,List) when is_list(List) ->
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 [expand_recs(M,L)||L<-List];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 expand_recs(M,Tup) when is_tuple(Tup) ->
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 case tuple_size(Tup) of
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 L when L < 1 -> Tup;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 L ->
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 try
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 Fields = M:rec_info(element(1,Tup)),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 L = length(Fields)+1,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 lists:zip(Fields,expand_recs(M,tl(tuple_to_list(Tup))))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 catch
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 _:_ -> list_to_tuple(expand_recs(M,tuple_to_list(Tup)))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 end;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 expand_recs(_,Term) ->
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 Term.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 </textarea></form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 matchBrackets: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 extraKeys: {"Tab": "indentAuto"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 theme: "erlang-dark"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 <p><strong>MIME types defined:</strong> <code>text/x-erlang</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 </article>