⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 rdql-parser.jj

📁 这是外国一个开源推理机
💻 JJ
📖 第 1 页 / 共 2 页
字号:
/*  Sesame - Storage and Querying architecture for RDF and RDF Schema *  Copyright (C) 2001-2005 Aduna * *  Contact: *  	Aduna *  	Prinses Julianaplein 14 b *  	3817 CS Amersfoort *  	The Netherlands *  	tel. +33 (0)33 465 99 87 *  	fax. +33 (0)33 465 99 87 * *  	http://aduna.biz/ *  	http://www.openrdf.org/ * *  This library is free software; you can redistribute it and/or *  modify it under the terms of the GNU Lesser General Public *  License as published by the Free Software Foundation; either *  version 2.1 of the License, or (at your option) any later version. * *  This library is distributed in the hope that it will be useful, *  but WITHOUT ANY WARRANTY; without even the implied warranty of *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU *  Lesser General Public License for more details. * *  You should have received a copy of the GNU Lesser General Public *  License along with this library; if not, write to the Free Software *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA *//* * RDQL parser file for JavaCC, a Java Compiler Compiler. JavaCC can be * downloaded from https://javacc.dev.java.net/ */options {	JAVA_UNICODE_ESCAPE=true;	UNICODE_INPUT=false;	STATIC=false;}PARSER_BEGIN(RdqlParser)package org.openrdf.sesame.query.rdql.parser;import java.util.ArrayList;import java.util.HashMap;import java.util.Iterator;import java.util.List;import java.util.Map;import org.openrdf.util.xml.XmlDatatypeUtil;import org.openrdf.vocabulary.OWL;import org.openrdf.vocabulary.RDF;import org.openrdf.vocabulary.RDFS;import org.openrdf.vocabulary.XmlSchema;import org.openrdf.model.Literal;import org.openrdf.model.URI;import org.openrdf.model.impl.LiteralImpl;import org.openrdf.model.impl.URIImpl;import org.openrdf.rio.ntriples.NTriplesUtil;import org.openrdf.sesame.query.TableQuery;import org.openrdf.sesame.sail.query.And;import org.openrdf.sesame.sail.query.BooleanConstant;import org.openrdf.sesame.sail.query.BooleanExpr;import org.openrdf.sesame.sail.query.GraphPattern;import org.openrdf.sesame.sail.query.Like;import org.openrdf.sesame.sail.query.LiteralExpr;import org.openrdf.sesame.sail.query.MathExpr;import org.openrdf.sesame.sail.query.Not;import org.openrdf.sesame.sail.query.Null;import org.openrdf.sesame.sail.query.Or;import org.openrdf.sesame.sail.query.ProjectionElem;import org.openrdf.sesame.sail.query.Query;import org.openrdf.sesame.sail.query.ResourceExpr;import org.openrdf.sesame.sail.query.SelectQuery;import org.openrdf.sesame.sail.query.StringCompare;import org.openrdf.sesame.sail.query.StringConstant;import org.openrdf.sesame.sail.query.TriplePattern;import org.openrdf.sesame.sail.query.ValueCompare;import org.openrdf.sesame.sail.query.ValueExpr;import org.openrdf.sesame.sail.query.Var;public class RdqlParser {/*----------+| Constants |+----------*/	public static final URI XSD_INTEGER = new URIImpl(XmlSchema.INTEGER);	public static final URI XSD_FLOAT = new URIImpl(XmlSchema.FLOAT);/*----------+| Variables |+----------*/	/**	 * Mapping of prefix to namespace.	 **/	protected Map _namespaces = new HashMap(16);	/**	 * List of shared variables. Named variables are shared; multiple	 * occurrences of the name of one variable in a query represent	 * the same variable.	 **/	protected List _sharedVars = new ArrayList(16);	/**	 * Anonymous variable identifier.	 **/	protected int _varNo = 0;/*-------------------------------+| Methods                        |+-------------------------------*/	/**	 * Adds a mapping from the specified prefix to the specified	 * namespace. The specified prefix must already be mapped to some	 * (other) namespace.	 *	 * @return true if the mapping has been added, false otherwise.	 * @exception ParseException If the specified prefix is already	 * mapped to some (other) namespace.	 **/	protected void _setNamespacePrefix(String prefix, String namespace)		throws ParseException	{		if (_namespaces.containsKey(prefix)) {			// Prefix already defined, report this error.			throw new ParseException("Prefix \"" + prefix + "\" already in use.");		}		_namespaces.put(prefix, namespace);	}	/**	 * Gets the namespace that is mapped to the supplied prefix.	 **/	protected String _getNamespace(String prefix) {		String result = (String)_namespaces.get(prefix);		// rdf, rdfs, xsd and owl are default		// namespace when not defined explicitly.		if (result == null) {			if ("rdf".equals(prefix)) {				result = RDF.NAMESPACE;			}			else if ("rdfs".equals(prefix)) {				result = RDFS.NAMESPACE;			}			else if ("xsd".equals(prefix)) {				result = XmlSchema.NAMESPACE;			}			else if ("owl".equals(prefix)) {				result = OWL.NAMESPACE;			}		}		return result;	}	/**	 * Returns the shared instance of Var that is associated with the	 * specified variable name. A new shared variable will be created	 * whenever this method is called with a new variable name.	 **/	protected Var _getSharedVar(String varName) {		Var var;		// Search for a variable with the supplied name in _sharedVars		Iterator i = _sharedVars.iterator();		while (i.hasNext()) {			var = (Var)i.next();			if (var.getName().equals(varName)) {				// Variable found				return var;			}		}		// Variable does not exist; create one and add it to a number of lists		var = new Var(varName);		_sharedVars.add(var);		return var;	}	/**	 * Creates a new anonymous variable and returns it.	 **/	protected Var _createAnonymousVar() {		Var result = new Var("_" + _varNo++);		result.setAnonymous(true);		return result;	}	/**	 * Parses a string representating of full or abbreviated URI and	 * creates a URI object from it.	 **/	protected URI _parseURI(String uri)		throws ParseException	{		if (uri.startsWith("<")) {			return _parseQuotedURI(uri);		}		else {			return _parseQName(uri);		}	}	/**	 * Parses a quoted URI (i.e. <tt>&lt;http://foo/bar&gt;</tt>) and creates a	 * URI object for it.	 **/	protected URI _parseQuotedURI(String uri)		throws ParseException	{		// Full URI starts with "<" and ends with ">", remove these characters.		try {			uri = uri.substring(1, uri.length() - 1);			// Substitute any prefixes with their associated namespace			int colonIdx = uri.indexOf(':');			if (colonIdx > 0) {				String prefix = uri.substring(0, colonIdx);				String localName = uri.substring(colonIdx + 1);				String namespace = _getNamespace(prefix);				if (namespace != null) {					// Rebuild URI using namespace and localname					uri = namespace + localName;				}			}			return new URIImpl(uri);		}		catch (IllegalArgumentException e) {			// Not a valid, fully qualified URI			throw new ParseException(e.getMessage());		}	}	/**	 * Parses a string representing an abbreviated URI (i.e.	 * <tt>rdf:type</tt>) and creates a URI object for it.	 **/	protected URI _parseQName(String uri)		throws ParseException	{		// QNames have the form PREFIX:LNAME, substitute the PREFIX		// with an actual namespace.		int colonIdx = uri.indexOf(':');		String prefix = uri.substring(0, colonIdx);		String localName = uri.substring(colonIdx + 1);		String namespace = _getNamespace(prefix);		if (namespace == null) {			throw new ParseException("Prefix \"" + prefix + "\" not defined.");		}		return new URIImpl(namespace + localName);	}	/**	 * Parses a new Literal from the supplied String.	 **/	protected Literal _parseLiteral(String literal)		throws ParseException	{		// Find string separation points		int endLabelIdx = _findEndOfLabel(literal);		int startLangIdx = literal.indexOf("@", endLabelIdx);		int startDtIdx = literal.indexOf("^^", Math.max(endLabelIdx, startLangIdx));		// Get label		String label = literal.substring(1, endLabelIdx);		label = NTriplesUtil.unescapeString(label);		if (startLangIdx != -1) {			// Get language			String language = literal.substring(startLangIdx + 1);			return new LiteralImpl(label, language);		}		else if (startDtIdx != -1) {			// Get datatype			String dtString = literal.substring(startDtIdx + 2);			URI datatype = _parseURI(dtString);			// Normalize label when datatype is XML Schema built-in			if (XmlDatatypeUtil.isBuiltInDatatype(datatype.getURI())) {				try {					label = XmlDatatypeUtil.normalize(label, datatype.getURI());				}				catch (IllegalArgumentException e) {					throw new ParseException(e.getMessage());				}			}			return new LiteralImpl(label, datatype);		}		else {			return new LiteralImpl(label);		}	}	/**	 * Finds the end of the label in a literal string. This method	 * takes into account that characters can be escaped using	 * backslashes.	 *	 * @return The index of the double quote ending the label.	 **/	private int _findEndOfLabel(String literal)		throws ParseException	{		// First character of literal is guaranteed to be a double		// quote, start search at second character.		boolean previousWasBackslash = false;		for (int i = 1; i < literal.length(); i++) {			char c = literal.charAt(i);			if (c == '"' && !previousWasBackslash) {				return i;			}			else if (c == '\\' && !previousWasBackslash) {				// start of escape				previousWasBackslash = true;			}			else if (previousWasBackslash) {				// c was escaped				previousWasBackslash = false;			}		}		throw new ParseException("Could not find end of literal label");	}	/**	 * Creates a new ParseException with the supplied current and	 * expected tokens. See ParseException for details.	 **/	protected ParseException _createParseException(		Token currentTokenVal, String[] tokenImage)	{		// Append "<EOF>" in front of the supplied String array.		// ParseException.getMessage expects "<EOF>" as the first String		// in the String array.		int length = tokenImage.length;		// New String array has one element extra, therefore length of		// new String array is increased by one.		String[] newTokenImage = new String[length + 1];		// First element is "<EOF>"		newTokenImage[0] = "<EOF>";		// Copy Strings of the supplied String array to the new String array.		for (int i = 0; i < length; i++) {			newTokenImage[i +1] = tokenImage[i];		}		int[][] expectedTokenSequences = new int[1][length];		for (int i = 0; i < length; i++) {			expectedTokenSequences [0][i] = i +1;		}		return new ParseException(currentTokenVal, expectedTokenSequences, newTokenImage);	}}PARSER_END(RdqlParser)SKIP :{	" "|	"\t"|	"\n"|	"\r"|	"\f"|  <"//" (~["\n","\r"])* ("\n" | "\r" | "\r\n")?> // Single-line comment|  <"/*" (~["*"])* "*" ("*" | ~["*","/"] (~["*"])* "*")* "/"> // multi-line comment}// Comparision operators.TOKEN :{	<EQ: "=">|	<NE: "!=">|	<LT: "<">|	<LE: "<=">|	<GE: ">=">|	<GT: ">">|	<NOT: ("~"|"!")>|	<COLON: ":">|	<SC_OR: "||">|	<SC_AND: "&&">|	<PLUS: "+">|	<MINUS: "-">|	<STAR: "*">|	<SLASH: "/">|	<REM: "%">|	<STR_MATCH: ("=~"|"~~")>|	<STR_NMATCH: "!~">}// Special characters.TOKEN :{	<DOT: ".">|	<COMMA: ",">|	<SEMICOLON: ";">|	<LPAREN: "(">|	<RPAREN: ")">|	<LBRACK: "[">|	<RBRACK: "]">}// Keywords.TOKEN [IGNORE_CASE]:{	<SELECT: "select">|	<SOURCE: "source">|	<FROM: "from">|	<WHERE: "where">|	<SUCHTHAT: "and">|	<PREFIXES: "using">|	<FOR: "for">|	<STR_EQ: "eq">|	<STR_NE: "ne">}TOKEN :{	<TRUE: "true">|	<FALSE: "false">|	<NULL: "null">}TOKEN :{	<TEXT_LITERAL: <LIT_LABEL> (<LIT_LANG>|<LIT_DT>)?>|	<#LIT_LABEL: (<STRING1>|<STRING2>)>|	<#STRING1: "'"  ( ~["'","\\","\n","\r"] | <ESCAPED_CHAR> )* "'">|	<#STRING2: "\"" ( ~["\"","\\","\n","\r"] | <ESCAPED_CHAR> )* "\"">|	<#ESCAPED_CHAR: ("\\\\"|"\\\""|"\\'"|"\\\n"|"\\\r"|"\\\t"|<UNICODE_ESC>)>|	<#UNICODE_ESC: ("\\u" <HEX><HEX><HEX><HEX> | "\\U" <HEX><HEX><HEX><HEX><HEX><HEX><HEX><HEX>)>|	<#HEX: (["A"-"F", "a"-"f"] | <NUM>)>|	<#NUM: ["0"-"9"]>| 	<#LIT_LANG: "@" <LANG_TAG> ("-" <LANG_TAG>)*>|	<#LANG_TAG: <ALPHA> (<ALPHA>)*>|	<#ALPHA: ["a"-"z", "A"-"Z"]>|	<#LIT_DT: "^^" (<QUOTED_URI>|<QNAME>)>}// A very loose definition of URI.TOKEN :{	<QUOTED_URI: "<" (~[">"," ","\t","\n","\r"])* ">">}TOKEN :{	<QNAME: <NCNAME> ":" (<NCNAME>)?>}TOKEN :{	<VAR: "?" <NCNAME>>}// Definition of XML's NCName, see http://www.w3.org/TR/REC-xml-names/#NT-NCNameTOKEN :{	<NCNAME: (<LETTER>|"_") (<NCNAME_CHAR>)*>|	<#NCNAME_CHAR: (<LETTER>|<DIGIT>|"."|"-"|"_"|<COMBINING_CHAR>|<EXTENDER>)>|	<#LETTER: (<BASECHAR>|<IDEOGRAPHIC>)>|	<#BASECHAR:		["\u0041"-"\u005A"] | ["\u0061"-"\u007A"] | ["\u00C0"-"\u00D6"] | ["\u00D8"-"\u00F6"] | ["\u00F8"-"\u00FF"]	  | ["\u0100"-"\u0131"] | ["\u0134"-"\u013E"] | ["\u0141"-"\u0148"] | ["\u014A"-"\u017E"]	  | ["\u0180"-"\u01C3"] | ["\u01CD"-"\u01F0"] | ["\u01F4"-"\u01F5"] | ["\u01FA"-"\u0217"]	  | ["\u0250"-"\u02A8"] | ["\u02BB"-"\u02C1"] | "\u0386" | ["\u0388"-"\u038A"] | "\u038C"	  | ["\u038E"-"\u03A1"] | ["\u03A3"-"\u03CE"] | ["\u03D0"-"\u03D6"] | "\u03DA" | "\u03DC" | "\u03DE"	  | "\u03E0" | ["\u03E2"-"\u03F3"] | ["\u0401"-"\u040C"] | ["\u040E"-"\u044F"] | ["\u0451"-"\u045C"]	  | ["\u045E"-"\u0481"] | ["\u0490"-"\u04C4"] | ["\u04C7"-"\u04C8"] | ["\u04CB"-"\u04CC"]	  | ["\u04D0"-"\u04EB"] | ["\u04EE"-"\u04F5"] | ["\u04F8"-"\u04F9"] | ["\u0531"-"\u0556"] | "\u0559"	  | ["\u0561"-"\u0586"] | ["\u05D0"-"\u05EA"] | ["\u05F0"-"\u05F2"] | ["\u0621"-"\u063A"]	  | ["\u0641"-"\u064A"] | ["\u0671"-"\u06B7"] | ["\u06BA"-"\u06BE"] | ["\u06C0"-"\u06CE"]	  | ["\u06D0"-"\u06D3"] | "\u06D5" | ["\u06E5"-"\u06E6"] | ["\u0905"-"\u0939"] | "\u093D"	  | ["\u0958"-"\u0961"] | ["\u0985"-"\u098C"] | ["\u098F"-"\u0990"] | ["\u0993"-"\u09A8"]	  | ["\u09AA"-"\u09B0"] | "\u09B2" | ["\u09B6"-"\u09B9"] | ["\u09DC"-"\u09DD"] | ["\u09DF"-"\u09E1"]	  | ["\u09F0"-"\u09F1"] | ["\u0A05"-"\u0A0A"] | ["\u0A0F"-"\u0A10"] | ["\u0A13"-"\u0A28"]	  | ["\u0A2A"-"\u0A30"] | ["\u0A32"-"\u0A33"] | ["\u0A35"-"\u0A36"] | ["\u0A38"-"\u0A39"]	  | ["\u0A59"-"\u0A5C"] | "\u0A5E" | ["\u0A72"-"\u0A74"] | ["\u0A85"-"\u0A8B"] | "\u0A8D"	  | ["\u0A8F"-"\u0A91"] | ["\u0A93"-"\u0AA8"] | ["\u0AAA"-"\u0AB0"] | ["\u0AB2"-"\u0AB3"]	  | ["\u0AB5"-"\u0AB9"] | "\u0ABD" | "\u0AE0" | ["\u0B05"-"\u0B0C"] | ["\u0B0F"-"\u0B10"]	  | ["\u0B13"-"\u0B28"] | ["\u0B2A"-"\u0B30"] | ["\u0B32"-"\u0B33"] | ["\u0B36"-"\u0B39"] | "\u0B3D"	  | ["\u0B5C"-"\u0B5D"] | ["\u0B5F"-"\u0B61"] | ["\u0B85"-"\u0B8A"] | ["\u0B8E"-"\u0B90"]	  | ["\u0B92"-"\u0B95"] | ["\u0B99"-"\u0B9A"] | "\u0B9C" | ["\u0B9E"-"\u0B9F"] | ["\u0BA3"-"\u0BA4"]	  | ["\u0BA8"-"\u0BAA"] | ["\u0BAE"-"\u0BB5"] | ["\u0BB7"-"\u0BB9"] | ["\u0C05"-"\u0C0C"]	  | ["\u0C0E"-"\u0C10"] | ["\u0C12"-"\u0C28"] | ["\u0C2A"-"\u0C33"] | ["\u0C35"-"\u0C39"]	  | ["\u0C60"-"\u0C61"] | ["\u0C85"-"\u0C8C"] | ["\u0C8E"-"\u0C90"] | ["\u0C92"-"\u0CA8"]	  | ["\u0CAA"-"\u0CB3"] | ["\u0CB5"-"\u0CB9"] | "\u0CDE" | ["\u0CE0"-"\u0CE1"] | ["\u0D05"-"\u0D0C"]	  | ["\u0D0E"-"\u0D10"] | ["\u0D12"-"\u0D28"] | ["\u0D2A"-"\u0D39"] | ["\u0D60"-"\u0D61"]	  | ["\u0E01"-"\u0E2E"] | "\u0E30" | ["\u0E32"-"\u0E33"] | ["\u0E40"-"\u0E45"] | ["\u0E81"-"\u0E82"]	  | "\u0E84" | ["\u0E87"-"\u0E88"] | "\u0E8A" | "\u0E8D" | ["\u0E94"-"\u0E97"] | ["\u0E99"-"\u0E9F"]	  | ["\u0EA1"-"\u0EA3"] | "\u0EA5" | "\u0EA7" | ["\u0EAA"-"\u0EAB"] | ["\u0EAD"-"\u0EAE"] | "\u0EB0"	  | ["\u0EB2"-"\u0EB3"] | "\u0EBD" | ["\u0EC0"-"\u0EC4"] | ["\u0F40"-"\u0F47"] | ["\u0F49"-"\u0F69"]	  | ["\u10A0"-"\u10C5"] | ["\u10D0"-"\u10F6"] | "\u1100" | ["\u1102"-"\u1103"] | ["\u1105"-"\u1107"]	  | "\u1109" | ["\u110B"-"\u110C"] | ["\u110E"-"\u1112"] | "\u113C" | "\u113E" | "\u1140" | "\u114C"	  | "\u114E" | "\u1150" | ["\u1154"-"\u1155"] | "\u1159" | ["\u115F"-"\u1161"] | "\u1163" | "\u1165"	  | "\u1167" | "\u1169" | ["\u116D"-"\u116E"] | ["\u1172"-"\u1173"] | "\u1175" | "\u119E" | "\u11A8"	  | "\u11AB" | ["\u11AE"-"\u11AF"] | ["\u11B7"-"\u11B8"] | "\u11BA" | ["\u11BC"-"\u11C2"] | "\u11EB"	  | "\u11F0" | "\u11F9" | ["\u1E00"-"\u1E9B"] | ["\u1EA0"-"\u1EF9"] | ["\u1F00"-"\u1F15"]	  | ["\u1F18"-"\u1F1D"] | ["\u1F20"-"\u1F45"] | ["\u1F48"-"\u1F4D"] | ["\u1F50"-"\u1F57"] | "\u1F59"	  | "\u1F5B" | "\u1F5D" | ["\u1F5F"-"\u1F7D"] | ["\u1F80"-"\u1FB4"] | ["\u1FB6"-"\u1FBC"] | "\u1FBE"	  | ["\u1FC2"-"\u1FC4"] | ["\u1FC6"-"\u1FCC"] | ["\u1FD0"-"\u1FD3"] | ["\u1FD6"-"\u1FDB"]	  | ["\u1FE0"-"\u1FEC"] | ["\u1FF2"-"\u1FF4"] | ["\u1FF6"-"\u1FFC"] | "\u2126" | ["\u212A"-"\u212B"]	  | "\u212E" | ["\u2180"-"\u2182"] | ["\u3041"-"\u3094"] | ["\u30A1"-"\u30FA"] | ["\u3105"-"\u312C"]	  | ["\uAC00"-"\uD7A3"]>|	<#IDEOGRAPHIC: ["\u4E00"-"\u9FA5"] | "\u3007" | ["\u3021"-"\u3029"]>|	<#COMBINING_CHAR:		["\u0300"-"\u0345"] | ["\u0360"-"\u0361"] | ["\u0483"-"\u0486"] | ["\u0591"-"\u05A1"] | ["\u05A3"-"\u05B9"]	  | ["\u05BB"-"\u05BD"] | "\u05BF" | ["\u05C1"-"\u05C2"] | "\u05C4" | ["\u064B"-"\u0652"] | "\u0670"	  | ["\u06D6"-"\u06DC"] | ["\u06DD"-"\u06DF"] | ["\u06E0"-"\u06E4"] | ["\u06E7"-"\u06E8"]	  | ["\u06EA"-"\u06ED"] | ["\u0901"-"\u0903"] | "\u093C" | ["\u093E"-"\u094C"] | "\u094D"	  | ["\u0951"-"\u0954"] | ["\u0962"-"\u0963"] | ["\u0981"-"\u0983"] | "\u09BC" | "\u09BE" | "\u09BF"	  | ["\u09C0"-"\u09C4"] | ["\u09C7"-"\u09C8"] | ["\u09CB"-"\u09CD"] | "\u09D7" | ["\u09E2"-"\u09E3"]	  | "\u0A02" | "\u0A3C" | "\u0A3E" | "\u0A3F" | ["\u0A40"-"\u0A42"] | ["\u0A47"-"\u0A48"]	  | ["\u0A4B"-"\u0A4D"] | ["\u0A70"-"\u0A71"] | ["\u0A81"-"\u0A83"] | "\u0ABC" | ["\u0ABE"-"\u0AC5"]	  | ["\u0AC7"-"\u0AC9"] | ["\u0ACB"-"\u0ACD"] | ["\u0B01"-"\u0B03"] | "\u0B3C" | ["\u0B3E"-"\u0B43"]	  | ["\u0B47"-"\u0B48"] | ["\u0B4B"-"\u0B4D"] | ["\u0B56"-"\u0B57"] | ["\u0B82"-"\u0B83"]	  | ["\u0BBE"-"\u0BC2"] | ["\u0BC6"-"\u0BC8"] | ["\u0BCA"-"\u0BCD"] | "\u0BD7" | ["\u0C01"-"\u0C03"]	  | ["\u0C3E"-"\u0C44"] | ["\u0C46"-"\u0C48"] | ["\u0C4A"-"\u0C4D"] | ["\u0C55"-"\u0C56"]	  | ["\u0C82"-"\u0C83"] | ["\u0CBE"-"\u0CC4"] | ["\u0CC6"-"\u0CC8"] | ["\u0CCA"-"\u0CCD"]	  | ["\u0CD5"-"\u0CD6"] | ["\u0D02"-"\u0D03"] | ["\u0D3E"-"\u0D43"] | ["\u0D46"-"\u0D48"]	  | ["\u0D4A"-"\u0D4D"] | "\u0D57" | "\u0E31" | ["\u0E34"-"\u0E3A"] | ["\u0E47"-"\u0E4E"] | "\u0EB1"	  | ["\u0EB4"-"\u0EB9"] | ["\u0EBB"-"\u0EBC"] | ["\u0EC8"-"\u0ECD"] | ["\u0F18"-"\u0F19"] | "\u0F35"	  | "\u0F37" | "\u0F39" | "\u0F3E" | "\u0F3F" | ["\u0F71"-"\u0F84"] | ["\u0F86"-"\u0F8B"]	  | ["\u0F90"-"\u0F95"] | "\u0F97" | ["\u0F99"-"\u0FAD"] | ["\u0FB1"-"\u0FB7"] | "\u0FB9"	  | ["\u20D0"-"\u20DC"] | "\u20E1" | ["\u302A"-"\u302F"] | "\u3099" | "\u309A">|	<#DIGIT:		["\u0030"-"\u0039"] | ["\u0660"-"\u0669"] | ["\u06F0"-"\u06F9"] | ["\u0966"-"\u096F"] | ["\u09E6"-"\u09EF"]	  | ["\u0A66"-"\u0A6F"] | ["\u0AE6"-"\u0AEF"] | ["\u0B66"-"\u0B6F"] | ["\u0BE7"-"\u0BEF"]	  | ["\u0C66"-"\u0C6F"] | ["\u0CE6"-"\u0CEF"] | ["\u0D66"-"\u0D6F"] | ["\u0E50"-"\u0E59"]

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -