PageRenderTime 1324ms CodeModel.GetById 11ms RepoModel.GetById 1ms app.codeStats 0ms

/system/thirdparty/codemirror/contrib/ometa/index.html

https://gitlab.com/srueegger/1zu12bB
HTML | 77 lines | 68 code | 9 blank | 0 comment | 0 complexity | fa2d31219eb47b6a20bc5ecc223e3773 MD5 | raw file
    

  1. <html xmlns="http://www.w3.org/1999/xhtml"> 
    2. 

  2.   <head> 
    3. 

  3.     <script src="../../js/codemirror.js" type="text/javascript"></script> 
    4. 

  4.     <title>CodeMirror: OmetaJS demonstration</title> 
    5. 

  5.     <link rel="stylesheet" type="text/css" href="../../css/docs.css"/> 
    6. 

  6.   </head> 
    7. 

  7.   <body style="padding: 20px;"> 
    8. 

  8. 

  9. <p>This page demonstrates <a href="../../index.html">CodeMirror</a>'s <a
    10. 

  10.       href="http://www.tinlizzie.org/ometa">OmetaJS</a> parser.</p>
    11. 

  11. 

  12. <p>Adapted from the official Javascript parser by Eric KEDJI
    13. 

  13.   &lt;<a href="mailto:eric.kedji@gmail.com">eric.kedji@gmail.com</a>&gt;.</p>
    14. 

  14. 

  15. <div style="border-top: 1px solid black; border-bottom: 1px solid black;">
    16. 

  16. <textarea id="code" cols="120" rows="30">
    17. 

  17. // Source: http://www.tinlizzie.org/ometa-js/#Lisp
    18. 

  18. // Inspired by McCarthy's meta-circular lisp
    19. 

  19. 

  20. ometa Lisp {
    21. 

  21.   ev     = string:a                                         -> self.env[a]
    22. 

  22.          | [#lambda :fs :body]                              -> [#lambda, fs, body]
    23. 

  23.          | [#quote  :ans]                                   -> ans
    24. 

  24.          | [#cond   evCond:ans]                             -> ans
    25. 

  25.          | [ev:f    ev*:xs]     app(f, xs):ans              -> ans,
    26. 

  26. 

  27.   evCond = condF* condT:ans anything*                       -> x,
    28. 

  28.   condT  = [ev:x ?x ev:ans]                                 -> ans,
    29. 

  29.   condF  = ~condT anything,
    30. 

  30. 

  31.   app    = #car                [[:hd anything*]]            -> hd
    32. 

  32.          | #cdr                [[:hd anything*:tl]]         -> tl
    33. 

  33.          | #cons               [:hd :tl]                    -> [hd].concat(tl)
    34. 

  34.          | #atom               [:x]                         -> (!(x instanceof Array))
    35. 

  35.          | #eq                 [:x :y]                      -> (x == y)
    36. 

  36.          | [#lambda :fs :body] :args
    37. 

  37.              enter bind(fs, args) ev(body):ans leave        -> ans,
    38. 

  38.   enter  =                                                  -> (self.env = self.env.delegated({_p: self.env})),
    39. 

  39.   bind   = []                []
    40. 

  40.          | [:f anything*:fs] [:a anything*:as] bind(fs, as) -> (self.env[f] = a),
    41. 

  41.   leave  =                                                  -> (self.env = self.env._p)
    42. 

  42. }
    43. 

  43. Lisp.initialize = function() { this.env = {car: "car", cdr: "cdr", cons: "cons", atom: "atom", eq: "eq", nil: null, T: "T"} }
    44. 

  44. lispEval = function(x) { return Lisp.match(x, "ev") }
    45. 

  45. 

  46. lispEval([`quote, [1, 2, 3]])
    47. 

  47. lispEval([`car, [`quote, [1, 2, 3]]])
    48. 

  48. lispEval([`cdr, [`quote, [1, 2, 3]]])
    49. 

  49. lispEval([`cons, [`quote, `x], [`quote, `y]])
    50. 

  50. lispEval([`eq, [`quote, `x], [`quote, `x]])
    51. 

  51. lispEval([[`lambda, [`x], [`cons, `x, `x]], [`quote, `boo]])
    52. 

  52. </textarea>
    53. 

  53. </div>
    54. 

  54. 

  55. <script type="text/javascript">
    56. 

  56. /*  var textarea = document.getElementById('code');
    57. 

  57.   var editor = new MirrorFrame(CodeMirror.replace(textarea), {
    58. 

  58.     height: "350px",
    59. 

  59.     content: textarea.value,
    60. 

  60.     parserfile: ["tokenizeometa.js", "parseometa.js"],
    61. 

  61.     stylesheet: "css/ometacolors.css",
    62. 

  62.     path: "js/",
    63. 

  63.     autoMatchParens: true
    64. 

  64.   });
    65. 

  65. */
    66. 

  66.   var editor = CodeMirror.fromTextArea('code', {
    67. 

  67.     height: "450px",
    68. 

  68.     parserfile: ["../contrib/ometa/js/tokenizeometa.js",
    69. 

  69.       "../contrib/ometa/js/parseometa.js"],
    70. 

  70.     stylesheet: "css/ometacolors.css",
    71. 

  71.     path: "../../js/",
    72. 

  72.     textWrapping: false
    73. 

  73.   });
    74. 

  74. </script>
    75. 

  75. 

  76.   </body>
    77. 

  77. </html>
    78. 

  78.