[Summary view] [Print] [Text view]

   1  // CodeMirror, copyright (c) by Marijn Haverbeke and others
   2  // Distributed under an MIT license: https://codemirror.net/5/LICENSE
   3  
   4  // Yacas mode copyright (c) 2015 by Grzegorz Mazur
   5  // Loosely based on mathematica mode by Calin Barbat
   6  
   7  (function(mod) {
   8    if (typeof exports == "object" && typeof module == "object") // CommonJS
   9      mod(require("../../lib/codemirror"));
  10    else if (typeof define == "function" && define.amd) // AMD
  11      define(["../../lib/codemirror"], mod);
  12    else // Plain browser env
  13      mod(CodeMirror);
  14  })(function(CodeMirror) {
  15  "use strict";
  16  
  17  CodeMirror.defineMode('yacas', function(_config, _parserConfig) {
  18  
  19    function words(str) {
  20      var obj = {}, words = str.split(" ");
  21      for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
  22      return obj;
  23    }
  24  
  25    var bodiedOps = words("Assert BackQuote D Defun Deriv For ForEach FromFile " +
  26                          "FromString Function Integrate InverseTaylor Limit " +
  27                          "LocalSymbols Macro MacroRule MacroRulePattern " +
  28                          "NIntegrate Rule RulePattern Subst TD TExplicitSum " +
  29                          "TSum Taylor Taylor1 Taylor2 Taylor3 ToFile " +
  30                          "ToStdout ToString TraceRule Until While");
  31  
  32    // patterns
  33    var pFloatForm  = "(?:(?:\\.\\d+|\\d+\\.\\d*|\\d+)(?:[eE][+-]?\\d+)?)";
  34    var pIdentifier = "(?:[a-zA-Z\\$'][a-zA-Z0-9\\$']*)";
  35  
  36    // regular expressions
  37    var reFloatForm    = new RegExp(pFloatForm);
  38    var reIdentifier   = new RegExp(pIdentifier);
  39    var rePattern      = new RegExp(pIdentifier + "?_" + pIdentifier);
  40    var reFunctionLike = new RegExp(pIdentifier + "\\s*\\(");
  41  
  42    function tokenBase(stream, state) {
  43      var ch;
  44  
  45      // get next character
  46      ch = stream.next();
  47  
  48      // string
  49      if (ch === '"') {
  50        state.tokenize = tokenString;
  51        return state.tokenize(stream, state);
  52      }
  53  
  54      // comment
  55      if (ch === '/') {
  56        if (stream.eat('*')) {
  57          state.tokenize = tokenComment;
  58          return state.tokenize(stream, state);
  59        }
  60        if (stream.eat("/")) {
  61          stream.skipToEnd();
  62          return "comment";
  63        }
  64      }
  65  
  66      // go back one character
  67      stream.backUp(1);
  68  
  69      // update scope info
  70      var m = stream.match(/^(\w+)\s*\(/, false);
  71      if (m !== null && bodiedOps.hasOwnProperty(m[1]))
  72        state.scopes.push('bodied');
  73  
  74      var scope = currentScope(state);
  75  
  76      if (scope === 'bodied' && ch === '[')
  77        state.scopes.pop();
  78  
  79      if (ch === '[' || ch === '{' || ch === '(')
  80        state.scopes.push(ch);
  81  
  82      scope = currentScope(state);
  83  
  84      if (scope === '[' && ch === ']' ||
  85          scope === '{' && ch === '}' ||
  86          scope === '(' && ch === ')')
  87        state.scopes.pop();
  88  
  89      if (ch === ';') {
  90        while (scope === 'bodied') {
  91          state.scopes.pop();
  92          scope = currentScope(state);
  93        }
  94      }
  95  
  96      // look for ordered rules
  97      if (stream.match(/\d+ *#/, true, false)) {
  98        return 'qualifier';
  99      }
 100  
 101      // look for numbers
 102      if (stream.match(reFloatForm, true, false)) {
 103        return 'number';
 104      }
 105  
 106      // look for placeholders
 107      if (stream.match(rePattern, true, false)) {
 108        return 'variable-3';
 109      }
 110  
 111      // match all braces separately
 112      if (stream.match(/(?:\[|\]|{|}|\(|\))/, true, false)) {
 113        return 'bracket';
 114      }
 115  
 116      // literals looking like function calls
 117      if (stream.match(reFunctionLike, true, false)) {
 118        stream.backUp(1);
 119        return 'variable';
 120      }
 121  
 122      // all other identifiers
 123      if (stream.match(reIdentifier, true, false)) {
 124        return 'variable-2';
 125      }
 126  
 127      // operators; note that operators like @@ or /; are matched separately for each symbol.
 128      if (stream.match(/(?:\\|\+|\-|\*|\/|,|;|\.|:|@|~|=|>|<|&|\||_|`|'|\^|\?|!|%|#)/, true, false)) {
 129        return 'operator';
 130      }
 131  
 132      // everything else is an error
 133      return 'error';
 134    }
 135  
 136    function tokenString(stream, state) {
 137      var next, end = false, escaped = false;
 138      while ((next = stream.next()) != null) {
 139        if (next === '"' && !escaped) {
 140          end = true;
 141          break;
 142        }
 143        escaped = !escaped && next === '\\';
 144      }
 145      if (end && !escaped) {
 146        state.tokenize = tokenBase;
 147      }
 148      return 'string';
 149    };
 150  
 151    function tokenComment(stream, state) {
 152      var prev, next;
 153      while((next = stream.next()) != null) {
 154        if (prev === '*' && next === '/') {
 155          state.tokenize = tokenBase;
 156          break;
 157        }
 158        prev = next;
 159      }
 160      return 'comment';
 161    }
 162  
 163    function currentScope(state) {
 164      var scope = null;
 165      if (state.scopes.length > 0)
 166        scope = state.scopes[state.scopes.length - 1];
 167      return scope;
 168    }
 169  
 170    return {
 171      startState: function() {
 172        return {
 173          tokenize: tokenBase,
 174          scopes: []
 175        };
 176      },
 177      token: function(stream, state) {
 178        if (stream.eatSpace()) return null;
 179        return state.tokenize(stream, state);
 180      },
 181      indent: function(state, textAfter) {
 182        if (state.tokenize !== tokenBase && state.tokenize !== null)
 183          return CodeMirror.Pass;
 184  
 185        var delta = 0;
 186        if (textAfter === ']' || textAfter === '];' ||
 187            textAfter === '}' || textAfter === '};' ||
 188            textAfter === ');')
 189          delta = -1;
 190  
 191        return (state.scopes.length + delta) * _config.indentUnit;
 192      },
 193      electricChars: "{}[]();",
 194      blockCommentStart: "/*",
 195      blockCommentEnd: "*/",
 196      lineComment: "//"
 197    };
 198  });
 199  
 200  CodeMirror.defineMIME('text/x-yacas', {
 201    name: 'yacas'
 202  });
 203  
 204  });