File: json.xml

package info (click to toggle)
jedit 5.3.0%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 14,252 kB
  • ctags: 11,190
  • sloc: java: 98,480; xml: 94,070; makefile: 52; sh: 42; cpp: 6; python: 6
file content (29 lines) | stat: -rw-r--r-- 788 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
<?xml version="1.0"?>
<!DOCTYPE MODE SYSTEM "xmode.dtd">
<MODE>
	<PROPS>
		<!-- auto indent -->
		<PROPERTY NAME="indentOpenBrackets" VALUE="[{"/>
		<PROPERTY NAME="indentCloseBrackets" VALUE="}]"/>
		<PROPERTY NAME="contextInsensitive" VALUE="true"/>
	</PROPS>

	<RULES>
		<!-- mark numbers as DIGIT -->
		<SEQ_REGEXP HASH_CHARS="-0123456789." TYPE="DIGIT">[-]?\d+([.]\d*)?([eE][+-]?\d+)?</SEQ_REGEXP>

		<!-- mark strings as LITERAL1 -->
		<SPAN TYPE="LITERAL1" ESCAPE="\" NO_LINE_BREAK="TRUE">
			<BEGIN>"</BEGIN>
			<END>"</END>
		</SPAN>

		<!-- mark pair separator as OPERATOR -->
		<SEQ TYPE="OPERATOR">:</SEQ>

		<!-- mark these special values as LITERAL2 -->
		<SEQ TYPE="LITERAL2">true</SEQ>
		<SEQ TYPE="LITERAL2">false</SEQ>
		<SEQ TYPE="LITERAL2">null</SEQ>
	</RULES>
</MODE>