mirror of
https://github.com/renbaoshuo/S2OJ.git
synced 2024-11-27 09:26:21 +00:00
234 lines
17 KiB
JavaScript
234 lines
17 KiB
JavaScript
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
|
// Distributed under an MIT license: http://codemirror.net/LICENSE
|
|
|
|
(function(mod) {
|
|
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
|
mod(require("../../lib/codemirror"), require("../htmlmixed/htmlmixed"), require("../clike/clike"));
|
|
else if (typeof define == "function" && define.amd) // AMD
|
|
define(["../../lib/codemirror", "../htmlmixed/htmlmixed", "../clike/clike"], mod);
|
|
else // Plain browser env
|
|
mod(CodeMirror);
|
|
})(function(CodeMirror) {
|
|
"use strict";
|
|
|
|
function keywords(str) {
|
|
var obj = {}, words = str.split(" ");
|
|
for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
|
|
return obj;
|
|
}
|
|
function heredoc(delim) {
|
|
return function(stream, state) {
|
|
if (stream.match(delim)) state.tokenize = null;
|
|
else stream.skipToEnd();
|
|
return "string";
|
|
};
|
|
}
|
|
|
|
// Helper for stringWithEscapes
|
|
function matchSequence(list) {
|
|
if (list.length == 0) return stringWithEscapes;
|
|
return function (stream, state) {
|
|
var patterns = list[0];
|
|
for (var i = 0; i < patterns.length; i++) if (stream.match(patterns[i][0])) {
|
|
state.tokenize = matchSequence(list.slice(1));
|
|
return patterns[i][1];
|
|
}
|
|
state.tokenize = stringWithEscapes;
|
|
return "string";
|
|
};
|
|
}
|
|
function stringWithEscapes(stream, state) {
|
|
var escaped = false, next, end = false;
|
|
|
|
if (stream.current() == '"') return "string";
|
|
|
|
// "Complex" syntax
|
|
if (stream.match("${", false) || stream.match("{$", false)) {
|
|
state.tokenize = null;
|
|
return "string";
|
|
}
|
|
|
|
// Simple syntax
|
|
if (stream.match(/\$[a-zA-Z_][a-zA-Z0-9_]*/)) {
|
|
// After the variable name there may appear array or object operator.
|
|
if (stream.match("[", false)) {
|
|
// Match array operator
|
|
state.tokenize = matchSequence([
|
|
[["[", null]],
|
|
[[/\d[\w\.]*/, "number"],
|
|
[/\$[a-zA-Z_][a-zA-Z0-9_]*/, "variable-2"],
|
|
[/[\w\$]+/, "variable"]],
|
|
[["]", null]]
|
|
]);
|
|
}
|
|
if (stream.match(/\-\>\w/, false)) {
|
|
// Match object operator
|
|
state.tokenize = matchSequence([
|
|
[["->", null]],
|
|
[[/[\w]+/, "variable"]]
|
|
]);
|
|
}
|
|
return "variable-2";
|
|
}
|
|
|
|
// Normal string
|
|
while (
|
|
!stream.eol() &&
|
|
(!stream.match("{$", false)) &&
|
|
(!stream.match(/(\$[a-zA-Z_][a-zA-Z0-9_]*|\$\{)/, false) || escaped)
|
|
) {
|
|
next = stream.next();
|
|
if (!escaped && next == '"') { end = true; break; }
|
|
escaped = !escaped && next == "\\";
|
|
}
|
|
if (end) {
|
|
state.tokenize = null;
|
|
state.phpEncapsStack.pop();
|
|
}
|
|
return "string";
|
|
}
|
|
|
|
var phpKeywords = "abstract and array as break case catch class clone const continue declare default " +
|
|
"do else elseif enddeclare endfor endforeach endif endswitch endwhile extends final " +
|
|
"for foreach function global goto if implements interface instanceof namespace " +
|
|
"new or private protected public static switch throw trait try use var while xor " +
|
|
"die echo empty exit eval include include_once isset list require require_once return " +
|
|
"print unset __halt_compiler self static parent yield insteadof finally";
|
|
var phpAtoms = "true false null TRUE FALSE NULL __CLASS__ __DIR__ __FILE__ __LINE__ __METHOD__ __FUNCTION__ __NAMESPACE__ __TRAIT__";
|
|
var phpBuiltin = "func_num_args func_get_arg func_get_args strlen strcmp strncmp strcasecmp strncasecmp each error_reporting define defined trigger_error user_error set_error_handler restore_error_handler get_declared_classes get_loaded_extensions extension_loaded get_extension_funcs debug_backtrace constant bin2hex hex2bin sleep usleep time mktime gmmktime strftime gmstrftime strtotime date gmdate getdate localtime checkdate flush wordwrap htmlspecialchars htmlentities html_entity_decode md5 md5_file crc32 getimagesize image_type_to_mime_type phpinfo phpversion phpcredits strnatcmp strnatcasecmp substr_count strspn strcspn strtok strtoupper strtolower strpos strrpos strrev hebrev hebrevc nl2br basename dirname pathinfo stripslashes stripcslashes strstr stristr strrchr str_shuffle str_word_count strcoll substr substr_replace quotemeta ucfirst ucwords strtr addslashes addcslashes rtrim str_replace str_repeat count_chars chunk_split trim ltrim strip_tags similar_text explode implode setlocale localeconv parse_str str_pad chop strchr sprintf printf vprintf vsprintf sscanf fscanf parse_url urlencode urldecode rawurlencode rawurldecode readlink linkinfo link unlink exec system escapeshellcmd escapeshellarg passthru shell_exec proc_open proc_close rand srand getrandmax mt_rand mt_srand mt_getrandmax base64_decode base64_encode abs ceil floor round is_finite is_nan is_infinite bindec hexdec octdec decbin decoct dechex base_convert number_format fmod ip2long long2ip getenv putenv getopt microtime gettimeofday getrusage uniqid quoted_printable_decode set_time_limit get_cfg_var magic_quotes_runtime set_magic_quotes_runtime get_magic_quotes_gpc get_magic_quotes_runtime import_request_variables error_log serialize unserialize memory_get_usage var_dump var_export debug_zval_dump print_r highlight_file show_source highlight_string ini_get ini_get_all ini_set ini_alter ini_restore get_include_path set_include_path restore_include_path setcookie header headers_sent connection_aborted connection_status ignore_user_abort parse_ini_file is_uploaded_file move_uploaded_file intval floatval doubleval strval gettype settype is_null is_resource is_bool is_long is_float is_int is_integer is_double is_real is_numeric is_string is_array is_object is_scalar ereg ereg_replace eregi eregi_replace split spliti join sql_regcase dl pclose popen readfile rewind rmdir umask fclose feof fgetc fgets fgetss fread fopen fpassthru ftruncate fstat fseek ftell fflush fwrite fputs mkdir rename copy tempnam tmpfile file file_get_contents stream_select stream_context_create stream_context_set_params stream_context_set_option stream_context_get_options stream_filter_prepend stream_filter_append fgetcsv flock get_meta_tags stream_set_write_buffer set_file_buffer set_socket_blocking stream_set_blocking socket_set_blocking stream_get_meta_data stream_register_wrapper stream_wrapper_register stream_set_timeout socket_set_timeout socket_get_status realpath fnmatch fsockopen pfsockopen pack unpack get_browser crypt opendir closedir chdir getcwd rewinddir readdir dir glob fileatime filectime filegroup fileinode filemtime fileowner fileperms filesize filetype file_exists is_writable is_writeable is_readable is_executable is_file is_dir is_link stat lstat chown touch clearstatcache mail ob_start ob_flush ob_clean ob_end_flush ob_end_clean ob_get_flush ob_get_clean ob_get_length ob_get_level ob_get_status ob_get_contents ob_implicit_flush ob_list_handlers ksort krsort natsort natcasesort asort arsort sort rsort usort uasort uksort shuffle array_walk count end prev next reset current key min max in_array array_search extract compact array_fill range array_multisort array_push array_pop array_shift array_unshift array_splice array_slice array_merge array_merge_recursive array_keys array_values array_count_values array_reverse array_reduce array_pad array_flip array_change_key_case array_rand array_unique array_intersect array_intersect_assoc array_diff array_diff_assoc array_sum array_filter array_map array_chunk array_key_exists pos sizeof key_exists assert assert_options version_compare ftok str_rot13 aggregate session_name session_module_name session_save_path session_id session_regenerate_id session_decode session_register session_unregister session_is_registered session_encode session_start session_destroy session_unset session_set_save_handler session_cache_limiter session_cache_expire session_set_cookie_params session_get_cookie_params session_write_close preg_match preg_match_all preg_replace preg_replace_callback preg_split preg_quote preg_grep overload ctype_alnum ctype_alpha ctype_cntrl ctype_digit ctype_lower ctype_graph ctype_print ctype_punct ctype_space ctype_upper ctype_xdigit virtual apache_request_headers apache_note apache_lookup_uri apache_child_terminate apache_setenv apache_response_headers apache_get_version getallheaders mysql_connect mysql_pconnect mysql_close mysql_select_db mysql_create_db mysql_drop_db mysql_query mysql_unbuffered_query mysql_db_query mysql_list_dbs mysql_list_tables mysql_list_fields mysql_list_processes mysql_error mysql_errno mysql_affected_rows mysql_insert_id mysql_result mysql_num_rows mysql_num_fields mysql_fetch_row mysql_fetch_array mysql_fetch_assoc mysql_fetch_object mysql_data_seek mysql_fetch_lengths mysql_fetch_field mysql_field_seek mysql_free_result mysql_field_name mysql_field_table mysql_field_len mysql_field_type mysql_field_flags mysql_escape_string mysql_real_escape_string mysql_stat mysql_thread_id mysql_client_encoding mysql_get_client_info mysql_get_host_info mysql_get_proto_info mysql_get_server_info mysql_info mysql mysql_fieldname mysql_fieldtable mysql_fieldlen mysql_fieldtype mysql_fieldflags mysql_selectdb mysql_createdb mysql_dropdb mysql_freeresult mysql_numfields mysql_numrows mysql_listdbs mysql_listtables mysql_listfields mysql_db_name mysql_dbname mysql_tablename mysql_table_name pg_connect pg_pconnect pg_close pg_connection_status pg_connection_busy pg_connection_reset pg_host pg_dbname pg_port pg_tty pg_options pg_ping pg_query pg_send_query pg_cancel_query pg_fetch_result pg_fetch_row pg_fetch_assoc pg_fetch_array pg_fetch_object pg_fetch_all pg_affected_rows pg_get_result pg_result_seek pg_result_status pg_free_result pg_last_oid pg_num_rows pg_num_fields pg_field_name pg_field_num pg_field_size pg_field_type pg_field_prtlen pg_field_is_null pg_get_notify pg_get_pid pg_result_error pg_last_error pg_last_notice pg_put_line pg_end_copy pg_copy_to pg_copy_from pg_trace pg_untrace pg_lo_create pg_lo_unlink pg_lo_open pg_lo_close pg_lo_read pg_lo_write pg_lo_read_all pg_lo_import pg_lo_export pg_lo_seek pg_lo_tell pg_escape_string pg_escape_bytea pg_unescape_bytea pg_client_encoding pg_set_client_encoding pg_meta_data pg_convert pg_insert pg_update pg_delete pg_select pg_exec pg_getlastoid pg_cmdtuples pg_errormessage pg_numrows pg_numfields pg_fieldname pg_fieldsize pg_fieldtype pg_fieldnum pg_fieldprtlen pg_fieldisnull pg_freeresult pg_result pg_loreadall pg_locreate pg_lounlink pg_loopen pg_loclose pg_loread pg_lowrite pg_loimport pg_loexport http_response_code get_declared_traits getimagesizefromstring socket_import_stream stream_set_chunk_size trait_exists header_register_callback class_uses session_status session_register_shutdown echo print global static exit array empty eval isset unset die include require include_once require_once json_decode json_encode json_last_error json_last_error_msg curl_close curl_copy_handle curl_errno curl_error curl_escape curl_exec curl_file_create curl_getinfo curl_init curl_multi_add_handle curl_multi_close curl_multi_exec curl_multi_getcontent curl_multi_info_read curl_multi_init curl_multi_remove_handle curl_multi_select curl_multi_setopt curl_multi_strerror curl_pause curl_reset curl_setopt_array curl_setopt curl_share_close curl_share_init curl_share_setopt curl_strerror curl_unescape curl_version mysqli_affected_rows mysqli_autocommit mysqli_change_user mysqli_character_set_name mysqli_close mysqli_commit mysqli_connect_errno mysqli_connect_error mysqli_connect mysqli_data_seek mysqli_debug mysqli_dump_debug_info mysqli_errno mysqli_error_list mysqli_error mysqli_fetch_all mysqli_fetch_array mysqli_fetch_assoc mysqli_fetch_field_direct mysqli_fetch_field mysqli_fetch_fields mysqli_fetch_lengths mysqli_fetch_object mysqli_fetch_row mysqli_field_count mysqli_field_seek mysqli_field_tell mysqli_free_result mysqli_get_charset mysqli_get_client_info mysqli_get_client_stats mysqli_get_client_version mysqli_get_connection_stats mysqli_get_host_info mysqli_get_proto_info mysqli_get_server_info mysqli_get_server_version mysqli_info mysqli_init mysqli_insert_id mysqli_kill mysqli_more_results mysqli_multi_query mysqli_next_result mysqli_num_fields mysqli_num_rows mysqli_options mysqli_ping mysqli_prepare mysqli_query mysqli_real_connect mysqli_real_escape_string mysqli_real_query mysqli_reap_async_query mysqli_refresh mysqli_rollback mysqli_select_db mysqli_set_charset mysqli_set_local_infile_default mysqli_set_local_infile_handler mysqli_sqlstate mysqli_ssl_set mysqli_stat mysqli_stmt_init mysqli_store_result mysqli_thread_id mysqli_thread_safe mysqli_use_result mysqli_warning_count";
|
|
CodeMirror.registerHelper("hintWords", "php", [phpKeywords, phpAtoms, phpBuiltin].join(" ").split(" "));
|
|
CodeMirror.registerHelper("wordChars", "php", /[\w$]/);
|
|
|
|
var phpConfig = {
|
|
name: "clike",
|
|
helperType: "php",
|
|
keywords: keywords(phpKeywords),
|
|
blockKeywords: keywords("catch do else elseif for foreach if switch try while finally"),
|
|
atoms: keywords(phpAtoms),
|
|
builtin: keywords(phpBuiltin),
|
|
multiLineStrings: true,
|
|
hooks: {
|
|
"$": function(stream) {
|
|
stream.eatWhile(/[\w\$_]/);
|
|
return "variable-2";
|
|
},
|
|
"<": function(stream, state) {
|
|
if (stream.match(/<</)) {
|
|
stream.eatWhile(/[\w\.]/);
|
|
state.tokenize = heredoc(stream.current().slice(3));
|
|
return state.tokenize(stream, state);
|
|
}
|
|
return false;
|
|
},
|
|
"#": function(stream) {
|
|
while (!stream.eol() && !stream.match("?>", false)) stream.next();
|
|
return "comment";
|
|
},
|
|
"/": function(stream) {
|
|
if (stream.eat("/")) {
|
|
while (!stream.eol() && !stream.match("?>", false)) stream.next();
|
|
return "comment";
|
|
}
|
|
return false;
|
|
},
|
|
'"': function(stream, state) {
|
|
if (!state.phpEncapsStack)
|
|
state.phpEncapsStack = [];
|
|
state.phpEncapsStack.push(0);
|
|
state.tokenize = stringWithEscapes;
|
|
return state.tokenize(stream, state);
|
|
},
|
|
"{": function(_stream, state) {
|
|
if (state.phpEncapsStack && state.phpEncapsStack.length > 0)
|
|
state.phpEncapsStack[state.phpEncapsStack.length - 1]++;
|
|
return false;
|
|
},
|
|
"}": function(_stream, state) {
|
|
if (state.phpEncapsStack && state.phpEncapsStack.length > 0)
|
|
if (--state.phpEncapsStack[state.phpEncapsStack.length - 1] == 0)
|
|
state.tokenize = stringWithEscapes;
|
|
return false;
|
|
}
|
|
}
|
|
};
|
|
|
|
CodeMirror.defineMode("php", function(config, parserConfig) {
|
|
var htmlMode = CodeMirror.getMode(config, "text/html");
|
|
var phpMode = CodeMirror.getMode(config, phpConfig);
|
|
|
|
function dispatch(stream, state) {
|
|
var isPHP = state.curMode == phpMode;
|
|
if (stream.sol() && state.pending && state.pending != '"' && state.pending != "'") state.pending = null;
|
|
if (!isPHP) {
|
|
if (stream.match(/^<\?\w*/)) {
|
|
state.curMode = phpMode;
|
|
state.curState = state.php;
|
|
return "meta";
|
|
}
|
|
if (state.pending == '"' || state.pending == "'") {
|
|
while (!stream.eol() && stream.next() != state.pending) {}
|
|
var style = "string";
|
|
} else if (state.pending && stream.pos < state.pending.end) {
|
|
stream.pos = state.pending.end;
|
|
var style = state.pending.style;
|
|
} else {
|
|
var style = htmlMode.token(stream, state.curState);
|
|
}
|
|
if (state.pending) state.pending = null;
|
|
var cur = stream.current(), openPHP = cur.search(/<\?/), m;
|
|
if (openPHP != -1) {
|
|
if (style == "string" && (m = cur.match(/[\'\"]$/)) && !/\?>/.test(cur)) state.pending = m[0];
|
|
else state.pending = {end: stream.pos, style: style};
|
|
stream.backUp(cur.length - openPHP);
|
|
}
|
|
return style;
|
|
} else if (isPHP && state.php.tokenize == null && stream.match("?>")) {
|
|
state.curMode = htmlMode;
|
|
state.curState = state.html;
|
|
return "meta";
|
|
} else {
|
|
return phpMode.token(stream, state.curState);
|
|
}
|
|
}
|
|
|
|
return {
|
|
startState: function() {
|
|
var html = CodeMirror.startState(htmlMode), php = CodeMirror.startState(phpMode);
|
|
return {html: html,
|
|
php: php,
|
|
curMode: parserConfig.startOpen ? phpMode : htmlMode,
|
|
curState: parserConfig.startOpen ? php : html,
|
|
pending: null};
|
|
},
|
|
|
|
copyState: function(state) {
|
|
var html = state.html, htmlNew = CodeMirror.copyState(htmlMode, html),
|
|
php = state.php, phpNew = CodeMirror.copyState(phpMode, php), cur;
|
|
if (state.curMode == htmlMode) cur = htmlNew;
|
|
else cur = phpNew;
|
|
return {html: htmlNew, php: phpNew, curMode: state.curMode, curState: cur,
|
|
pending: state.pending};
|
|
},
|
|
|
|
token: dispatch,
|
|
|
|
indent: function(state, textAfter) {
|
|
if ((state.curMode != phpMode && /^\s*<\//.test(textAfter)) ||
|
|
(state.curMode == phpMode && /^\?>/.test(textAfter)))
|
|
return htmlMode.indent(state.html, textAfter);
|
|
return state.curMode.indent(state.curState, textAfter);
|
|
},
|
|
|
|
blockCommentStart: "/*",
|
|
blockCommentEnd: "*/",
|
|
lineComment: "//",
|
|
|
|
innerMode: function(state) { return {state: state.curState, mode: state.curMode}; }
|
|
};
|
|
}, "htmlmixed", "clike");
|
|
|
|
CodeMirror.defineMIME("application/x-httpd-php", "php");
|
|
CodeMirror.defineMIME("application/x-httpd-php-open", {name: "php", startOpen: true});
|
|
CodeMirror.defineMIME("text/x-php", phpConfig);
|
|
});
|