summaryrefslogtreecommitdiff
path: root/public/vendor/codemirror/mode/oz/index.html
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--public/vendor/codemirror/mode/oz/index.html59
1 files changed, 59 insertions, 0 deletions
diff --git a/public/vendor/codemirror/mode/oz/index.html b/public/vendor/codemirror/mode/oz/index.html
new file mode 100644
index 00000000..febd82a5
--- /dev/null
+++ b/public/vendor/codemirror/mode/oz/index.html
@@ -0,0 +1,59 @@
+<!doctype html>
+
+<title>CodeMirror: Oz mode</title>
+<meta charset="utf-8"/>
+<link rel=stylesheet href="../../doc/docs.css">
+
+<link rel="stylesheet" href="../../lib/codemirror.css">
+<script src="../../lib/codemirror.js"></script>
+<script src="oz.js"></script>
+<script type="text/javascript" src="../../addon/runmode/runmode.js"></script>
+<style>
+ .CodeMirror {border: 1px solid #aaa;}
+</style>
+<div id=nav>
+ <a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a>
+ <ul>
+ <li><a href="../../index.html">Home</a>
+ <li><a href="../../doc/manual.html">Manual</a>
+ <li><a href="https://github.com/codemirror/codemirror">Code</a>
+ </ul>
+ <ul>
+ <li><a href="../index.html">Language modes</a>
+ <li><a class=active href="#">Oz</a>
+ </ul>
+</div>
+
+<article>
+<h2>Oz mode</h2>
+<textarea id="code" name="code">
+declare
+fun {Ints N Max}
+ if N == Max then nil
+ else
+ {Delay 1000}
+ N|{Ints N+1 Max}
+ end
+end
+
+fun {Sum S Stream}
+ case Stream of nil then S
+ [] H|T then S|{Sum H+S T} end
+end
+
+local X Y in
+ thread X = {Ints 0 1000} end
+ thread Y = {Sum 0 X} end
+ {Browse Y}
+end
+</textarea>
+<p>MIME type defined: <code>text/x-oz</code>.</p>
+
+<script type="text/javascript">
+var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
+ lineNumbers: true,
+ mode: "text/x-oz",
+ readOnly: false
+});
+</script>
+</article>