diff options
Diffstat (limited to 'media/CodeMirror-0.62/js/parsejavascript.js')
| -rw-r--r-- | media/CodeMirror-0.62/js/parsejavascript.js | 341 |
1 files changed, 0 insertions, 341 deletions
diff --git a/media/CodeMirror-0.62/js/parsejavascript.js b/media/CodeMirror-0.62/js/parsejavascript.js deleted file mode 100644 index 756639a..0000000 --- a/media/CodeMirror-0.62/js/parsejavascript.js +++ /dev/null @@ -1,341 +0,0 @@ -/* Parse function for JavaScript. Makes use of the tokenizer from - * tokenizejavascript.js. Note that your parsers do not have to be - * this complicated -- if you don't want to recognize local variables, - * in many languages it is enough to just look for braces, semicolons, - * parentheses, etc, and know when you are inside a string or comment. - * - * See manual.html for more info about the parser interface. - */ - -var JSParser = Editor.Parser = (function() { - // Token types that can be considered to be atoms. - var atomicTypes = {"atom": true, "number": true, "variable": true, "string": true, "regexp": true}; - // Constructor for the lexical context objects. - function JSLexical(indented, column, type, align, prev, info) { - // indentation at start of this line - this.indented = indented; - // column at which this scope was opened - this.column = column; - // type of scope ('vardef', 'stat' (statement), 'form' (special form), '[', '{', or '(') - this.type = type; - // '[', '{', or '(' blocks that have any text after their opening - // character are said to be 'aligned' -- any lines below are - // indented all the way to the opening character. - if (align != null) - this.align = align; - // Parent scope, if any. - this.prev = prev; - this.info = info; - } - - // My favourite JavaScript indentation rules. - function indentJS(lexical) { - return function(firstChars) { - var firstChar = firstChars && firstChars.charAt(0), type = lexical.type; - var closing = firstChar == type; - if (type == "vardef") - return lexical.indented + 4; - else if (type == "form" && firstChar == "{") - return lexical.indented; - else if (type == "stat" || type == "form") - return lexical.indented + indentUnit; - else if (lexical.info == "switch" && !closing) - return lexical.indented + (/^(?:case|default)\b/.test(firstChars) ? indentUnit : 2 * indentUnit); - else if (lexical.align) - return lexical.column - (closing ? 1 : 0); - else - return lexical.indented + (closing ? 0 : indentUnit); - }; - } - - // The parser-iterator-producing function itself. - function parseJS(input, basecolumn) { - // Wrap the input in a token stream - var tokens = tokenizeJavaScript(input); - // The parser state. cc is a stack of actions that have to be - // performed to finish the current statement. For example we might - // know that we still need to find a closing parenthesis and a - // semicolon. Actions at the end of the stack go first. It is - // initialized with an infinitely looping action that consumes - // whole statements. - var cc = [statements]; - // Context contains information about the current local scope, the - // variables defined in that, and the scopes above it. - var context = null; - // The lexical scope, used mostly for indentation. - var lexical = new JSLexical((basecolumn || 0) - indentUnit, 0, "block", false); - // Current column, and the indentation at the start of the current - // line. Used to create lexical scope objects. - var column = 0; - var indented = 0; - // Variables which are used by the mark, cont, and pass functions - // below to communicate with the driver loop in the 'next' - // function. - var consume, marked; - - // The iterator object. - var parser = {next: next, copy: copy}; - - function next(){ - // Start by performing any 'lexical' actions (adjusting the - // lexical variable), or the operations below will be working - // with the wrong lexical state. - while(cc[cc.length - 1].lex) - cc.pop()(); - - // Fetch a token. - var token = tokens.next(); - - // Adjust column and indented. - if (token.type == "whitespace" && column == 0) - indented = token.value.length; - column += token.value.length; - if (token.content == "\n"){ - indented = column = 0; - // If the lexical scope's align property is still undefined at - // the end of the line, it is an un-aligned scope. - if (!("align" in lexical)) - lexical.align = false; - // Newline tokens get an indentation function associated with - // them. - token.indentation = indentJS(lexical); - } - // No more processing for meaningless tokens. - if (token.type == "whitespace" || token.type == "comment") - return token; - // When a meaningful token is found and the lexical scope's - // align is undefined, it is an aligned scope. - if (!("align" in lexical)) - lexical.align = true; - - // Execute actions until one 'consumes' the token and we can - // return it. - while(true) { - consume = marked = false; - // Take and execute the topmost action. - cc.pop()(token.type, token.content); - if (consume){ - // Marked is used to change the style of the current token. - if (marked) - token.style = marked; - // Here we differentiate between local and global variables. - else if (token.type == "variable" && inScope(token.content)) - token.style = "js-localvariable"; - return token; - } - } - } - - // This makes a copy of the parser state. It stores all the - // stateful variables in a closure, and returns a function that - // will restore them when called with a new input stream. Note - // that the cc array has to be copied, because it is contantly - // being modified. Lexical objects are not mutated, and context - // objects are not mutated in a harmful way, so they can be shared - // between runs of the parser. - function copy(){ - var _context = context, _lexical = lexical, _cc = cc.concat([]), _tokenState = tokens.state; - - return function copyParser(input){ - context = _context; - lexical = _lexical; - cc = _cc.concat([]); // copies the array - column = indented = 0; - tokens = tokenizeJavaScript(input, _tokenState); - return parser; - }; - } - - // Helper function for pushing a number of actions onto the cc - // stack in reverse order. - function push(fs){ - for (var i = fs.length - 1; i >= 0; i--) - cc.push(fs[i]); - } - // cont and pass are used by the action functions to add other - // actions to the stack. cont will cause the current token to be - // consumed, pass will leave it for the next action. - function cont(){ - push(arguments); - consume = true; - } - function pass(){ - push(arguments); - consume = false; - } - // Used to change the style of the current token. - function mark(style){ - marked = style; - } - - // Push a new scope. Will automatically link the current scope. - function pushcontext(){ - context = {prev: context, vars: {"this": true, "arguments": true}}; - } - // Pop off the current scope. - function popcontext(){ - context = context.prev; - } - // Register a variable in the current scope. - function register(varname){ - if (context){ - mark("js-variabledef"); - context.vars[varname] = true; - } - } - // Check whether a variable is defined in the current scope. - function inScope(varname){ - var cursor = context; - while (cursor) { - if (cursor.vars[varname]) - return true; - cursor = cursor.prev; - } - return false; - } - - // Push a new lexical context of the given type. - function pushlex(type, info) { - var result = function(){ - lexical = new JSLexical(indented, column, type, null, lexical, info) - }; - result.lex = true; - return result; - } - // Pop off the current lexical context. - function poplex(){ - lexical = lexical.prev; - } - poplex.lex = true; - // The 'lex' flag on these actions is used by the 'next' function - // to know they can (and have to) be ran before moving on to the - // next token. - - // Creates an action that discards tokens until it finds one of - // the given type. - function expect(wanted){ - return function expecting(type){ - if (type == wanted) cont(); - else cont(arguments.callee); - }; - } - - // Looks for a statement, and then calls itself. - function statements(type){ - return pass(statement, statements); - } - // Dispatches various types of statements based on the type of the - // current token. - function statement(type){ - if (type == "var") cont(pushlex("vardef"), vardef1, expect(";"), poplex); - else if (type == "keyword a") cont(pushlex("form"), expression, statement, poplex); - else if (type == "keyword b") cont(pushlex("form"), statement, poplex); - else if (type == "{") cont(pushlex("}"), block, poplex); - else if (type == "function") cont(functiondef); - else if (type == "for") cont(pushlex("form"), expect("("), pushlex(")"), forspec1, expect(")"), poplex, statement, poplex); - else if (type == "variable") cont(pushlex("stat"), maybelabel); - else if (type == "switch") cont(pushlex("form"), expression, pushlex("}", "switch"), expect("{"), block, poplex, poplex); - else if (type == "case") cont(expression, expect(":")); - else if (type == "default") cont(expect(":")); - else if (type == "catch") cont(pushlex("form"), pushcontext, expect("("), funarg, expect(")"), statement, poplex, popcontext); - else pass(pushlex("stat"), expression, expect(";"), poplex); - } - // Dispatch expression types. - function expression(type){ - if (atomicTypes.hasOwnProperty(type)) cont(maybeoperator); - else if (type == "function") cont(functiondef); - else if (type == "keyword c") cont(expression); - else if (type == "(") cont(pushlex(")"), expression, expect(")"), poplex, maybeoperator); - else if (type == "operator") cont(expression); - else if (type == "[") cont(pushlex("]"), commasep(expression, "]"), poplex, maybeoperator); - else if (type == "{") cont(pushlex("}"), commasep(objprop, "}"), poplex, maybeoperator); - } - // Called for places where operators, function calls, or - // subscripts are valid. Will skip on to the next action if none - // is found. - function maybeoperator(type){ - if (type == "operator") cont(expression); - else if (type == "(") cont(pushlex(")"), expression, commasep(expression, ")"), poplex, maybeoperator); - else if (type == ".") cont(property, maybeoperator); - else if (type == "[") cont(pushlex("]"), expression, expect("]"), poplex, maybeoperator); - } - // When a statement starts with a variable name, it might be a - // label. If no colon follows, it's a regular statement. - function maybelabel(type){ - if (type == ":") cont(poplex, statement); - else pass(maybeoperator, expect(";"), poplex); - } - // Property names need to have their style adjusted -- the - // tokenizer thinks they are variables. - function property(type){ - if (type == "variable") {mark("js-property"); cont();} - } - // This parses a property and its value in an object literal. - function objprop(type){ - if (type == "variable") mark("js-property"); - if (atomicTypes.hasOwnProperty(type)) cont(expect(":"), expression); - } - // Parses a comma-separated list of the things that are recognized - // by the 'what' argument. - function commasep(what, end){ - function proceed(type) { - if (type == ",") cont(what, proceed); - else if (type == end) cont(); - else cont(expect(end)); - }; - return function commaSeparated(type) { - if (type == end) cont(); - else pass(what, proceed); - }; - } - // Look for statements until a closing brace is found. - function block(type){ - if (type == "}") cont(); - else pass(statement, block); - } - // Variable definitions are split into two actions -- 1 looks for - // a name or the end of the definition, 2 looks for an '=' sign or - // a comma. - function vardef1(type, value){ - if (type == "variable"){register(value); cont(vardef2);} - else cont(); - } - function vardef2(type, value){ - if (value == "=") cont(expression, vardef2); - else if (type == ",") cont(vardef1); - } - // For loops. - function forspec1(type){ - if (type == "var") cont(vardef1, forspec2); - else if (type == ";") pass(forspec2); - else if (type == "variable") cont(formaybein); - else pass(forspec2); - } - function formaybein(type, value){ - if (value == "in") cont(expression); - else cont(maybeoperator, forspec2); - } - function forspec2(type, value){ - if (type == ";") cont(forspec3); - else if (value == "in") cont(expression); - else cont(expression, expect(";"), forspec3); - } - function forspec3(type) { - if (type == ")") pass(); - else cont(expression); - } - // A function definition creates a new context, and the variables - // in its argument list have to be added to this context. - function functiondef(type, value){ - if (type == "variable"){register(value); cont(functiondef);} - else if (type == "(") cont(pushcontext, commasep(funarg, ")"), statement, popcontext); - } - function funarg(type, value){ - if (type == "variable"){register(value); cont();} - } - - return parser; - } - - return {make: parseJS, electricChars: "{}:"}; -})(); |