|
0
|
1 <!doctype html>
|
|
|
2
|
|
|
3 <title>CodeMirror: Factor mode</title>
|
|
|
4 <meta charset="utf-8"/>
|
|
|
5 <link rel=stylesheet href="../../doc/docs.css">
|
|
|
6
|
|
|
7 <link href='http://fonts.googleapis.com/css?family=Droid+Sans+Mono' rel='stylesheet' type='text/css'>
|
|
|
8 <link rel="stylesheet" href="../../lib/codemirror.css">
|
|
|
9 <script src="../../lib/codemirror.js"></script>
|
|
|
10 <script src="../../addon/mode/simple.js"></script>
|
|
|
11 <script src="factor.js"></script>
|
|
|
12 <style>
|
|
|
13 .CodeMirror {
|
|
|
14 font-family: 'Droid Sans Mono', monospace;
|
|
|
15 font-size: 14px;
|
|
|
16 }
|
|
|
17 </style>
|
|
|
18 <div id=nav>
|
|
|
19 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
|
|
|
20
|
|
|
21 <ul>
|
|
|
22 <li><a href="../../index.html">Home</a>
|
|
|
23 <li><a href="../../doc/manual.html">Manual</a>
|
|
|
24 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
|
|
|
25 </ul>
|
|
|
26 <ul>
|
|
|
27 <li><a href="../index.html">Language modes</a>
|
|
|
28 <li><a class=active href="#">Factor</a>
|
|
|
29 </ul>
|
|
|
30 </div>
|
|
|
31
|
|
|
32 <article>
|
|
|
33
|
|
|
34 <h2>Factor mode</h2>
|
|
|
35
|
|
|
36 <form><textarea id="code" name="code">
|
|
|
37 ! Copyright (C) 2008 Slava Pestov.
|
|
|
38 ! See http://factorcode.org/license.txt for BSD license.
|
|
|
39
|
|
|
40 ! A simple time server
|
|
|
41
|
|
|
42 USING: accessors calendar calendar.format io io.encodings.ascii
|
|
|
43 io.servers kernel threads ;
|
|
|
44 IN: time-server
|
|
|
45
|
|
|
46 : handle-time-client ( -- )
|
|
|
47 now timestamp>rfc822 print ;
|
|
|
48
|
|
|
49 : <time-server> ( -- threaded-server )
|
|
|
50 ascii <threaded-server>
|
|
|
51 "time-server" >>name
|
|
|
52 1234 >>insecure
|
|
|
53 [ handle-time-client ] >>handler ;
|
|
|
54
|
|
|
55 : start-time-server ( -- )
|
|
|
56 <time-server> start-server drop ;
|
|
|
57
|
|
|
58 MAIN: start-time-server
|
|
|
59 </textarea>
|
|
|
60 </form>
|
|
|
61
|
|
|
62 <script>
|
|
|
63 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
|
|
|
64 lineNumbers: true,
|
|
|
65 lineWrapping: true,
|
|
|
66 indentUnit: 2,
|
|
|
67 tabSize: 2,
|
|
|
68 autofocus: true,
|
|
|
69 mode: "text/x-factor"
|
|
|
70 });
|
|
|
71 </script>
|
|
|
72 <p/>
|
|
|
73 <p>Simple mode that handles Factor Syntax (<a href="http://en.wikipedia.org/wiki/Factor_(programming_language)">Factor on Wikipedia</a>).</p>
|
|
|
74
|
|
|
75 <p><strong>MIME types defined:</strong> <code>text/x-factor</code>.</p>
|
|
|
76
|
|
|
77 </article>
|
