mirror of
https://github.com/renbaoshuo/S2OJ.git
synced 2024-12-23 17:31:51 +00:00
96d4a3ecf7
Due to historical reasons, the code is in subfolder "1". With SVN removal, we place the code back and remove the annoying "1" folder.
211 lines
8.4 KiB
HTML
211 lines
8.4 KiB
HTML
<!doctype html>
|
|
|
|
<title>CodeMirror: XQuery mode</title>
|
|
<meta charset="utf-8"/>
|
|
<link rel=stylesheet href="../../doc/docs.css">
|
|
|
|
<link rel="stylesheet" href="../../lib/codemirror.css">
|
|
<link rel="stylesheet" href="../../theme/xq-dark.css">
|
|
<script src="../../lib/codemirror.js"></script>
|
|
<script src="xquery.js"></script>
|
|
<style type="text/css">
|
|
.CodeMirror {
|
|
border-top: 1px solid black; border-bottom: 1px solid black;
|
|
height:400px;
|
|
}
|
|
</style>
|
|
<div id=nav>
|
|
<a href="http://codemirror.net"><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/marijnh/codemirror">Code</a>
|
|
</ul>
|
|
<ul>
|
|
<li><a href="../index.html">Language modes</a>
|
|
<li><a class=active href="#">XQuery</a>
|
|
</ul>
|
|
</div>
|
|
|
|
<article>
|
|
<h2>XQuery mode</h2>
|
|
|
|
|
|
<div class="cm-s-default">
|
|
<textarea id="code" name="code">
|
|
xquery version "1.0-ml";
|
|
(: this is
|
|
: a
|
|
"comment" :)
|
|
let $let := <x attr="value">"test"<func>function() $var {function()} {$var}</func></x>
|
|
let $joe:=1
|
|
return element element {
|
|
attribute attribute { 1 },
|
|
element test { 'a' },
|
|
attribute foo { "bar" },
|
|
fn:doc()[ foo/@bar eq $let ],
|
|
//x }
|
|
|
|
(: a more 'evil' test :)
|
|
(: Modified Blakeley example (: with nested comment :) ... :)
|
|
declare private function local:declare() {()};
|
|
declare private function local:private() {()};
|
|
declare private function local:function() {()};
|
|
declare private function local:local() {()};
|
|
let $let := <let>let $let := "let"</let>
|
|
return element element {
|
|
attribute attribute { try { xdmp:version() } catch($e) { xdmp:log($e) } },
|
|
attribute fn:doc { "bar" castable as xs:string },
|
|
element text { text { "text" } },
|
|
fn:doc()[ child::eq/(@bar | attribute::attribute) eq $let ],
|
|
//fn:doc
|
|
}
|
|
|
|
|
|
|
|
xquery version "1.0-ml";
|
|
|
|
(: Copyright 2006-2010 Mark Logic Corporation. :)
|
|
|
|
(:
|
|
: Licensed under the Apache License, Version 2.0 (the "License");
|
|
: you may not use this file except in compliance with the License.
|
|
: You may obtain a copy of the License at
|
|
:
|
|
: http://www.apache.org/licenses/LICENSE-2.0
|
|
:
|
|
: Unless required by applicable law or agreed to in writing, software
|
|
: distributed under the License is distributed on an "AS IS" BASIS,
|
|
: WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
: See the License for the specific language governing permissions and
|
|
: limitations under the License.
|
|
:)
|
|
|
|
module namespace json = "http://marklogic.com/json";
|
|
declare default function namespace "http://www.w3.org/2005/xpath-functions";
|
|
|
|
(: Need to backslash escape any double quotes, backslashes, and newlines :)
|
|
declare function json:escape($s as xs:string) as xs:string {
|
|
let $s := replace($s, "\\", "\\\\")
|
|
let $s := replace($s, """", "\\""")
|
|
let $s := replace($s, codepoints-to-string((13, 10)), "\\n")
|
|
let $s := replace($s, codepoints-to-string(13), "\\n")
|
|
let $s := replace($s, codepoints-to-string(10), "\\n")
|
|
return $s
|
|
};
|
|
|
|
declare function json:atomize($x as element()) as xs:string {
|
|
if (count($x/node()) = 0) then 'null'
|
|
else if ($x/@type = "number") then
|
|
let $castable := $x castable as xs:float or
|
|
$x castable as xs:double or
|
|
$x castable as xs:decimal
|
|
return
|
|
if ($castable) then xs:string($x)
|
|
else error(concat("Not a number: ", xdmp:describe($x)))
|
|
else if ($x/@type = "boolean") then
|
|
let $castable := $x castable as xs:boolean
|
|
return
|
|
if ($castable) then xs:string(xs:boolean($x))
|
|
else error(concat("Not a boolean: ", xdmp:describe($x)))
|
|
else concat('"', json:escape($x), '"')
|
|
};
|
|
|
|
(: Print the thing that comes after the colon :)
|
|
declare function json:print-value($x as element()) as xs:string {
|
|
if (count($x/*) = 0) then
|
|
json:atomize($x)
|
|
else if ($x/@quote = "true") then
|
|
concat('"', json:escape(xdmp:quote($x/node())), '"')
|
|
else
|
|
string-join(('{',
|
|
string-join(for $i in $x/* return json:print-name-value($i), ","),
|
|
'}'), "")
|
|
};
|
|
|
|
(: Print the name and value both :)
|
|
declare function json:print-name-value($x as element()) as xs:string? {
|
|
let $name := name($x)
|
|
let $first-in-array :=
|
|
count($x/preceding-sibling::*[name(.) = $name]) = 0 and
|
|
(count($x/following-sibling::*[name(.) = $name]) > 0 or $x/@array = "true")
|
|
let $later-in-array := count($x/preceding-sibling::*[name(.) = $name]) > 0
|
|
return
|
|
|
|
if ($later-in-array) then
|
|
() (: I was handled previously :)
|
|
else if ($first-in-array) then
|
|
string-join(('"', json:escape($name), '":[',
|
|
string-join((for $i in ($x, $x/following-sibling::*[name(.) = $name]) return json:print-value($i)), ","),
|
|
']'), "")
|
|
else
|
|
string-join(('"', json:escape($name), '":', json:print-value($x)), "")
|
|
};
|
|
|
|
(:~
|
|
Transforms an XML element into a JSON string representation. See http://json.org.
|
|
<p/>
|
|
Sample usage:
|
|
<pre>
|
|
xquery version "1.0-ml";
|
|
import module namespace json="http://marklogic.com/json" at "json.xqy";
|
|
json:serialize(&lt;foo&gt;&lt;bar&gt;kid&lt;/bar&gt;&lt;/foo&gt;)
|
|
</pre>
|
|
Sample transformations:
|
|
<pre>
|
|
&lt;e/&gt; becomes {"e":null}
|
|
&lt;e&gt;text&lt;/e&gt; becomes {"e":"text"}
|
|
&lt;e&gt;quote " escaping&lt;/e&gt; becomes {"e":"quote \" escaping"}
|
|
&lt;e&gt;backslash \ escaping&lt;/e&gt; becomes {"e":"backslash \\ escaping"}
|
|
&lt;e&gt;&lt;a&gt;text1&lt;/a&gt;&lt;b&gt;text2&lt;/b&gt;&lt;/e&gt; becomes {"e":{"a":"text1","b":"text2"}}
|
|
&lt;e&gt;&lt;a&gt;text1&lt;/a&gt;&lt;a&gt;text2&lt;/a&gt;&lt;/e&gt; becomes {"e":{"a":["text1","text2"]}}
|
|
&lt;e&gt;&lt;a array="true"&gt;text1&lt;/a&gt;&lt;/e&gt; becomes {"e":{"a":["text1"]}}
|
|
&lt;e&gt;&lt;a type="boolean"&gt;false&lt;/a&gt;&lt;/e&gt; becomes {"e":{"a":false}}
|
|
&lt;e&gt;&lt;a type="number"&gt;123.5&lt;/a&gt;&lt;/e&gt; becomes {"e":{"a":123.5}}
|
|
&lt;e quote="true"&gt;&lt;div attrib="value"/&gt;&lt;/e&gt; becomes {"e":"&lt;div attrib=\"value\"/&gt;"}
|
|
</pre>
|
|
<p/>
|
|
Namespace URIs are ignored. Namespace prefixes are included in the JSON name.
|
|
<p/>
|
|
Attributes are ignored, except for the special attribute @array="true" that
|
|
indicates the JSON serialization should write the node, even if single, as an
|
|
array, and the attribute @type that can be set to "boolean" or "number" to
|
|
dictate the value should be written as that type (unquoted). There's also
|
|
an @quote attribute that when set to true writes the inner content as text
|
|
rather than as structured JSON, useful for sending some XHTML over the
|
|
wire.
|
|
<p/>
|
|
Text nodes within mixed content are ignored.
|
|
|
|
@param $x Element node to convert
|
|
@return String holding JSON serialized representation of $x
|
|
|
|
@author Jason Hunter
|
|
@version 1.0.1
|
|
|
|
Ported to xquery 1.0-ml; double escaped backslashes in json:escape
|
|
:)
|
|
declare function json:serialize($x as element()) as xs:string {
|
|
string-join(('{', json:print-name-value($x), '}'), "")
|
|
};
|
|
</textarea>
|
|
</div>
|
|
|
|
<script>
|
|
var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
|
|
lineNumbers: true,
|
|
matchBrackets: true,
|
|
theme: "xq-dark"
|
|
});
|
|
</script>
|
|
|
|
<p><strong>MIME types defined:</strong> <code>application/xquery</code>.</p>
|
|
|
|
<p>Development of the CodeMirror XQuery mode was sponsored by
|
|
<a href="http://marklogic.com">MarkLogic</a> and developed by
|
|
<a href="https://twitter.com/mbrevoort">Mike Brevoort</a>.
|
|
</p>
|
|
|
|
</article>
|