123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302 |
- // 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"));
- else if (typeof define == "function" && define.amd) // AMD
- define(["../../lib/codemirror"], mod);
- else // Plain browser env
- mod(CodeMirror);
- })(function(CodeMirror) {
- "use strict";
- CodeMirror.defineMode("julia", function(_conf, parserConf) {
- var ERRORCLASS = 'error';
- function wordRegexp(words) {
- return new RegExp("^((" + words.join(")|(") + "))\\b");
- }
- var operators = parserConf.operators || /^\.?[|&^\\%*+\-<>!=\/]=?|\?|~|:|\$|\.[<>]|<<=?|>>>?=?|\.[<>=]=|->?|\/\/|\bin\b/;
- var delimiters = parserConf.delimiters || /^[;,()[\]{}]/;
- var identifiers = parserConf.identifiers|| /^[_A-Za-z\u00A1-\uFFFF][_A-Za-z0-9\u00A1-\uFFFF]*!*/;
- var blockOpeners = ["begin", "function", "type", "immutable", "let", "macro", "for", "while", "quote", "if", "else", "elseif", "try", "finally", "catch", "do"];
- var blockClosers = ["end", "else", "elseif", "catch", "finally"];
- var keywordList = ['if', 'else', 'elseif', 'while', 'for', 'begin', 'let', 'end', 'do', 'try', 'catch', 'finally', 'return', 'break', 'continue', 'global', 'local', 'const', 'export', 'import', 'importall', 'using', 'function', 'macro', 'module', 'baremodule', 'type', 'immutable', 'quote', 'typealias', 'abstract', 'bitstype', 'ccall'];
- var builtinList = ['true', 'false', 'enumerate', 'open', 'close', 'nothing', 'NaN', 'Inf', 'print', 'println', 'Int', 'Int8', 'Uint8', 'Int16', 'Uint16', 'Int32', 'Uint32', 'Int64', 'Uint64', 'Int128', 'Uint128', 'Bool', 'Char', 'Float16', 'Float32', 'Float64', 'Array', 'Vector', 'Matrix', 'String', 'UTF8String', 'ASCIIString', 'error', 'warn', 'info', '@printf'];
- //var stringPrefixes = new RegExp("^[br]?('|\")")
- var stringPrefixes = /^(`|'|"{3}|([br]?"))/;
- var keywords = wordRegexp(keywordList);
- var builtins = wordRegexp(builtinList);
- var openers = wordRegexp(blockOpeners);
- var closers = wordRegexp(blockClosers);
- var macro = /^@[_A-Za-z][_A-Za-z0-9]*/;
- var symbol = /^:[_A-Za-z][_A-Za-z0-9]*/;
- var indentInfo = null;
- function in_array(state) {
- var ch = cur_scope(state);
- if(ch=="[" || ch=="{") {
- return true;
- }
- else {
- return false;
- }
- }
- function cur_scope(state) {
- if(state.scopes.length==0) {
- return null;
- }
- return state.scopes[state.scopes.length - 1];
- }
- // tokenizers
- function tokenBase(stream, state) {
- // Handle scope changes
- var leaving_expr = state.leaving_expr;
- if(stream.sol()) {
- leaving_expr = false;
- }
- state.leaving_expr = false;
- if(leaving_expr) {
- if(stream.match(/^'+/)) {
- return 'operator';
- }
- }
- if(stream.match(/^\.{2,3}/)) {
- return 'operator';
- }
- if (stream.eatSpace()) {
- return null;
- }
- var ch = stream.peek();
- // Handle Comments
- if (ch === '#') {
- stream.skipToEnd();
- return 'comment';
- }
- if(ch==='[') {
- state.scopes.push("[");
- }
- if(ch==='{') {
- state.scopes.push("{");
- }
- var scope=cur_scope(state);
- if(scope==='[' && ch===']') {
- state.scopes.pop();
- state.leaving_expr=true;
- }
- if(scope==='{' && ch==='}') {
- state.scopes.pop();
- state.leaving_expr=true;
- }
- if(ch===')') {
- state.leaving_expr = true;
- }
- var match;
- if(!in_array(state) && (match=stream.match(openers, false))) {
- state.scopes.push(match);
- }
- if(!in_array(state) && stream.match(closers, false)) {
- state.scopes.pop();
- }
- if(in_array(state)) {
- if(stream.match(/^end/)) {
- return 'number';
- }
- }
- if(stream.match(/^=>/)) {
- return 'operator';
- }
- // Handle Number Literals
- if (stream.match(/^[0-9\.]/, false)) {
- var imMatcher = RegExp(/^im\b/);
- var floatLiteral = false;
- // Floats
- if (stream.match(/^\d*\.(?!\.)\d+([ef][\+\-]?\d+)?/i)) { floatLiteral = true; }
- if (stream.match(/^\d+\.(?!\.)\d*/)) { floatLiteral = true; }
- if (stream.match(/^\.\d+/)) { floatLiteral = true; }
- if (floatLiteral) {
- // Float literals may be "imaginary"
- stream.match(imMatcher);
- state.leaving_expr = true;
- return 'number';
- }
- // Integers
- var intLiteral = false;
- // Hex
- if (stream.match(/^0x[0-9a-f]+/i)) { intLiteral = true; }
- // Binary
- if (stream.match(/^0b[01]+/i)) { intLiteral = true; }
- // Octal
- if (stream.match(/^0o[0-7]+/i)) { intLiteral = true; }
- // Decimal
- if (stream.match(/^[1-9]\d*(e[\+\-]?\d+)?/)) {
- intLiteral = true;
- }
- // Zero by itself with no other piece of number.
- if (stream.match(/^0(?![\dx])/i)) { intLiteral = true; }
- if (intLiteral) {
- // Integer literals may be "long"
- stream.match(imMatcher);
- state.leaving_expr = true;
- return 'number';
- }
- }
- if(stream.match(/^(::)|(<:)/)) {
- return 'operator';
- }
- // Handle symbols
- if(!leaving_expr && stream.match(symbol)) {
- return 'string';
- }
- // Handle operators and Delimiters
- if (stream.match(operators)) {
- return 'operator';
- }
- // Handle Strings
- if (stream.match(stringPrefixes)) {
- state.tokenize = tokenStringFactory(stream.current());
- return state.tokenize(stream, state);
- }
- if (stream.match(macro)) {
- return 'meta';
- }
- if (stream.match(delimiters)) {
- return null;
- }
- if (stream.match(keywords)) {
- return 'keyword';
- }
- if (stream.match(builtins)) {
- return 'builtin';
- }
- if (stream.match(identifiers)) {
- state.leaving_expr=true;
- return 'variable';
- }
- // Handle non-detected items
- stream.next();
- return ERRORCLASS;
- }
- function tokenStringFactory(delimiter) {
- while ('rub'.indexOf(delimiter.charAt(0).toLowerCase()) >= 0) {
- delimiter = delimiter.substr(1);
- }
- var singleline = delimiter.length == 1;
- var OUTCLASS = 'string';
- function tokenString(stream, state) {
- while (!stream.eol()) {
- stream.eatWhile(/[^'"\\]/);
- if (stream.eat('\\')) {
- stream.next();
- if (singleline && stream.eol()) {
- return OUTCLASS;
- }
- } else if (stream.match(delimiter)) {
- state.tokenize = tokenBase;
- return OUTCLASS;
- } else {
- stream.eat(/['"]/);
- }
- }
- if (singleline) {
- if (parserConf.singleLineStringErrors) {
- return ERRORCLASS;
- } else {
- state.tokenize = tokenBase;
- }
- }
- return OUTCLASS;
- }
- tokenString.isString = true;
- return tokenString;
- }
- function tokenLexer(stream, state) {
- indentInfo = null;
- var style = state.tokenize(stream, state);
- var current = stream.current();
- // Handle '.' connected identifiers
- if (current === '.') {
- style = stream.match(identifiers, false) ? null : ERRORCLASS;
- if (style === null && state.lastStyle === 'meta') {
- // Apply 'meta' style to '.' connected identifiers when
- // appropriate.
- style = 'meta';
- }
- return style;
- }
- return style;
- }
- var external = {
- startState: function() {
- return {
- tokenize: tokenBase,
- scopes: [],
- leaving_expr: false
- };
- },
- token: function(stream, state) {
- var style = tokenLexer(stream, state);
- state.lastStyle = style;
- return style;
- },
- indent: function(state, textAfter) {
- var delta = 0;
- if(textAfter=="end" || textAfter=="]" || textAfter=="}" || textAfter=="else" || textAfter=="elseif" || textAfter=="catch" || textAfter=="finally") {
- delta = -1;
- }
- return (state.scopes.length + delta) * 4;
- },
- lineComment: "#",
- fold: "indent",
- electricChars: "edlsifyh]}"
- };
- return external;
- });
- CodeMirror.defineMIME("text/x-julia", "julia");
- });
|