├── LICENCE
├── README
├── README.md
├── deps
    ├── DOM_util.js
    ├── es5-shim.min.js
    ├── lists.js
    └── util.js
├── hinting.js
├── ports
    ├── aws.js
    ├── fake.js
    ├── http.js
    ├── nhttpd.js
    ├── rvs.js
    └── ssh.js
├── prototype.html
└── verbs
    ├── aws
    ├── csv
    ├── deps
        ├── 3box_util.js
        ├── PanPG_util.js
        ├── csv_util.js
        ├── less.js
        ├── lists.js
        ├── mustache.js
        └── util.js
    ├── fake
    ├── http
    ├── js
    ├── json
    ├── misc
    ├── mustache
    ├── nhttpd
    ├── panpg
    ├── posix
    ├── rvs
    ├── ssh
    └── template


/LICENCE:
--------------------------------------------------------------------------------
 1 | Copyright (c) 2011 inimino@inimino.org
 2 | 
 3 | Permission is hereby granted, free of charge, to any person obtaining a copy
 4 | of this software and associated documentation files (the "Software"), to deal
 5 | in the Software without restriction, including without limitation the rights
 6 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 7 | copies of the Software, and to permit persons to whom the Software is
 8 | furnished to do so, subject to the following conditions:
 9 | 
10 | The above copyright notice and this permission notice shall be included in
11 | all copies or substantial portions of the Software.
12 | 
13 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
14 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
15 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
16 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
17 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
18 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
19 | THE SOFTWARE.


--------------------------------------------------------------------------------
/README:
--------------------------------------------------------------------------------
 1 | ActiveShell is a shell for the Web.
 2 | 
 3 | It can be used like a Unix shell to manage files on remote systems accessible by SSH, like an REPL for exploratory programming, and can access any networked service for which a port has been implemented.
 4 | 
 5 | http://inimino.org/~inimino/blog/shell_for_the_web
 6 | http://inimino.org/~inimino/blog/activeshell_aiclass
 7 | 
 8 | 
 9 | Principles
10 | ----------
11 | 
12 | Ad-hoc reuse is beautiful.
13 | 
14 | Automate automation.
15 | 
16 | 
17 | Installation
18 | ------------
19 | 
20 | The shell UI is in prototype.html.
21 | However, the shell creates a session and for that session to persist there must be a server that handles PUT requests.
22 | Installation on Node.js using nhttpd and revstore is the easiest approach:
23 | 
24 | http://inimino.org/~inimino/blog/activeshell_installation


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
 1 | ActiveShell is a shell for the Web.
 2 | 
 3 | It can be used like a Unix shell to manage files on remote systems accessible by SSH, like an REPL for exploratory programming, and can access any networked service for which a port has been implemented.
 4 | 
 5 | http://inimino.org/~inimino/blog/shell_for_the_web
 6 | http://inimino.org/~inimino/blog/activeshell_aiclass
 7 | 
 8 | 
 9 | Principles
10 | ----------
11 | 
12 | Ad-hoc reuse is beautiful.
13 | 
14 | Automate automation.
15 | 
16 | 
17 | Installation
18 | ------------
19 | 
20 | The shell UI is in prototype.html.
21 | However, the shell creates a session and for that session to persist there must be a server that handles PUT requests.
22 | Installation on Node.js using nhttpd and revstore is the easiest approach:
23 | 
24 | http://inimino.org/~inimino/blog/activeshell_installation


--------------------------------------------------------------------------------
/deps/DOM_util.js:
--------------------------------------------------------------------------------
 1 | function cEl(tn){return document.createElement(tn)}
 2 | function byId(id){return document.getElementById(id)}
 3 | function cTN(s){return document.createTextNode(s)}
 4 | function byClass(cls){return Array.prototype.slice.call(document.body.getElementsByClassName(cls))}
 5 | function removeEl(el){if(el&&el.parentNode)el.parentNode.removeChild(el)}
 6 | function replaceEl(old,_new){old.parentNode.replaceChild(_new,old)}
 7 | //function removeEl(el){el.parentNode.removeChild(el)}
 8 | function emptyEl(el){var el_p,el_sib
 9 |  el_p=el.parentNode;el_sib=el.nextSibling
10 |  el_p.removeChild(el) // DOM reflows can make clearing an element slow in older browsers so we remove from the DOM first
11 |  while(el.firstChild)el.removeChild(el.firstChild)
12 |  el_p.insertBefore(el,el_sib)}
13 | 
14 | function handleTextChange(el,f,ms){var timeout
15 |  el.onclick=el.onmouseup=el.onkeyup=handler
16 |  function handler(){
17 |   if(timeout){clearTimeout(timeout);timeout=null}
18 |   timeout=setTimeout(function(){f(el.value)},ms)}}
19 | 
20 | function xhr(method,uri,body,callback){var headers,p
21 |   // instead of a method string, the first argument can be an object with method and headers properties
22 |   if(typeof method==='object'){headers=method.headers;method=method.method}
23 |   var x=new XMLHttpRequest()
24 |   x.onreadystatechange=function(){if (x.readyState==4){callback(x)}}
25 |   x.open(method,uri,true)
26 |   if(headers) for(p in headers){x.setRequestHeader(p,headers[p])}
27 |   x.send(body)}
28 | 
29 | function GET_all(uris,cb){var pending,results
30 |  pending=uris.length
31 |  results=[]
32 |  if(!pending){cb(results)}
33 |  uris.forEach(function(uri,i,a){xhr('GET',uri,null,function(x){
34 |   results[i]=x
35 |   if(!--pending)cb(results)})})}
36 | 
37 | function boundingRect(el){
38 |  if(el.getBoundingClientRect)return el.getBoundingClientRect() // newer browsers have this
39 |  throw new Error('boundingRect unimplemented')
40 |  return {/*...*/}}
41 | 
42 | function addClass(el,_class){var x // Safari does not like "class" as an identifier
43 |  x=el.className
44 |  if(x.match(RegExp('\\b'+_class+'\\b')))return
45 |  if(x=='')return el.className=_class
46 |  el.className=x+' '+_class}
47 | 
48 | function removeClass(el,_class){var x,y
49 |  x=el.className
50 |  if(x==_class)return el.className=''
51 |  y=x.replace(RegExp('\\b'+_class+'\\b'),'')
52 |  if(y!=x)el.className=y}
53 | 
54 | function parseQueryString(s){
55 |  if(s[0]=='?')s=s.slice(1)
56 |  return s.split('&').map(function(s){var pos
57 |   if((pos=s.indexOf('='))<0)return {value:decodeURIComponent(s)}
58 |   return {key:decodeURIComponent(s.slice(0,pos)),value:decodeURIComponent(s.slice(pos+1))}})}
59 | 
60 | // XXX: these functions don't belong in this file
61 | 
62 | // unlike POSIX, this dirname() always returns a result that ends with slash
63 | function dirname(path){var components
64 |  components=path.split('/')
65 |  if(components[components.length-1]=="") components.pop()
66 |  return components.slice(0,-1).join('/')+'/'}
67 | 
68 | // path segments, trailing slashes preserved, empty segments dropped
69 | // '/foo/bar/' -> ['/','foo/','bar/']
70 | // '../foo//bar' -> ['../','foo/','bar']
71 | function path_segments(path){var ret=[]
72 |  path.split('/').forEach(function(s,i,a){if(s||!i)ret.push(s+(i<a.length-1?'/':''))})
73 |  return ret}
74 | 
75 | function resolve(base,path){var bsegs,psegs,bseg,pseg
76 |  if(path.charAt(0)=='/')return path
77 |  bsegs=path_segments(base)
78 |  psegs=path_segments(path)
79 |  // if the base is not a directory (...actually that should never happen) then remove the file component
80 |  if((bseg=bsegs.pop()).slice(-1)=='/')bsegs.push(bseg)
81 |  while(pseg=psegs.shift()){
82 |   if(pseg=='.'||pseg=='./')continue
83 |   if(pseg=='../'||pseg=='..'){bsegs.pop();if(!bsegs.length)bsegs.push('/')}
84 |   else bsegs.push(pseg)}
85 |  return bsegs.join('')}
86 | 


--------------------------------------------------------------------------------
/deps/es5-shim.min.js:
--------------------------------------------------------------------------------
 1 | (function(n){"function"==typeof define?define(n):n()})(function(){function n(a){try{return Object.defineProperty(a,"sentinel",{}),"sentinel"in a}catch(d){}}if(!Function.prototype.bind)Function.prototype.bind=function(a){var d=this;if("function"!=typeof d)throw new TypeError;var b=p.call(arguments,1),c=function(){if(this instanceof c){var e=function(){};e.prototype=d.prototype;var e=new e,g=d.apply(e,b.concat(p.call(arguments)));return null!==g&&Object(g)===g?g:e}return d.apply(a,b.concat(p.call(arguments)))};
 2 | return c};var l=Function.prototype.call,f=Object.prototype,p=Array.prototype.slice,m=l.bind(f.toString),h=l.bind(f.hasOwnProperty),t,u,q,r,o;if(o=h(f,"__defineGetter__"))t=l.bind(f.__defineGetter__),u=l.bind(f.__defineSetter__),q=l.bind(f.__lookupGetter__),r=l.bind(f.__lookupSetter__);if(!Array.isArray)Array.isArray=function(a){return"[object Array]"==m(a)};if(!Array.prototype.forEach)Array.prototype.forEach=function(a,d){var b=i(this),c=0,e=b.length>>>0;if("[object Function]"!=m(a))throw new TypeError;
 3 | for(;c<e;)c in b&&a.call(d,b[c],c,b),c++};if(!Array.prototype.map)Array.prototype.map=function(a,d){var b=i(this),c=b.length>>>0,e=Array(c);if("[object Function]"!=m(a))throw new TypeError;for(var g=0;g<c;g++)g in b&&(e[g]=a.call(d,b[g],g,b));return e};if(!Array.prototype.filter)Array.prototype.filter=function(a,d){var b=i(this),c=b.length>>>0,e=[];if("[object Function]"!=m(a))throw new TypeError;for(var g=0;g<c;g++)g in b&&a.call(d,b[g],g,b)&&e.push(b[g]);return e};if(!Array.prototype.every)Array.prototype.every=
 4 | function(a,d){var b=i(this),c=b.length>>>0;if("[object Function]"!=m(a))throw new TypeError;for(var e=0;e<c;e++)if(e in b&&!a.call(d,b[e],e,b))return!1;return!0};if(!Array.prototype.some)Array.prototype.some=function(a,d){var b=i(this),c=b.length>>>0;if("[object Function]"!=m(a))throw new TypeError;for(var e=0;e<c;e++)if(e in b&&a.call(d,b[e],e,b))return!0;return!1};if(!Array.prototype.reduce)Array.prototype.reduce=function(a){var d=i(this),b=d.length>>>0;if("[object Function]"!=m(a))throw new TypeError;
 5 | if(!b&&1==arguments.length)throw new TypeError;var c=0,e;if(2<=arguments.length)e=arguments[1];else{do{if(c in d){e=d[c++];break}if(++c>=b)throw new TypeError;}while(1)}for(;c<b;c++)c in d&&(e=a.call(void 0,e,d[c],c,d));return e};if(!Array.prototype.reduceRight)Array.prototype.reduceRight=function(a){var d=i(this),b=d.length>>>0;if("[object Function]"!=m(a))throw new TypeError;if(!b&&1==arguments.length)throw new TypeError;var c,b=b-1;if(2<=arguments.length)c=arguments[1];else{do{if(b in d){c=d[b--];
 6 | break}if(0>--b)throw new TypeError;}while(1)}do b in this&&(c=a.call(void 0,c,d[b],b,d));while(b--);return c};if(!Array.prototype.indexOf)Array.prototype.indexOf=function(a){var d=i(this),b=d.length>>>0;if(!b)return-1;var c=0;1<arguments.length&&(c=v(arguments[1]));for(c=0<=c?c:Math.max(0,b+c);c<b;c++)if(c in d&&d[c]===a)return c;return-1};if(!Array.prototype.lastIndexOf)Array.prototype.lastIndexOf=function(a){var d=i(this),b=d.length>>>0;if(!b)return-1;var c=b-1;1<arguments.length&&(c=Math.min(c,
 7 | v(arguments[1])));for(c=0<=c?c:b-Math.abs(c);0<=c;c--)if(c in d&&a===d[c])return c;return-1};if(!Object.getPrototypeOf)Object.getPrototypeOf=function(a){return a.__proto__||(a.constructor?a.constructor.prototype:f)};if(!Object.getOwnPropertyDescriptor)Object.getOwnPropertyDescriptor=function(a,d){if("object"!=typeof a&&"function"!=typeof a||null===a)throw new TypeError("Object.getOwnPropertyDescriptor called on a non-object: "+a);if(h(a,d)){var b,c,e;b={enumerable:!0,configurable:!0};if(o){var g=
 8 | a.__proto__;a.__proto__=f;c=q(a,d);e=r(a,d);a.__proto__=g;if(c||e){if(c)b.get=c;if(e)b.set=e;return b}}b.value=a[d];return b}};if(!Object.getOwnPropertyNames)Object.getOwnPropertyNames=function(a){return Object.keys(a)};if(!Object.create)Object.create=function(a,d){var b;if(null===a)b={__proto__:null};else{if("object"!=typeof a)throw new TypeError("typeof prototype["+typeof a+"] != 'object'");b=function(){};b.prototype=a;b=new b;b.__proto__=a}void 0!==d&&Object.defineProperties(b,d);return b};if(Object.defineProperty){var l=
 9 | n({}),y="undefined"==typeof document||n(document.createElement("div"));if(!l||!y)var s=Object.defineProperty}if(!Object.defineProperty||s)Object.defineProperty=function(a,d,b){if("object"!=typeof a&&"function"!=typeof a||null===a)throw new TypeError("Object.defineProperty called on non-object: "+a);if("object"!=typeof b&&"function"!=typeof b||null===b)throw new TypeError("Property description must be an object: "+b);if(s)try{return s.call(Object,a,d,b)}catch(c){}if(h(b,"value"))if(o&&(q(a,d)||r(a,
10 | d))){var e=a.__proto__;a.__proto__=f;delete a[d];a[d]=b.value;a.__proto__=e}else a[d]=b.value;else{if(!o)throw new TypeError("getters & setters can not be defined on this javascript engine");h(b,"get")&&t(a,d,b.get);h(b,"set")&&u(a,d,b.set)}return a};if(!Object.defineProperties)Object.defineProperties=function(a,d){for(var b in d)h(d,b)&&Object.defineProperty(a,b,d[b]);return a};if(!Object.seal)Object.seal=function(a){return a};if(!Object.freeze)Object.freeze=function(a){return a};try{Object.freeze(function(){})}catch(D){Object.freeze=
11 | function(a){return function(d){return"function"==typeof d?d:a(d)}}(Object.freeze)}if(!Object.preventExtensions)Object.preventExtensions=function(a){return a};if(!Object.isSealed)Object.isSealed=function(){return!1};if(!Object.isFrozen)Object.isFrozen=function(){return!1};if(!Object.isExtensible)Object.isExtensible=function(a){if(Object(a)===a)throw new TypeError;for(var d="";h(a,d);)d+="?";a[d]=!0;var b=h(a,d);delete a[d];return b};if(!Object.keys){var w=!0,x="toString,toLocaleString,valueOf,hasOwnProperty,isPrototypeOf,propertyIsEnumerable,constructor".split(","),
12 | z=x.length,j;for(j in{toString:null})w=!1;Object.keys=function(a){if("object"!=typeof a&&"function"!=typeof a||null===a)throw new TypeError("Object.keys called on a non-object");var d=[],b;for(b in a)h(a,b)&&d.push(b);if(w)for(b=0;b<z;b++){var c=x[b];h(a,c)&&d.push(c)}return d}}if(!Date.prototype.toISOString||-1===(new Date(-621987552E5)).toISOString().indexOf("-000001"))Date.prototype.toISOString=function(){var a,d,b,c;if(!isFinite(this))throw new RangeError;a=[this.getUTCMonth()+1,this.getUTCDate(),
13 | this.getUTCHours(),this.getUTCMinutes(),this.getUTCSeconds()];c=this.getUTCFullYear();c=(0>c?"-":9999<c?"+":"")+("00000"+Math.abs(c)).slice(0<=c&&9999>=c?-4:-6);for(d=a.length;d--;)b=a[d],10>b&&(a[d]="0"+b);return c+"-"+a.slice(0,2).join("-")+"T"+a.slice(2).join(":")+"."+("000"+this.getUTCMilliseconds()).slice(-3)+"Z"};if(!Date.now)Date.now=function(){return(new Date).getTime()};if(!Date.prototype.toJSON)Date.prototype.toJSON=function(){if("function"!=typeof this.toISOString)throw new TypeError;return this.toISOString()};
14 | if(!Date.parse||864E13!==Date.parse("+275760-09-13T00:00:00.000Z"))Date=function(a){var d=function g(b,d,c,f,h,i,j){var k=arguments.length;return this instanceof a?(k=1==k&&""+b===b?new a(g.parse(b)):7<=k?new a(b,d,c,f,h,i,j):6<=k?new a(b,d,c,f,h,i):5<=k?new a(b,d,c,f,h):4<=k?new a(b,d,c,f):3<=k?new a(b,d,c):2<=k?new a(b,d):1<=k?new a(b):new a,k.constructor=g,k):a.apply(this,arguments)},b=RegExp("^(\\d{4}|[+-]\\d{6})(?:-(\\d{2})(?:-(\\d{2})(?:T(\\d{2}):(\\d{2})(?::(\\d{2})(?:\\.(\\d{3}))?)?(?:Z|(?:([-+])(\\d{2}):(\\d{2})))?)?)?)?$"),
15 | c;for(c in a)d[c]=a[c];d.now=a.now;d.UTC=a.UTC;d.prototype=a.prototype;d.prototype.constructor=d;d.parse=function(d){var c=b.exec(d);if(c){c.shift();for(var f=1;7>f;f++)c[f]=+(c[f]||(3>f?1:0)),1==f&&c[f]--;var h=+c.pop(),i=+c.pop(),j=c.pop(),f=0;if(j){if(23<i||59<h)return NaN;f=6E4*(60*i+h)*("+"==j?-1:1)}h=+c[0];return 0<=h&&99>=h?(c[0]=h+400,a.UTC.apply(this,c)+f-126227808E5):a.UTC.apply(this,c)+f}return a.parse.apply(this,arguments)};return d}(Date);j="\t\n\u000b\u000c\r \u00a0\u1680\u180e\u2000\u2001\u2002\u2003\u2004\u2005\u2006\u2007\u2008\u2009\u200a\u202f\u205f\u3000\u2028\u2029\ufeff";
16 | if(!String.prototype.trim||j.trim()){j="["+j+"]";var A=RegExp("^"+j+j+"*"),B=RegExp(j+j+"*$");String.prototype.trim=function(){return(""+this).replace(A,"").replace(B,"")}}var v=function(a){a=+a;a!==a?a=0:0!==a&&a!==1/0&&a!==-(1/0)&&(a=(0<a||-1)*Math.floor(Math.abs(a)));return a},C="a"!="a"[0],i=function(a){if(null==a)throw new TypeError;return C&&"string"==typeof a&&a?a.split(""):Object(a)}});


--------------------------------------------------------------------------------
/deps/lists.js:
--------------------------------------------------------------------------------
 1 | function foldl1(f,a){var x,i,l
 2 |  x=a[0]
 3 |  for(i=1,l=a.length;i<l;i++)x=f(x,a[i])
 4 |  return x}
 5 | 
 6 | function foldl(f,a,x){var i,l
 7 |  for(i=0,l=a.length;i<l;i++)x=f(x,a[i])
 8 |  return x}
 9 | 
10 | // [[a]] → [a]
11 | function concat(as){var i,l,a=[]
12 |  for(i=0,l=as.length;i<l;i++)
13 |   a.push.apply(a,as[i])
14 |  return a}
15 | 
16 | function uniq(a){
17 |  return a.filter(function(e,i,a){return !i||e!==a[i-1]})}
18 | 
19 | function max(a){
20 |  return foldl(f,a,-Infinity)
21 |  function f(a,b){return Math.max(a,b)}}
22 | 
23 | function min(a){
24 |  return foldl(f,a,Infinity)
25 |  function f(a,b){return Math.min(a,b)}}
26 | 
27 | function sum(a){
28 |  return foldl(f,a,0)
29 |  function f(a,b){return a+b}}
30 | 
31 | function product(a){
32 |  return foldl(f,a,1)
33 |  function f(a,b){return a*b}}
34 | 
35 | // String → Object → a
36 | function access(prop){return function(o){return o[prop]}}
37 | 
38 | /* [[name,value]] → Object */
39 | function objectFromList(a){var o={}
40 |  a.forEach(function(e){
41 |   o[e[0]]=e[1]})
42 |  return o}
43 | 
44 | /* [a], [b] → [[a,b]] */
45 | function zip(a,b){var r=[],i,l
46 |  l=Math.min(a.length,b.length)
47 |  for(i=0;i<l;i++) r.push([a[i],b[i]])
48 |  return r}
49 | 
50 | /* [a] → a */
51 | function last(a){return a[a.length-1]}
52 | 
53 | function fst(a){return a[0]}
54 | function snd(a){return a[1]}


--------------------------------------------------------------------------------
/deps/util.js:
--------------------------------------------------------------------------------
  1 | /* Various debugging utilities and convenience functions */
  2 | 
  3 | function dir(o){var a=[],p;for(p in o){a.push(p)}return a.sort().join('\n')}
  4 | 
  5 | function test_pp(){
  6 |  var a=[],f=function(x){a.push(x)},circular=[],o
  7 |  circular[0]=circular 
  8 |  f(pp(['foo','bar',42]))
  9 |  o=[{str:'foo',x:'bar\n"baz"\nquux'},{str:'baz',y:['xyzzy','quux','foo'],z:undefined,zz:null,f:f,foo:[true,false],circular:circular}]
 10 |  o[1].self=o[1]
 11 |  f(pp([o]))
 12 |  return a.join('\n\n')}
 13 | 
 14 | function pp(o,depth){return pp_r(o,'',depth==undefined?32:depth)}
 15 | 
 16 | function pp_r(o,ss,d){var a=[],p
 17 |  if(!d)return '…'
 18 |  if(o===undefined)return 'undefined'
 19 |  if(o===null)return 'null'
 20 |  switch(typeof o){
 21 |  case 'boolean':return o.toString()
 22 |  case 'string':return pp_quote(o)
 23 |  case 'number':return o.toString()
 24 |  case 'function':return o.toString().replace(/\s+/g,'').replace(/(.{32}).+/,'$1…')}
 25 |  if(o.constructor==Array){
 26 |   o.forEach(function(e,i){
 27 |    a.push(pp_r(o[i],' '+ss,d-1))})
 28 |   return '['+a.join('\n'+ss+',')+']'}
 29 |  if(o.constructor==Date)return o.toString()
 30 |  for(p in o) if(o.hasOwnProperty(p))
 31 |   a.push(p+':'+pp_r(o[p],(',:'+p).replace(/./g,' ')+ss,d-1))
 32 |  return '{'+a.join('\n'+ss+',')+'}'}
 33 | 
 34 | pp=pp_smart
 35 | 
 36 | // pp_smart outputs sharp variables (like Mozilla), (optionally) re-orders object properties so that the largest ones come at the end (which makes reading deeply nested objects much easier), and tries to produce much more compact output by compressing properties and array members onto the same line when possible up to some specified line length (by default 80 chars)
 37 | 
 38 | // x, n_rows, n_cols
 39 | function pp_smart(x,opts){var parents=[],refs=[,]
 40 |  opts=opts||{}
 41 |  default_('rows',Infinity)
 42 |  default_('cols',72)
 43 |  default_('show_f',function(f){return (''+f).replace(/\s+/g,' ').replace(/(.{32}).{16,}/,'$1…')})
 44 |  default_('reorder',true)
 45 |  default_('string_escape',false)
 46 |  default_('string_limit',64)
 47 |  default_('hide',[])
 48 |  parents=[]
 49 |  return go(x,"")
 50 |  function default_(k,v){if(opts[k]===undefined)opts[k]=v}
 51 |  function lines(s){return s.split('\n').length}
 52 |  function go(x,ss){var i,l,a=[],sub,cols,p,defer=[]
 53 |   if(x===undefined)return 'undefined'
 54 |   if(x===null)return 'null'
 55 |   switch(typeof x){
 56 |    case 'string':return pp_quote(x,opts).replace(/\n/g,'\n '+ss)
 57 |    case 'boolean':
 58 |    case 'number':return ''+x
 59 |    case 'function':return opts.show_f(x)}
 60 |   if(x.constructor==Date)return x.toString()
 61 |   if(x instanceof RegExp)return '/'+x.source+'/'+(x.global?'g':'')+(x.ignorecase?'i':'')+(x.multiline?'m':'')
 62 |   cols=opts.cols-ss.length
 63 |   if((i=parents.lastIndexOf(x))>-1)refs.push(parents[i])
 64 |   if((i=refs.lastIndexOf(x))>-1)return '#'+i+'#'
 65 |   if(x.constructor==Array||Array.isArray&&Array.isArray(x)){
 66 |    parents.push(x)
 67 |    for(i=0,l=x.length;i<l;i++){
 68 |     sub=(go(x[i],' '+ss))
 69 |     if(a.length) sub=','+sub
 70 |     if(sub.indexOf('\n')>-1){
 71 |      if(a.length) a.push('\n'+ss)
 72 |      a.push(sub)}
 73 |     else{
 74 |      if(cols-sub.length < 0){a.push('\n'+ss);cols=opts.cols-ss.length}
 75 |      a.push(sub)
 76 |      cols-=sub.length}}
 77 |    parents.pop()
 78 |    return ((i=refs.lastIndexOf(x))>-1?'#'+i+'=':'')
 79 |         + '['+a.join('')+']'}
 80 |   parents.push(x)
 81 |   for(p in x) if(Object.prototype.hasOwnProperty.call(x,p)){
 82 |    if(opts.hide.indexOf(p)>-1)sub=p+':<hidden>'
 83 |    else sub=p+':'+go(x[p],(',:'+p).replace(/./g,' ')+ss)
 84 |    if(sub.indexOf('\n')>-1){
 85 |     if(opts.reorder)defer.push(sub)
 86 |     else{
 87 |      if(a.length)sub=','+sub
 88 |      if(a.length) a.push('\n'+ss)
 89 |      a.push(sub)}}
 90 |    else{
 91 |     if(a.length)sub=','+sub
 92 |     if(cols-sub.length<0 && a.length){a.push('\n'+ss);cols=opts.cols-ss.length}
 93 |     a.push(sub)
 94 |     cols-=sub.length}}
 95 |   defer.sort(function(a,b){var la=lines(a),lb=lines(b); return la==lb?0:la>lb?1:-1})
 96 |   for(i=0,l=defer.length;i<l;i++){
 97 |    if(a.length) a.push('\n'+ss+',')
 98 |    a.push(defer[i])}
 99 |   parents.pop()
100 |   return ((i=refs.lastIndexOf(x))>-1?'#'+i+'=':'')
101 |        + '{'+a.join('')+'}'}}
102 | 
103 | function pp_quote(s,opts){opts=opts||{}
104 |  if(opts.string_escape) s=s.replace(/\\/g,'\\\\').replace(/\n/g,'\\n')
105 |  if(opts.string_limit && s.length>opts.string_limit)s=s.slice(0,opts.string_limit)+'…'
106 |  if(s.indexOf("'")==-1)return "'"+s+"'"
107 |  return '"'+s.replace(/"/g,'\\"')+'"'}
108 | 
109 | /*
110 | 
111 | // version for IRC bot
112 | // returns output on a single line, and adds E4X support
113 | 
114 | function pp(o,depth){return pp_r(o,depth==undefined?8:depth)}
115 | 
116 | function pp_r(o,d){var a=[],p
117 |  if(!d)return '...'
118 |  if(o===undefined)return 'undefined'
119 |  if(o===null)return 'null'
120 |  switch(typeof o){
121 |  case 'boolean':return o.toString()
122 |  case 'string':return '"'+o.replace(/\n/g,'\\n').replace(/"/g,'\\"')+'"'
123 |  case 'number':return o.toString()
124 |  case 'xml':return o.toXMLString()}
125 |  if(o instanceof RegExp)return '/'+o.source+'/'
126 |  if(typeof o=='function')return o.toString().replace(/\s+/g,' ').replace(/(.{32}).+/,'$1…')
127 |  if(o.constructor==Array){
128 |   o.forEach(function(e,i){
129 |    a.push(pp_r(o[i],d-1))})
130 |   return '['+a.join(',')+']'}
131 |  if(o.constructor==Date){
132 |   return o.toString()}
133 |  for(p in o) if(Object.prototype.hasOwnProperty.call(o,p))
134 |   a.push(p+':'+pp_r(o[p],d-1))
135 |  return '{'+a.join(',')+'}'}
136 | 
137 | /*
138 | */
139 | 
140 | function quote_string_single(s){
141 |  return "'"
142 |       + s.replace(/\\/g,'\\\\').replace(/\n/g,'\\n').replace(/'/g,"\\'")
143 |       + "'"}
144 | 
145 | function quote_string_double(s){
146 |  return '"'
147 |       + s.replace(/\\/g,'\\\\').replace(/\n/g,'\\n').replace(/"/g,'\\"')
148 |       + '"'}
149 | 
150 | (function(){
151 |  function create(){
152 |   function log(o){var x,s=''
153 |    if(arguments.length>1){o=[].concat(Array.prototype.slice.call(arguments))}
154 |    if(log.timing){x=+new Date;s=x-(log.time||x)+'ms\n';log.time=x}
155 |    log.log.push(s+(typeof o=='string'?o:pp(o)));return o}
156 |   log.log=[]
157 |   log.get=function(n){return '\n\n'+log.log.slice(n?-n:0).join('\n\n')}
158 |   log.count=function(){return log.log.length}
159 |   log.clear=function(){log.log=[]}
160 |   log.limit=function(n){if(log.log.length>n)log.log=log.log.slice(-n)}
161 |   return log}
162 |  log=create()
163 |  log.create=create})()
164 | 
165 | var log
166 | 
167 | function deepEq(x,y){var p
168 |  if(x===y)return true
169 |  if(typeof x!='object'
170 |  || typeof y!='object')return false
171 |  for(p in x)if(!deepEq(x[p],y[p]))return false
172 |  for(p in y)if(!(p in x))return false
173 |  return true}
174 | 
175 | function extend(a,b){
176 |  for(var p in b)if(Object.prototype.hasOwnProperty.call(b,p))a[p]=b[p]
177 |  return arguments.length==2?a:extend.apply(null,[a].concat(Array.prototype.slice.call(arguments,2)))}
178 | 
179 | function event_interface(){var handlers
180 |   handlers={}
181 |   return {on:on
182 |          ,event:event
183 |          }
184 |   function on(e,cb){(handlers[e]=handlers[e]||[]).push(cb)}
185 |   function event(e,a1,a2){var args=[].slice.call(arguments,1);(handlers[e]||[]).forEach(function(cb){cb.apply(null,args)})}}
186 | 


--------------------------------------------------------------------------------
/hinting.js:
--------------------------------------------------------------------------------
 1 | // hint :: partial command → hints object
 2 | 
 3 | // partial command:
 4 | // - verb (zero, one, or more)
 5 | // - args (zero or more)
 6 | // - ports (zero or more)
 7 | // Each verb, arg, or port, is parsed as a token in the command, and the parser may know that the token is incomplete (e.g. unclosed quoted string)
 8 | // The UI may also pass cursor position and editing history.
 9 | 
10 | // hints object:
11 | // - error conditions
12 | // - command effect hints
13 | // - completion suggestions
14 | // - deletion / occlusion hints
15 | 
16 | function hint(partial,context,cb){var errors,effects,completions,deletions,verb
17 |   errors=['fake error condition']
18 |   effects=[]
19 |   completions=[]//{type:"arg",token:0,completion:"abc"}]
20 |   deletions=[{type:"verb",token:0}]
21 |   if(partial.verbs.length) verb=context.verbs[partial.verbs[partial.verbs.length-1]]
22 |   if(verb){
23 |     if(!verb.desc)alert('verb without description')
24 |     effects.push(verb.desc)
25 |     if((partial.ports||[]).length<(verb.ports||[]).length){
26 |       completions.push({type:"port"})}
27 |     completions.push(verb.args.join('; '))
28 |     }
29 |   cb({errors:errors
30 |      ,effects:effects
31 |      ,completions:completions
32 |      ,deletions:deletions})}


--------------------------------------------------------------------------------
/ports/aws.js:
--------------------------------------------------------------------------------
 1 | /* AWS port
 2 |  * all messages are proxied by the awsrpc module which must be installed and configured on the server
 3 |  */
 4 | 
 5 | window.PortAWS={}
 6 | 
 7 | ;(function(exports){
 8 | 
 9 | exports.init=init
10 | 
11 | function init(persistence,port_obj,args){var o,server_has_credentials,aws_access_key_id,aws_secret_access_key
12 | o=port_obj
13 | identify()
14 | server_has_credentials=false
15 | o.awsrpc_path=args[0]
16 | o.set_access_id=set_access_id
17 | o.set_secret_access_key=set_secret_access_key
18 | o.list_verified_email_addresses=list_verified_email_addresses
19 | o.request=request
20 | function set_access_id(id){
21 |   aws_access_key_id=id
22 |   identify()}
23 | function set_secret_access_key(key){
24 |   aws_secret_access_key=key
25 |   identify()}
26 | function list_verified_email_addresses(out){
27 |   request('ListVerifiedEmailAddresses',{},out)}
28 | 
29 | function request(action,query,cb){var body,req
30 |   //authenticate(after_auth)
31 |   after_auth()
32 |   function after_auth(){
33 |     req={method:'request'
34 |         ,access_key_id:aws_access_key_id
35 |         ,secret_access_key:aws_secret_access_key
36 |         ,args:[action,query]
37 |         }
38 |     awsrpc_send(req,cb)}}
39 | 
40 | function awsrpc_send(req,cb){
41 |   body=JSON.stringify(req)
42 |   xhr('POST',o.awsrpc_path,body,function(x){cb(x.responseText)})}//XXX TODO: handle errors
43 | 
44 | function authenticate(cb){
45 |   if(server_has_credentials)return setTimeout(cb,0)
46 |   if(!aws_access_key_id||!aws_secret_access_key){alert('access key id or secret key not set');return}
47 |   awsrpc_send({method:'setCredentials',args:[aws_access_key_id,aws_secret_access_key]},function(resp){if(resp!="Accepted")return alert('Error submitting authentication credentials to server');server_has_credentials=true;cb()})
48 |   }
49 | 
50 | function identify(){
51 |   o.event('identify','AWS: '
52 |    +(aws_access_key_id
53 |       ?aws_secret_access_key
54 |          ?'access key id '+aws_access_key_id
55 |          :aws_access_key_id+' (no secret access key set (use setsecretaccesskey))'
56 |       :'no access id (use setaccesskeyid)'))}
57 | 
58 | }
59 | 
60 | })(PortAWS);
61 | 


--------------------------------------------------------------------------------
/ports/fake.js:
--------------------------------------------------------------------------------
 1 | /* Fake filesystem port
 2 |  */
 3 | 
 4 | window.PortFake={}
 5 | 
 6 | ;(function(exports){
 7 | 
 8 | exports.init=init
 9 | 
10 | function init(persistence,o){var obj
11 |   obj={insert:insert
12 |       ,update:update
13 |       ,populate:populate
14 |       ,serialize:serialize
15 |       ,setprop:setprop
16 |       ,remove:remove
17 |       ,persist:persist
18 |       }
19 |   extend(o,obj)
20 |   obj=o
21 |   persistence.read('listing',function(err,data){obj.data=data||{};update()})
22 |   return o
23 |   function insert(a,b){
24 |     obj.data[a]=b}
25 |   function populate(str){var o
26 |     o=JSON.parse(str)
27 |     obj.data=o}
28 |   function serialize(){
29 |     return JSON.stringify(obj.data)}
30 |   function setprop(path,prop,val){
31 |     obj.data[path][prop]=val}
32 |   function remove(path){var x
33 |     x=obj.data[path]
34 |     delete obj.data[path]
35 |     return x}
36 |   function update(){
37 |     obj.event('identify',JSON.stringify(obj.data))}
38 |   function persist(){
39 |     persistence.write('listing',obj.data)}
40 |   }
41 | 
42 | })(PortFake);
43 | 


--------------------------------------------------------------------------------
/ports/http.js:
--------------------------------------------------------------------------------
 1 | /* HTTP port for same-origin and CORS requests (pure XHR without a server proxy)
 2 |  */
 3 | 
 4 | window.PortHTTP={}
 5 | 
 6 | ;(function(exports){
 7 | 
 8 | exports.init=init
 9 | 
10 | function init(persistence,obj){
11 |   extend(obj,
12 |     {request:request
13 |     })
14 | 
15 |   setTimeout(identify,0)
16 | 
17 |   function request(method,uri,body,cb){
18 |     xhr(method,uri,body,cb)}
19 | 
20 |   function identify(){
21 |     obj.event('identify','HTTP')}
22 | 
23 |   }
24 | 
25 | })(PortHTTP);


--------------------------------------------------------------------------------
/ports/nhttpd.js:
--------------------------------------------------------------------------------
 1 | // nhttpd configuration port
 2 | 
 3 | window.PortNHTTPD={}
 4 | 
 5 | ;(function(exports){
 6 | 
 7 | exports.init=function init(persistence,o,args){var nhttpd_conf_path,dispatch_path,read,write
 8 | 
 9 | read=persistence.read
10 | write=persistence.write
11 | nhttpd_conf_path=args[0]
12 | o.devmode=devmode
13 | o.dispatch_ls=dispatch_ls
14 | o.dispatch_cd=dispatch_cd
15 | o.dispatch_insert_before=dispatch_insert_before
16 | o.dispatch_update=dispatch_update
17 | if(!o)throw new Error('missing path argument')
18 | identify()
19 | read('dispatch_path',function(e,s){
20 |   dispatch_path=e?'':s
21 |   identify()})
22 | 
23 | function devmode(devmode_path){
24 |   }
25 | 
26 | function dispatch_ls(out){
27 |   xhr('GET',current_path(),null,function(x){out(x.responseText)})
28 |   }
29 | 
30 | function dispatch_cd(path,out){
31 |   dispatch_path=path[0]=='/'?path.slice(1):dispatch_path+path // XXX horrid
32 |   write('dispatch_path',dispatch_path)
33 |   identify()
34 |   out(dispatch_path)}
35 | 
36 | function dispatch_insert_before(matchtype,matchtok,value,ref,out){
37 |   req={before:ref
38 |       ,value:[matchtype,matchtok,value]}
39 |   conf_dispatch_POST(req,out)}
40 | 
41 | function dispatch_update(placement,ref,value,out){
42 |   req={value:value}
43 |   if(ref===undefined)ref=true
44 |   req[placement]=ref
45 |   conf_dispatch_POST(req,out)}
46 | 
47 | function conf_dispatch_POST(obj,out){var uri
48 |   uri=current_path()
49 |   xhr({method:'POST',headers:{"Content-Type":"application/json"}},uri,JSON.stringify(obj),function(x){
50 |     out(x.status+'\n'+x.responseText)})}
51 | 
52 | function current_path(){return nhttpd_conf_path+"dispatch/"+dispatch_path}
53 | 
54 | function identify(){
55 |   o.event('identify','nhttpd: '+current_path())}
56 | 
57 | }
58 | 
59 | })(PortNHTTPD);


--------------------------------------------------------------------------------
/ports/rvs.js:
--------------------------------------------------------------------------------
 1 | /* Revstore port
 2 |  */
 3 | 
 4 | window.PortRevstore={}
 5 | 
 6 | ;(function(exports){"use strict"
 7 | 
 8 | exports.init=init
 9 | 
10 | function init(persistence,o,args){var revstore_root
11 |   o.history=history
12 |   o.cd=cd
13 |   o.cat=cat
14 |   o.ls=ls
15 |   o.mv=mv
16 |   o.ln=ln
17 |   o.rm=rm
18 |   o.put=put
19 |   revstore_root=o.revstore_root=args[0]
20 |   o.PWD=args[0]
21 |   o.update=update
22 |   o.persist=persist
23 |   o.resolve=resolve_relative
24 |   o.parse_history=parse_history
25 |   persistence.read("path",function(e,x){o.PWD=x||revstore_root;update()})
26 |   function update(){
27 |     o.event('identify','rvs: '+o.PWD)}
28 |   function persist(){
29 |     persistence.write("path",o.PWD)}
30 |   function history(path,out){
31 |     xhr('GET',resolve(o.PWD,path||'')+'?history',null,function(x){var a,i,l,ts,ret
32 |       a=JSON.parse(x.responseText)
33 |       ts=0
34 |       ret=[]
35 |       for(i=0,l=a.length;i<l;i++){
36 |         if(typeof a[i]=='string'){
37 |           ret.push('as: '+a[i]);continue}
38 |         ts+=a[i]
39 |         ret.push(ts)}
40 |       out(ret)})}
41 |   function cd(path){
42 |     return o.PWD=resolve(o.PWD,path)}
43 |   function cat(path,out){
44 |     xhr('GET',resolve(o.PWD,path),null,function(x){out(x.responseText)})}
45 |   function ls(path,out){
46 |     xhr('GET',resolve(o.PWD,path||'')+'?text',null,function(x){out(x.responseText.split('\n'))})}
47 |   function mv(from,to,out){
48 |     xhr({method:'MOVE'
49 |         ,headers:{Destination:reroot(resolve(o.PWD,to))}},resolve(o.PWD,from),null,
50 |       function(x){
51 |         out(x.responseText)})}
52 |   function ln(target,link_location,out){
53 |     xhr({method:'POST',headers:{'X-Link-With':reroot(resolve(o.PWD,target))}}
54 |        ,resolve(o.PWD,link_location)
55 |        ,null
56 |        ,function(x){out(x.responseText)})}
57 |   function rm(path,out){
58 |     xhr('DELETE',resolve(o.PWD,path),null,function(x){
59 |       out(x.responseText)})}
60 |   function put(data,path,out){
61 |     xhr('PUT',resolve(o.PWD,path),data,function(x){out(x.responseText+' '+x.status)})}
62 | /* old GET verb using rvs as fetch-to-storage proxy
63 | "get_rvs":{"desc":"Store the result of a GET request to a remote server in the revision store"
64 |        ,"args":["remote http URL","local relative path to store result"]
65 |        ,"env-in":["PWD"]
66 |        ,"f":"function(cmd){xhr({method:'POST',headers:{'X-Request-From':cmd.args[0]}},cmd.args[1],null,function(x){cmd.out(x.responseText)})}"}
67 | ,
68 | */
69 |   function reroot(path){
70 |     if(path.slice(0,o.revstore_root.length)==revstore_root)return path.slice(revstore_root.length-1)
71 |     return path}
72 |   function resolve_relative(path){
73 |     return resolve(o.PWD,path)}
74 |   function parse_history(s){var a,ret=[],ts=0,path='',i,l
75 |     a=JSON.parse(s)
76 |     for(i=0,l=a.length;i<l;i++){
77 |       if(typeof a[i]=='number'){ts+=a[i];ret.push({path:path,ts:ts})}
78 |       else path=a[i]}
79 |     return ret}
80 | }
81 | 
82 | })(PortRevstore);
83 | 


--------------------------------------------------------------------------------
/ports/ssh.js:
--------------------------------------------------------------------------------
 1 | /* SSH port
 2 |  */
 3 | 
 4 | window.PortSSH={}
 5 | 
 6 | ;(function(exports){
 7 | 
 8 | exports.init=function init(persistence,o,args){var ssh_gw_uri,ssh_host,ssh_user,ssh_keyid
 9 | 
10 | ssh_gw_uri=args[0]
11 | o.keygen=keygen
12 | o.keylist=keylist
13 | o.connect=connect
14 | o.exec=exec
15 | 
16 | persistence.read('auth',read_auth)
17 | 
18 | function read_auth(e,s){var a
19 |   if(e||!s)return
20 |   a=JSON.parse(s)
21 |   ssh_host=a.host
22 |   ssh_user=a.user
23 |   ssh_keyid=a.keyid
24 |   identify()}
25 | 
26 | identify()
27 | 
28 | function keygen(out){var req
29 |   req={action:"keygen"}
30 |   gw_send(req,out)}
31 | 
32 | function keylist(out){var req
33 |   req={action:"keylist"}
34 |   gw_send(req,out)}
35 | 
36 | function connect(user,host,keyid,out){var auth
37 |   ssh_host=host
38 |   ssh_user=user
39 |   ssh_keyid=keyid
40 |   auth={user:user,host:host,keyid:keyid}
41 |   persistence.write('auth',JSON.stringify(auth))
42 |   out(identify())}
43 | 
44 | function exec(command,out){var req
45 |   req={action:"exec"}
46 |   req.command=command
47 |   add_auth_props(req)
48 |   gw_send(req,out)}
49 | 
50 | function add_auth_props(o){
51 |   o.host=ssh_host
52 |   o.user=ssh_user
53 |   o.keyid=ssh_keyid
54 |   return o}
55 | 
56 | function gw_send(req,out){
57 |   xhr('POST',ssh_gw_uri,JSON.stringify(req),function(x){out(x.responseText)})}
58 | 
59 | function identify(){var idstr
60 |   idstr=ssh_gw_uri+' '+ssh_user+'@'+ssh_host+' '+ssh_keyid
61 |   o.event('identify','ssh: '+idstr)
62 |   return idstr}
63 | 
64 | }
65 | 
66 | })(PortSSH);
67 | 


--------------------------------------------------------------------------------
/prototype.html:
--------------------------------------------------------------------------------
   1 | <!doctype html>
   2 | <title>Shell prototype</title>
   3 | <style>
   4 | * {margin:0;padding:0;border:0}
   5 | * {-moz-border-radius:5px;-webkit-border-radius:5px;border-radius:5px}
   6 | .square,html,body {-moz-border-radius:0;-webkit-border-radius:0;border-radius:0}
   7 | body {background:#444}
   8 | a:link {color:#48f}
   9 | a:visited {color:#c5f}
  10 | ul,ol {list-style:none}
  11 | .hidden {display:none}
  12 | #hint {background:#333;color:#fff;position:fixed;top:69%;width:40%;left:30%;z-index:9}
  13 | #hint, #hint * {font:16px Georgia}
  14 | #sessionlist {position:absolute;top:20%;left:20%;height:60%;width:60%;text-align:center;overflow:auto}
  15 | #cl {background:#222;color:#cc9;padding:2px;font:32px monospace;position:fixed;bottom:33%;left:22%;width:60%;z-index:10;-moz-border-radius:4px;text-align:center}
  16 | #pastebox {position:fixed;bottom:22%;height:28%;left:22%;width:60%;z-index:20;padding:2px;font:18px monospace}
  17 | #paste {height:80%;width:100%;display:block;padding:2px;border:1px solid #111;background:#aaa;color:#222}
  18 | #cl:focus {border:1px solid #997;box-shadow:0 0 8px 0 #997, 8px 12px 8px 0 #111}
  19 | #cl.err {-moz-border-radius:8px 8px 0 0;-webkit-border-radius:8px 8px 0 0;border-radius:8px 8px 0 0;border:1px solid #422;box-shadow:0 0 8px 0 #422}
  20 | #cl-err {background:#422;border:1px solid #422;color:#fff;padding:2px;font:32px monospace;position:fixed;top:67%;left:22%;width:60%;z-index:10;opacity:0.9;-moz-border-radius:0 0 8px 8px;-moz-transition:all .25s;-webkit-transition:all .25s;box-shadow:0 0 8px #422}
  21 | #cl-err.hidden {display:block;opacity:0}
  22 | #autocomplete {position:fixed;top:50%;left:22%;width:60%;z-index:10;font:16px monospace;background:rgba(64,64,64,0.7);border:2px solid #222;padding:0 0 0 4px;color:#ff8;border-top:0;border-radius:0 0 5px 5px;box-shadow:0 0 8px 0 #222}
  23 | #env {position:fixed;right:8px;top:8px;height:18px;width:42%;background:#333;color:#fff;z-index:5;opacity:0.0;overflow:hidden;-moz-transition:all 1s;-webkit-transition:all 1s}
  24 | #env:hover {height:40%;overflow:auto;opacity:1}
  25 | #env.collapsed {height:1.6ex}
  26 | #listing {position:fixed;z-index:2;bottom:0;right:2px;background:#333;color:#fff;padding:3px 32px 0 8px;max-height:50%;overflow-y:auto}
  27 | #output {color:#eee;white-space:pre;width:75%;margin:0 0 0 25%}
  28 | #output, #cmdhistory {font-size:12px;font-family:"DejaVu Sans Mono",monospace}
  29 | #output li {margin:8px 8px 8px 32px;padding:2px}
  30 | .record {border:1.5px solid #777;-moz-border-radius:8px;-webkit-border-radius:8px;position:relative}
  31 | .record .cmd {border:1px solid #222;background:#333}
  32 | .record .outputwrap {position:relative}
  33 | .record .output {background:#555;max-height:256px;overflow-y:auto}
  34 | /*.record .label {position:absolute;top:7px;right:18%;font-size:22px;background:#222;padding:2px;opacity:0.4}*/
  35 | .record .ts {position:absolute;top:0;right:0}
  36 | .record .type {position:absolute;top:0;right:20px}
  37 | .record-cmd {padding:4px 2px 6px 4px;position:relative;width:100%;background:#333;clear:left;font-size:14px;-moz-box-sizing:border-box;-webkit-box-sizing:border-box;box-sizing:border-box}
  38 | .record-cmd .label {position:absolute;right:0;top:0;padding:4px 0;background:inherit;color:#888}
  39 | .record-cmd:nth-child(n+9) {font-size:12px;padding:2px 1px}
  40 | .record-cmd:nth-child(n+9) .label {padding:2px 0}
  41 | .record-cmd:nth-child(n+17) {font-size:10px;padding:1px 0}
  42 | .record-cmd:nth-child(n+17) .label {padding:0}
  43 | .record-cmd:nth-child(n+33) {font-size:6px;padding:0}
  44 | .record-cmd:nth-child(2n) {background:#444}
  45 | /*
  46 | .record-cmd .cmd {float:left;border:0}
  47 | .record-cmd .ts {text-align:right;display:block;font-size:90%;letter-spacing:-0.4px;color:#888;font-family:monospace}
  48 | */
  49 | .record-cmd .cmd {}
  50 | .record-cmd .ts {display:none}
  51 | .record-output {min-height:45px}
  52 | .record-output:first-child .output {max-height:none}
  53 | .record-output:nth-child(n+2) .output {max-height:128px}
  54 | .record-output .metadata {position:absolute;right:20px;top:0;background:#333;padding:1px;opacity:0.4;transition:all .2s;-webkit-transition:all .2s;-moz-transition:all .2s;box-shadow:0 0 3px 2px #333}
  55 | .record-output .metadata {position:static;float:right}
  56 | .record-output .metadata {top:0;right:0}
  57 | .record-output:hover .metadata {opacity:1.0}
  58 | .record-output .cmd {border:0}
  59 | .record-output .ts, .record-output .type, .record-output .cmd, .record-output .status {position:static;display:block;text-align:right}
  60 | .record-output .label {position:absolute;top:7px;left:-32px;font-size:22px;background:#222;padding:2px;opacity:0.4}
  61 | /**/
  62 | .record-output .output {white-space:pre-wrap}
  63 | /**/
  64 | .record-output .status {display:none}
  65 | /**/
  66 | #history {color:#fff;background:#222;position:fixed;right:22%;width:20%;height:40%;padding:8px;overflow:auto;display:none}
  67 | #cmdhistory {float:left;left:0;top:0;height:100%;width:25%;color:#fff}
  68 | #io {border:1px solid #222;background:rgba(16,16,16,.2);padding:4px 16px;color:#eee;font:14px monospace;list-style:upper-latin inside;position:fixed;bottom:0;right:0;max-width:30%;overflow:auto}
  69 | </style>
  70 | 
  71 | <body>
  72 | 
  73 | <pre id=env></pre>
  74 | <!--<pre id=listing></pre>-->
  75 | <p id=hint class=hidden></p>
  76 | <ol id=sessionlist></ol>
  77 | <input id=cl>
  78 | <fieldset id=pastebox class=hidden>
  79 | 
  80 |  <textarea id=paste></textarea>
  81 |  <input type=button id=pastecommit value=commit>
  82 |  <input type=button id=pastecancel value=cancel>
  83 | </fieldset>
  84 | <p id=cl-err class=hidden>
  85 | <pre id=autocomplete class=hidden></pre>
  86 | <ol id=history></ol>
  87 | <ol id=cmdhistory class=square></ol>
  88 | <ul id=output></ul>
  89 | <ul id=io></ul>
  90 | 
  91 | <script src=deps/lists.js></script>
  92 | <script src=deps/util.js></script>
  93 | <script src=deps/DOM_util.js></script>
  94 | <script src=deps/es5-shim.min.js></script>
  95 | <script src=hinting.js></script>
  96 | <script src=ports/fake.js></script>
  97 | <script src=ports/rvs.js></script>
  98 | <script src=ports/http.js></script>
  99 | <script src=ports/aws.js></script> <!-- need to load these dynamically at some point soonish -->
 100 | <script src=ports/nhttpd.js></script>
 101 | <script src=ports/ssh.js></script>
 102 | <script>
 103 | (function(){"use strict"
 104 | var cl=byId('cl')
 105 |   , cl_err=byId('cl-err')
 106 |   , output_el=byId('output')
 107 |   , hint_el=byId('hint')
 108 |   , cmd_history_el=byId('cmdhistory')
 109 |   , env_el=byId('env')
 110 |   , history_el=byId('history')
 111 |   , sessionlist_el=byId('sessionlist')
 112 |   , history_uri
 113 |   , session_uri
 114 |   , current_server_env
 115 |   , listing_el=document.getElementById('listing')
 116 |   , env={}
 117 |   , hint_timeout
 118 |   , autocomplete_timeout
 119 |   , autocomplete_el=document.getElementById('autocomplete')
 120 |   , autocompletions
 121 |   , autocompletion_sel_idx
 122 |   , autocomplete_path_cache
 123 |   , partial_command_parse
 124 |   , ready_for_persistence
 125 |   , command_records=[]
 126 |   , verb_handlers={}
 127 |   , port_objects=[]
 128 | //  , revstore_root='/3box/'
 129 |   , io_el=byId('io')
 130 |   , paste_el=byId('paste')
 131 |   , paste_commit_el=byId('pastecommit')
 132 |   , paste_cancel_el=byId('pastecancel')
 133 |   , paste_box_el=byId('pastebox')
 134 | 
 135 | window.alert=alert
 136 | function alert(s){output_el.insertBefore(document.createElement('li'),output_el.firstChild).appendChild(document.createTextNode(s))}
 137 | 
 138 | function get_env(s){
 139 |   return env[s]}
 140 | 
 141 | function set_env(s,v){
 142 |   env[s]=v
 143 |   env_el.textContent=pp(env)
 144 |   if(s=='history'){history_el.innerHTML='';v.forEach(function(x){history_el.appendChild(cmd_to_li(x))}); history_el.scrollTop=history_el.scrollHeight}
 145 |   if(s=='verbs')load_verbs(v)
 146 |   if(s=='inputs'||s=='outputs'||s=='ports')update_io()
 147 |   persist_env(env)
 148 |   return v}
 149 | 
 150 | function load_verbs(set){var p
 151 |   for(p in set)try{verb_handlers[p]=eval('('+f(set[p].f)+')')}catch(e){alert('could not load verb "'+p+'": eval error: '+e.message)}
 152 |   function f(s){var prefix
 153 |     prefix='function(cmd){'
 154 |     return s.slice(0,prefix.length)==prefix
 155 |            ?s
 156 |            :prefix+s+'}'}}
 157 | 
 158 | function persist_env(env){var persist,o,i,p,text
 159 |   if(!ready_for_persistence)return
 160 |   persist=[/*'PWD',*/'executions','ports']//,'verbs','outputs']
 161 |   o={}
 162 |   for(i=0;p=persist[i++];) o[p]=env[p]
 163 |   //o.inputs=filter_inputs(env.inputs)
 164 |   o.verbs={}
 165 |   Object.keys(env.verbs).forEach(function(k){if(!env.verbs[k].builtin)o.verbs[k]=env.verbs[k]})
 166 |   text=JSON.stringify(o)
 167 |   if(current_server_env==text)return
 168 |   current_server_env=text
 169 |   xhr('PUT',session_uri+'env',text,function(x){if(x.status!=200)alert('error storing env')})
 170 |   }
 171 | 
 172 | /*
 173 | function filter_inputs(inputs){
 174 |  if(!inputs)return
 175 |  return inputs.map(function(input){
 176 |    return {uri:input.uri
 177 |           ,history_updated:input.history_updated
 178 |           ,current_uri:input.current_uri}})}
 179 | */
 180 | 
 181 | window.onhashchange=hashchange
 182 | 
 183 | function init_env(){
 184 |   set_env('verbs',
 185 |   {load:{desc:"load a verb set from the Web"
 186 |         ,builtin:true
 187 |         ,args:["location:String"]
 188 |         ,f:'function(cmd){loadVerbSet(cmd)}'}
 189 | /*
 190 |   ,help:{desc:"display help for a verb"
 191 |         ,builtin:true
 192 |         ,args:["verb:String"]
 193 |         ,f:'function(cmd){cmd.out(helpForVerb(cmd.args[0]))}'}
 194 | */
 195 |   ,edverb:{desc:"edit the implementation of a verb"
 196 |           ,builtin:true
 197 |           ,args:["verb:String"]
 198 |           ,f:'function(cmd){cmd.out(edverb(cmd.args[0]))}'
 199 |           }
 200 |   ,paste:{desc:"import text by pasting or typing in a textarea"
 201 |          ,builtin:true
 202 |          ,args:[]
 203 |          ,f:'function(cmd){paste(cmd)}'
 204 |          }
 205 |   ,openssh:
 206 |       {desc:"open a port to an SSH server via an HTTP gateway"
 207 |       ,builtin:true
 208 |       ,args:["gateway_url:String"]
 209 |       ,f:'function(cmd){createPort("PortSSH",cmd.args)}'
 210 |       }
 211 |   ,openfake:
 212 |       {desc:"open a port to a fake filesystem"
 213 |       ,builtin:true
 214 |       ,args:[]
 215 |       ,f:'function(cmd){createPort("PortFake")}'
 216 |       }
 217 |   ,openrvs:
 218 |       {desc:"open a port to the local revision store"
 219 |       ,builtin:true
 220 |       ,args:['path:String']
 221 |       ,f:'function(cmd){createPort("PortRevstore",cmd.args)}'
 222 |       }
 223 |   ,openhttp:
 224 |       {desc:"open an HTTP port for same-origin or CORS requests"
 225 |       ,builtin:true
 226 |       ,args:[]
 227 |       ,f:'function(cmd){createPort("PortHTTP",cmd.args)}'
 228 |       }
 229 |   ,openaws:
 230 |       {desc:"open a port to Amazon Web Services, via the [awsrpc_path] gateway"
 231 |       ,builtin:true
 232 |       ,args:["awsrpc_path:String"]
 233 |       ,f:'function(cmd){createPort("PortAWS",cmd.args)}'
 234 |       }
 235 |   ,opennhttpd:
 236 |       {desc:"open an nhttpd configuration port"
 237 |       ,builtin:true
 238 |       ,args:["nhttpd_conf_path:String"]
 239 |       ,f:'createPort("PortNHTTPD",cmd.args)'
 240 |       }
 241 |   ,each:
 242 |       {desc:"Calculate [output] again with [input] taken from each of [items]"
 243 |       ,builtin:true
 244 |       ,magic:true // magic := uses raw arguments (before reference expansion)
 245 |       ,args:["output:reference","input:reference","items:[*]"]
 246 |       ,f:'function(cmd){each(cmd)}'
 247 |       }
 248 |   ,sortby:
 249 |       {desc:"Sort [items] by a score calculated for each item as [output] was from [input]"
 250 |       ,builtin:true
 251 |       ,magic:true
 252 |       ,args:['items:[*]','output:reference','input:reference']
 253 |       ,f:'function(cmd){sortby(cmd)}'
 254 |       }
 255 |   })
 256 |   //set_env('PWD',revstore_root)
 257 |   }
 258 | 
 259 | // It is possible that we might want to make 'each' and 'sortby' and other post-hoc-lambda-constructing verbs use a wee bit more syntax, rather than ambiguously using numeric literals to refer both to a command and its output
 260 | // each 3 2 1
 261 | // -or-
 262 | // each (3 → 2) 1
 263 | // -or-
 264 | // map (3 → 2) 1
 265 | // based on the argument order above, these arrows are actually going the wrong way, correct is:
 266 | // map (2 → 3) 1
 267 | // which of course makes sense since 3 was generated from 2 and the higher number comes later
 268 | 
 269 | function hashchange(){var m,id,got_h,got_e
 270 |   emptyEl(output_el);emptyEl(cmd_history_el)
 271 |   addClass(sessionlist_el,'hidden')
 272 |   removeClass(cl,'hidden');cl.disabled=false;cl.focus()
 273 |   ready_for_persistence=false
 274 |   m=/script=(.*)/.exec(location.hash)
 275 |   if(!m)return show_session_list()
 276 |   id=m[1]
 277 |   env={}
 278 |   init_env()
 279 |   session_uri='sessions/'+id+'/'
 280 |   history_uri=session_uri+'script'
 281 |   got_h=got_e=false
 282 |   xhr('GET',history_uri,null,function(x){var parsed
 283 |     env.script=id
 284 |     if(x.status==404){env.history=[];return}
 285 |     try{parsed=JSON.parse(x.responseText)}
 286 |     catch(e){env.history=[];alert('could not parse history JSON: '+x.responseText)}
 287 |     set_env('history',parsed)
 288 |     //alert('doing history')
 289 |     env.history.forEach(createCmdRecord)
 290 |     got_h=true
 291 |     go()})
 292 |   xhr('GET',session_uri+'env',null,function(x){var persisted,verbs
 293 |     if(x.status==404)ready_for_persistence=true
 294 |     if(x.status!=200&&x.status!=304)return
 295 |     try{persisted=JSON.parse(x.responseText)}
 296 |     catch(e){alert(''+e);return}
 297 |     verbs=env.verbs
 298 |     extend(env,persisted)
 299 |     if(persisted.verbs) extend(verbs,persisted.verbs)
 300 |     env.verbs=verbs
 301 |     if(persisted.verbs)load_verbs(persisted.verbs)
 302 |     current_server_env=x.responseText
 303 |     update_io()
 304 |     ready_for_persistence=true
 305 |     got_e=true
 306 |     go()})
 307 |   function go(){
 308 |     if(got_h&&got_e)show_executions()}}
 309 | 
 310 | function show_session_list(){
 311 |   cl.disabled=true
 312 |   addClass(cl,'hidden')
 313 |   removeClass(sessionlist_el,'hidden')
 314 |   xhr('GET','sessions/?text',null,function(x){list(x.status>199&&x.status<400?x.responseText:'')})
 315 |   function list(paths){var a,el2
 316 |     a=paths.split('\n')
 317 |     sessionlist_el.innerHTML=''
 318 |     a.forEach(function(path){var el1
 319 |       el1=sessionlist_el.appendChild(cEl('li')).appendChild(cEl('a'))
 320 |       el1.href='#script='+(el1.textContent=path.slice(0,-1))})
 321 |     el2=sessionlist_el.appendChild(cEl('li')).appendChild(cEl('a'))
 322 |     el2.href='#'
 323 |     el2.onclick=function(){location.hash='script='+ +new Date;return false}
 324 |     el2.textContent='(new)'
 325 |     }}
 326 | 
 327 | cl.onkeydown=function(e){var hist_pos,parsed,partial,hint_obj,context
 328 |  clear_cl_err()
 329 |  set_env('keydown',e.which+' '+e.keyCode)
 330 |  if((e.which||e.keyCode)==38&&env.history&&env.history.length){
 331 |   hist_pos=get_env('history_pos')||env.history.length
 332 |   hist_pos--
 333 |   set_env('history_pos',hist_pos)
 334 |   cl.value=cmd_to_str(env.history[hist_pos])}
 335 |  if((e.which||e.keyCode)==40&&env.history&&env.history.length){
 336 |   hist_pos=get_env('history_pos')||env.history.length
 337 |   hist_pos=(hist_pos+1)%env.history.length
 338 |   set_env('history_pos',hist_pos)
 339 |   cl.value=cmd_to_str(env.history[hist_pos])}
 340 |  if((e.which||e.keyCode)==13){
 341 |   if(cl.selectionStart!=cl.selectionEnd) autocomplete_accept()
 342 |   else runEitherCmd(parseCmd(cl.value))} // run the command
 343 |  else if((e.which||e.keyCode)==9){autocomplete();e.preventDefault();return false}
 344 |  else{
 345 |   autocomplete_timeout_start()}}
 346 | 
 347 | cl.onkeyup=function(e){e=e||event
 348 |  set_env('keyup',e.which+' '+e.keyCode)
 349 |  autocomplete_timeout_start()
 350 |  return false}
 351 | 
 352 | cl.onkeypress=function(e){e=e||event;var hist_pos
 353 |  set_env('keypress',e.which+' '+e.keyCode)
 354 |  autocomplete_timeout_start()
 355 |  if(e.keyCode==9){e.preventDefault();return false}}
 356 | 
 357 | function autocomplete_timeout_start(){
 358 |  clearTimeout(autocomplete_timeout)
 359 |  autocomplete_timeout=setTimeout(autocomplete_begin,75)}
 360 | 
 361 | cl.focus()
 362 | 
 363 | // PWD is specific to the posix verb set and should only be initialized when it is (and removed if it is unloaded)
 364 | // So is this, so verb sets need their own set of helper function and/or initialization code
 365 | // 20110827: It turns out these aren't really normal verbs, there needs to be a "mount" equivalent that handles the kind of I/O the revstore does.
 366 | // Then mounting some external I/O resource into the shell's filesystem hierarchy can be handled by the shell itself or by some loadable module, not by ordinary unprivileged verbs.
 367 | // 20111204: These are now called ports.
 368 | 
 369 | // In some cases, revstore requests (such as mv or ln) use a header (Destination, X-Link-With) to specify a second URI in the revstore tree.
 370 | // In these cases, the revstore URI in the header needs to be rooted relative to the revstore root, not the domain.
 371 | // Currently on boshi this means removing the "/3box" prefix.
 372 | // TODO: this location information should come from the server when the shell is loaded.
 373 | // 20111204: this is now handled by the rvs port which takes the prefix as an argument when it is opened
 374 | /*
 375 | function reroot(path){
 376 |  if(path.slice(0,revstore_root.length)==revstore_root)return path.slice(revstore_root.length-1)
 377 |  return path}
 378 | */
 379 | 
 380 | // if args looks like this:
 381 | //        ,"args":["file : String, Path-File"]
 382 | // and we take the PWD as an input and do our own resolution in the command
 383 | //        ,"env-in":"PWD"
 384 | // it would make more sense instead to have the shell do the resolution since it already knows that the arg is a Path-File
 385 | // 20111204: The port needs to do the resolution, but it should happen independently of running the command, during the autocompletion / fixup phase (which is not what happens currently) and the absolute path should be saved with the command record so that re-running the command does not depend on the current port working directory.
 386 | 
 387 | function parseCmd(cmd){var i,l,c,o
 388 |   // o is an object that holds the parser state and the command as it is being built up
 389 |   o={verb:"",verbs:[],args:[],flags:"",state:0,ports:[]}
 390 |   loop:for(i=0,l=cmd.length;i<l;i++){c=cmd[i]
 391 |     switch(o.state){
 392 |     case 0: // the start state
 393 |       switch(c){
 394 |       case '"': o.state=1; o.tok=''; break // the 'in quoted string' state
 395 |       case ' ': break // ignore spaces
 396 |       case '-': o.state=2; break // the 'in flags' state
 397 |       default: if(c<='9'&&c>='0'){o.tok=c;o.state=5;o.args.push(+c)} // the 'number literal' state
 398 |                else if(c<='z'&&c>='a'){o.tok=o.verb=c;o.verbs.push(o.tok);o.state=3} // the 'in command name' state
 399 |                else if(c<='Z'&&c>='A'){o.ports.push(c);o.state=0}
 400 |                else return err('could not parse '+cmd+' at char '+i)} // anything else is a syntax error
 401 |       break
 402 |     case 1: // in quoted string
 403 |       switch(c){
 404 |       case '"': o.state=0; o.args.push(o.tok); break // quoted string has been closed, each of these is stored in args
 405 |       case '\\': o.state=4; break // the purpose of a \ is to escape the next character
 406 |       default: o.tok+=c} // any other char gets appended to the string value
 407 |       break
 408 |     case 2: // in flags, this means a '-' was seen and anything following until the next space or EOF is interpreted as a flag
 409 |       if(c==' '){o.state=0}
 410 |       else{o.flags+=c}
 411 |       break
 412 |     case 3: // in the verb state, a-z is appended to the verb; space, double quote, A-Z, or EOF terminates; anything else is an error
 413 |       if(c==' ')o.state=0
 414 |       else if(c=='"')o.state=1,o.tok=''
 415 |       else if(c<='Z'&&c>='A'
 416 |            || c<='9'&&c>='0'){i--;o.state=0;continue loop}
 417 |       else if(c<='z'&&c>='a')o.verb+=c,o.tok+=c,o.verbs[o.verbs.length-1]=o.tok
 418 |       else return err('could not parse verb at char '+i)
 419 |       break
 420 |     case 4: // escaped mode in a quoted string
 421 |       if(c=='\\'||c=='"'){o.tok+=c;o.state=1}
 422 |       else return err("invalid escape sequence at "+i)
 423 |       break
 424 |     case 5: // number literal state, terminated by a space, EOF, a-z, A-Z, or double quote
 425 |       if(c==' '){o.state=0}
 426 |       else if(c<='9'&&c>='0'){o.tok+=c;o.args[o.args.length-1]=parseInt(o.tok,10)}
 427 |       else if(c>='A'&&c<='Z'
 428 |            || c>='a'&&c<='z'
 429 |            || c=='"'        ){i--;o.state=0;continue loop}
 430 |       else return err('invalid numeric literal at '+i)
 431 |       break
 432 |     case 8: // after a port reference
 433 |       if(c==' '){o.state=0}
 434 |       break
 435 |     default:
 436 |       throw new Error("can't happen")}}
 437 |   // here we are at 'eof', having looped over the string.
 438 |   switch(o.state){
 439 |   case 1:
 440 |   case 4:
 441 |     return err("unclosed quoted string")
 442 |   case 0:
 443 |   case 2:
 444 |   case 3:
 445 |   case 5:
 446 |   case 8:
 447 |     return [true,o]}
 448 |   throw new Error("can't happen either")
 449 |   function err(s){o.error=s;return[false,o]}}
 450 | // only the last verb given takes effect, so a nice UI feature would be to remove the existing verb from the command line if a new one is entered (although it may be nice to be able to get the old verb back just by deleting the new one)
 451 | // perhaps using strikethrough to indicate that the first verb is shadowed by the latter one
 452 | // however if we add higher-order verbs such as `map` then we must support more than one verb
 453 | // in any case multiple verbs that exist on the command line should be passed on to the hinting stage
 454 | 
 455 | // generate a partial command which is used for hinting, from a parsed command line (which may be incomplete)
 456 | function partial_command(parsed){var partial
 457 |   partial=extend({},parsed)
 458 |   //partial.verbs=parsed.verb?[parsed.verb]:[]
 459 |   return partial}
 460 | 
 461 | // hint :: {errors::[String]
 462 | //         ,effects::[String]
 463 | //         ,completions::[{type::"verb"|"arg"|"port",token::Integer,completion::String}]
 464 | //         ,deletions::[{type::"verb"|"arg"|"port",token::Integer}]}
 465 | function show_hint(hint){var out
 466 |   removeClass(hint_el,'hidden')
 467 |   out=[]
 468 |   if(hint.effects.length){
 469 |     out=out.concat(hint.effects)}
 470 |   if(hint.completions.length){
 471 |     out.push(pp(hint.completions))}
 472 |   hint_el.innerHTML='<ul><li>'+out.join('<li>')+'</ul>'
 473 |   }
 474 | 
 475 | function autocomplete_begin(){var either,o,partial,hint_obj,context,previous_value
 476 |   either=parseCmd(cl.value)
 477 |   o=either[1]
 478 |   //alert(pp(either,{cols:125}))
 479 |   partial=partial_command(o)
 480 |   context={verbs:get_env('verbs')
 481 |           ,port_objects:port_objects}
 482 |   previous_value=cl.value
 483 |   hint(partial,context,show_hint_unless_changed)
 484 |   /*
 485 |   if(o.state==6||o.state==7
 486 |     || (o.state==1||o.state==4) && true)path_completion(o.tok,function(completions){ // XXX belongs in the rvs port
 487 |     autocompletions=completions
 488 |     autocompletion_sel_idx=-1
 489 |     autocomplete_preview()
 490 |   })
 491 |   else{autocomplete_el.textContent='';autocomplete_el.className='hidden';return}
 492 |   */
 493 |   partial_command_parse=o
 494 |   function show_hint_unless_changed(hint){if(cl.value!=previous_value)return;show_hint(hint)}}
 495 | 
 496 | function autocomplete_preview(){var ret=''
 497 |   ret+=autocompletions.map(function(x,i){
 498 |     if(i==autocompletion_sel_idx)return x+'   <Enter>'
 499 |     if(i==(autocompletion_sel_idx+1)%autocompletions.length)return x+'   <Tab>'
 500 |     return x}).join('\n')
 501 |   autocomplete_el.textContent=ret
 502 |   autocomplete_el.className=ret?'':'hidden'}
 503 | 
 504 | function autocomplete_accept(){
 505 |   cl.selectionStart=cl.selectionEnd
 506 |   autocomplete_begin()}
 507 | 
 508 | function autocomplete(){var completion,o=partial_command_parse,extra,selStart,new_value
 509 |   autocompletion_sel_idx=(autocompletion_sel_idx+1)%autocompletions.length
 510 |   autocomplete_preview()
 511 |   completion=autocompletions[autocompletion_sel_idx]
 512 |   extra=completion.slice(o.tok.length)
 513 |   selStart=cl.selectionStart
 514 |   new_value=cl.value.slice(0,cl.selectionStart)+extra+cl.value.slice(cl.selectionEnd)
 515 |   cl.value=new_value
 516 |   cl.selectionStart=selStart
 517 |   cl.selectionEnd=selStart+extra.length}
 518 | 
 519 | /* XXX all autocompletion code below belongs in the rvs port
 520 | 
 521 | autocomplete_path_cache={}
 522 | 
 523 | function path_completion(tok,cb){var listing,path,listing_path,tok_dir
 524 |   path=env.PWD
 525 |   if(tok[tok.length-1]=='/') tok_dir=tok
 526 |   else tok_dir=path_segments(tok).slice(0,-1).join('')
 527 |   listing_path=path+tok_dir
 528 |   //alert('listing_path: '+listing_path+' tok_dir: '+tok_dir+' '+path_segments(tok).join())
 529 |   listing=autocomplete_path_cache[listing_path]
 530 |   if(!listing || Date.now()-listing.ts > 30000){
 531 |     xhr('GET',listing_path+'?text',null,function(x){
 532 |       //alert(x.status+' '+x.responseText)
 533 |       if(x.status<200 || x.status>399) return
 534 |       listing=autocomplete_path_cache[listing_path]={ts:Date.now(),listing:x.responseText.split('\n')}
 535 |       go()})
 536 |     return []}
 537 |   go()
 538 |   function go(){
 539 |     cb(prefix_completion(listing.listing.map(function(x){return path_escape(tok_dir+x)}),tok))}}
 540 | 
 541 | function path_escape(s){
 542 |   return s.replace(/"/g,'\\"')}
 543 | 
 544 | function prefix_completion(list,tok){
 545 |   return list.filter(function(x){return x.slice(0,tok.length)==tok})}
 546 | */
 547 | 
 548 | function fmt_execution_dates(cmd){
 549 |   return cmd.executions.map(function(x){return x.ts}).join('<br>')}
 550 | 
 551 | function createCmdRecord_handlers(cmd,id,el_outer,el_out,el_type,el_status){var key,stored
 552 |   command_records[id]=cmd
 553 |   cmd.output=[]
 554 |   cmd.out=out
 555 |   cmd.append=append
 556 |   cmd.status=status
 557 |   cmd.hide=hide
 558 |   key=get_env('script')+'_cmd_'+id+'_out'
 559 |   if(stored=localStorage.getItem(key)){out_(JSON.parse(stored));cmd.status('stored')}
 560 |   else{cmd.status('(not stored)')}
 561 |   return {append:append,out:out}
 562 |   function append(s){el_out.appendChild(document.createTextNode(s))}
 563 |   function out(s){out_(s);try{localStorage.setItem(key,JSON.stringify(s))}catch(e){
 564 |    alert('localStorage error saving output: '+e)
 565 |    localStorage.clear()
 566 |    alert('(cleared local storage)')}}
 567 |   function out_(s){el_out.textContent=print(s);el_type.textContent=type(s);cmd.output.push(s)}
 568 |   function status(s){if(!el_status)return;el_status.textContent=s}
 569 |   function hide(){addClass(el_outer,'hidden')}}
 570 | 
 571 | function type(x){
 572 |   if(x===null)return 'null'
 573 |   if(Array.isArray(x))return 'array'
 574 |   return typeof x}
 575 | 
 576 | // called for new commands and also once for each command in the history when loading the page
 577 | function createCmdRecord(cmd,id){var el1,el3,el6,el11,template_cmd,template_out,html_cmd,html_out,replacements,div
 578 |   template_cmd='<li class="record-separate square record-cmd">'
 579 |               +  '<div class=cmd>$cmd_to_str$</div>'
 580 |               +  '<div class=label>$id$</div>'
 581 |               +'</li>'
 582 |   template_out='<li class="record record-output">'
 583 |               +  '<div class=outputwrap>'
 584 |               +    '<div class=metadata>'
 585 |               +      '<div class="cmd square">$cmd_to_str$</div>'
 586 |               +      '<div class=status></div>'
 587 |               +      '<div class=type></div>'
 588 |               +    '</div>'
 589 |               +    '<pre class=output></pre>'
 590 |               +    '<div class=label>$id$</div>'
 591 |               +  '</div>'
 592 |               +'</li>'
 593 |   id=(id==undefined?(get_env('history')||[]).length:id)+1
 594 |   cmd.id=id
 595 |   replacements=
 596 |     {"$cmd_to_str$":cmd_to_str(cmd)
 597 |     ,"$id$":id
 598 |     }
 599 |   html_cmd=expand(template_cmd,replacements)
 600 |   html_out=expand(template_out,replacements)
 601 |   div=document.createElement('div')
 602 |   div.innerHTML=html_cmd
 603 |   cmd_history_el.insertBefore(div.firstChild,cmd_history_el.firstChild)
 604 |   div.innerHTML=html_out
 605 |   el3=div.querySelector('.output');el6=div.querySelector('.type');el11=div.querySelector('.status')
 606 |   el1=output_el.insertBefore(div.firstChild,output_el.firstChild)
 607 |   return createCmdRecord_handlers(cmd,id,el1,el3,el6,el11)}
 608 | 
 609 | function print(x){
 610 |   if(x instanceof Array && x.every(function(x){return typeof x=='string'}))return x.join('\n')
 611 |   if(typeof x=='string')return x
 612 |   return pp(x,{string_limit:128,cols:96})
 613 |   return String(x)}
 614 | 
 615 | function resolveArgs(args,cb){var resolved,pending
 616 |   pending=0
 617 |   resolved=resolve_arg_types(args)
 618 | /*
 619 |   resolved.forEach(function(arg){
 620 |     if(arg.type=='input'){
 621 |       pending++
 622 |       input_cache_current(arg.input,go)}
 623 |     })
 624 | */
 625 |   if(!pending)cb(resolved)
 626 |   function go(){if(!--pending)cb(resolved)}}
 627 | 
 628 | function resolve_arg_types(args){
 629 |   //alert(pp(command_records))
 630 |   return args.map(resolve_arg_type)}
 631 | 
 632 | function resolve_arg_type(arg){
 633 |   if(typeof arg=='number') return {type:'ref'
 634 |                                   ,ref:arg}
 635 |                                   //,value:command_records[arg].output.slice(-1)[0]}
 636 |   return {type:'literal'
 637 |          ,value:arg}}
 638 | 
 639 | function resolve_port(id){var index
 640 |   index=id.charCodeAt()-'A'.charCodeAt()
 641 |   return port_objects[index]}
 642 | 
 643 | /*
 644 | function input_value(input,ts){var uri,item
 645 |   //alert('input_value: ts: '+ts+' input: '+pp(input))
 646 |   if(ts==undefined)uri=input.current_uri
 647 |   else{
 648 |     item=input_hist_item_asof(input,ts)
 649 |     if(!item)return alert('could not get value for: '+pp(input))
 650 |     else uri=archive_uri(item.ts,item.path)}
 651 |   return input.cache[uri]}
 652 | */
 653 | 
 654 | function arg_value(arg,tok){
 655 |   switch(arg.type){
 656 |   case 'literal': return arg.value
 657 |   //case 'port': return arg.port
 658 |   //case 'input':return input_value(arg.input,tok)
 659 |   case 'ref':if(!command_records[arg.ref].output.length) alert('reference to unevaluated command: '+arg.ref); return command_records[arg.ref].output.slice(-1)[0]
 660 |   default: throw new Error('bad arg.type value: '+arg.type)}}
 661 | 
 662 | /*
 663 | function arg_archive(arg){
 664 |   if(arg.type=='input')return arg.input.current_uri}
 665 | */
 666 | 
 667 | /* TODO: move this into the rvs port somehow
 668 | function arg_reconstruction_token(arg){
 669 |   if(arg.type=='input')return arg.input.last_modified
 670 |   if(arg.type=='literal')return arg.value
 671 |   if(arg.type=='ref')return command_records[arg.ref].current_execution_ref}
 672 | */
 673 | 
 674 | /*
 675 | function input_cache_current(input,cb){
 676 |   //alert('input_cache_current: '+pp(input))
 677 |   input_update_history(input,go)
 678 |   function go(){var x,uri,hist
 679 |     hist=input.history
 680 |     x=hist[hist.length-1]
 681 |     input.last_modified=x.ts
 682 |     uri=input.current_uri=archive_uri(x.ts,x.path)
 683 |     if(input.cache[uri]){cb();return}
 684 |     input_cache(uri,input.cache,cb)}}
 685 | */
 686 | 
 687 | /*
 688 | // TODO: put this generic history code elsewhere
 689 | function input_hist_item_asof(input,ts){var hist,x,i
 690 |   hist=input.history
 691 |   for(i=hist.length;i--;){
 692 |     x=hist[i]
 693 |     if(x.ts<ts) return x}}
 694 | 
 695 | function input_cache_asof(input,ts,cb){
 696 |   input_update_history(input,go)
 697 |   function go(){var hist,x,cache,curr,i,item,uri
 698 |     //alert('input_cache_asof: input: '+pp(input))
 699 |     item=input_hist_item_asof(input,ts)
 700 |     if(!item)return alert('no revision for timestamp: '+ts+' '+input)
 701 |     uri=archive_uri(item.ts,item.path)
 702 |     if(input.cache[uri]){cb();return}
 703 |     input_cache(uri,input.cache,cb)}}
 704 | 
 705 | function input_cache(uri,cache,cb){
 706 |   xhr('GET',uri,null,function(x){
 707 |     if(x.status!=200&&x.status!=304)return alert('could not fetch '+curr+' '+x.status+' '+x.responseText)
 708 |     cache[uri]=x.responseText
 709 |     cb()})}
 710 | */
 711 | 
 712 | function update_io(){var inputs,outputs,ports
 713 |   inputs=get_env('inputs')||[]; ports=get_env('ports')||[]
 714 |   emptyEl(io_el)
 715 |   //alert('inputs: '+inputs.length+' ports: '+ports.length)
 716 |   inputs.forEach(function(input){var el1
 717 |     el1=io_el.appendChild(document.createElement('li'))
 718 |     update_input(input,el1)})
 719 |   ports.forEach(function(port,i){var el1,port_obj
 720 |     port_obj=port_objects[i]=port_objects[i]||createPortObject(port)
 721 |     if(el1=port_obj.output_el){
 722 |       io_el.appendChild(el1)}
 723 |     else{
 724 |       port_obj.output_el=el1=io_el.appendChild(cEl('li'))
 725 |       update_port(port,port_obj,el1)}
 726 |     })}
 727 | 
 728 | function update_port(port,obj,el){
 729 |   obj.on('identify',function(x){el.textContent=x})
 730 |   }
 731 | 
 732 | /* TODO: put this in the rvs port
 733 | function update_input(input,el){var now,hist
 734 |   //alert(pp(input))
 735 |   now=Date.now()
 736 |   emptyEl(el)
 737 |   el.appendChild(document.createTextNode('<'+input.uri))
 738 |   if(!input.history_updated || now-input.history_updated > 30000){input_update_history(input,update_io);return}
 739 |   if(input.status){el.appendChild(document.createTextNode(' 404'));return}
 740 |   hist=input.history
 741 |   el.appendChild(document.createTextNode(' '+fmt_date(input.last_modified)))
 742 |   }
 743 | */
 744 | 
 745 | function show_executions(){var execs
 746 |   execs=get_env('executions')
 747 |   if(!execs)return
 748 |   execs.forEach(function(e){var cmd
 749 |     cmd=command_records[e.cmd_ref]
 750 |     //alert(pp(e))
 751 |     })
 752 |   }
 753 | 
 754 | // TODO: put this somewhere
 755 | function parse_history(s){var a,ret=[],ts=0,path='',i,l
 756 |   a=JSON.parse(s)
 757 |   for(i=0,l=a.length;i<l;i++){
 758 |     if(typeof a[i]=='number'){ts+=a[i];ret.push({path:path,ts:ts})}
 759 |     else path=a[i]}
 760 |   return ret}
 761 | 
 762 | // TODO: move this also
 763 | function archive_uri(ts,path){
 764 |   return '/3box-asof/'+ts+path}
 765 | 
 766 | /*
 767 | function input_update_history(input,cb){var now
 768 |   now=Date.now()
 769 |   if(now-input.history_updated < 500) return
 770 |   input.cache=input.cache||{}
 771 |   xhr('GET',input.uri+'?history',null,function(x){
 772 |     input.history_updated=Date.now()
 773 |     if(x.status==404) input.status=404
 774 |     else{
 775 |       input.history=parse_history(x.responseText)
 776 |       input.last_modified=input.history[input.history.length-1].ts}
 777 |     update_io()
 778 |     if(cb)cb()
 779 |     })}
 780 | */
 781 | 
 782 | function runEitherCmd(either){var cmd,dummy_cmd,uri,handler,history,args,hist_item,ts,input_env
 783 |   if(!either[0]){reportError(either[1].error);return}
 784 |   cmd=either[1]
 785 |   ts=cmd.ts=Date.now()
 786 |   if(!cmd.verb){clean_cl();return}
 787 |   if(cmd.verb=='rv'){clean_cl();revive(cmd);return}
 788 |   if(cmd.verb=='up'){clean_cl();update(cmd);return}
 789 |   if(cmd.verb=='hd'){clean_cl();hide(cmd);return}
 790 |   //if(cmd.verb=='each'){clean_cl();each(cmd);return}
 791 |   handler=lookupVerb(cmd.verb)
 792 |   if(!handler){reportError('unknown verb '+cmd.verb);return}
 793 |   createCmdRecord(cmd)
 794 |   cmd.status('pending input')
 795 |   args=cmd.args
 796 |   if(handler['env-in']||handler['env-out']) throw new Error('env-in and env-out are gone');
 797 |   if(verb_handlers[cmd.verb].length>1)alert('old handler API: '+cmd.verb)
 798 |   resolveArgs(args,handle)
 799 |   function handle(args_resolved){var executions,execution
 800 |     //cmd.args=args_resolved.map(function(x){return arg_value(x)})
 801 |     dummy_cmd={}
 802 |     //alert('resolved args')
 803 |     //alert(pp(cmd.ports))
 804 |     dummy_cmd.ports=cmd.ports.map(resolve_port)
 805 |     //alert(pp(dummy_cmd.ports))
 806 |     //alert(pp(port_objects))
 807 |     if(handler.magic&&handler.builtin) dummy_cmd.raw_args=args
 808 |     dummy_cmd.args=args_resolved.map(function(x){return arg_value(x)})
 809 |     dummy_cmd.out=cmd.out
 810 |     //alert(pp(dummy_cmd))
 811 |     cmd.status('calculating')
 812 |     verb_handlers[cmd.verb](dummy_cmd)//,input_env,function(x){set_env(handler['env-out'],x);cmd.out(x)})
 813 |     execution={}
 814 |     //execution.reconstruction_tokens=args_resolved.map(arg_reconstruction_token)
 815 |     execution.ts=Date.now()
 816 |     execution.cmd_ref=cmd.id
 817 |     execution.env=input_env
 818 |     cmd.status('calculated '+fmt_date(execution.ts))//': '+fmt_date(newest_input(execution.ts)))
 819 |     executions=(get_env('executions')||[]).concat([execution])
 820 |     cmd.current_execution_ref=executions.length-1
 821 |     set_env('executions',executions)
 822 |   }
 823 |   hist_item=
 824 |     {verb:cmd.verb
 825 |     ,ports:cmd.ports
 826 |     ,args:args
 827 |     ,flags:cmd.flags
 828 |     ,ts:cmd.ts
 829 |     ,current_execution_ref:cmd.current_execution_ref
 830 |     }
 831 |   history=(get_env('history')||[]).concat([hist_item])
 832 |   //history=history.map(function(x){if(x.output)delete x.output;return x})
 833 |   if(history_uri) xhr('PUT',history_uri,JSON.stringify(history),function(x){if(x.status!=200)alert('error storing history')})
 834 |   set_env('history',history)
 835 |   set_env('history_pos',history.length)
 836 |   clean_cl()}
 837 | 
 838 | function hide(cmd){
 839 |   command_records[cmd.args[0]].hide()}
 840 | 
 841 | function revive(cmd){
 842 |   return revive_by_id(cmd.args[0])}
 843 | 
 844 | function update(cmd){
 845 |   return revive_by_id(cmd.args[0],null,true)}
 846 | 
 847 | // 'update' re-creates, including side-effects, and displays new output
 848 | // 'revive' simply re-runs and will re-display original output of the command (if arguments have not changed value)
 849 | 
 850 | function revive_by_id(id,cb,update){var rec,execution,executions,resolved,pending,values,handler
 851 |   executions=get_env('executions')||[]
 852 |   rec=command_records[id]
 853 |   if(!rec){reportError('no such command '+id);return}
 854 |   if(rec.verb=='paste'&&!update)return cb && setTimeout(cb,0) // XXX paste magic should be in port API
 855 |   executions.forEach(function(exec){
 856 |     if(exec.cmd_ref==id)execution=exec})
 857 |   resolved=resolve_arg_types(rec.args)
 858 |   pending=0
 859 |   handler=lookupVerb(rec.verb)
 860 |   rec.status(update?'updating':'regenerating')
 861 |   resolved.forEach(function(arg,i){
 862 |     /*
 863 |     if(arg.type=='input'){
 864 |       if(update) input_cache_current(arg.input,go)
 865 |       else input_cache_asof(arg.input,execution.reconstruction_tokens[i],go)
 866 |       pending++
 867 |       }
 868 |     */
 869 |     if(arg.type=='ref'){
 870 |       revive_by_id(arg.ref,go,update)
 871 |       pending++}
 872 |     })
 873 |   if(!pending)pending++,go()
 874 |   function go(){var synth_cmd
 875 |     if(--pending)return
 876 |     if(update) values=resolved.map(function(x){return arg_value(x)})
 877 |     else values=resolved.map(function(x,i){return arg_value(x,execution.reconstruction_tokens[i])})
 878 |     //alert(pp(values))
 879 |     //alert(pp(rec))
 880 |     synth_cmd=
 881 |       {verb:rec.verb
 882 |       ,ports:rec.ports.map(resolve_port)
 883 |       ,raw_args:(handler.builtin&&handler.magic)?rec.args:undefined
 884 |       ,args:values
 885 |       ,ts:execution.ts
 886 |       ,out:rec.out
 887 |       ,append:rec.append
 888 |       ,status:rec.status
 889 |       }
 890 |     //alert('synth_cmd: '+pp(synth_cmd))
 891 |     verb_handlers[synth_cmd.verb](synth_cmd/*,execution.env*/)
 892 |     synth_cmd.status(update?'updated':'regenerated')
 893 |     if(cb)setTimeout(cb,0)
 894 |     }
 895 |   }
 896 | 
 897 | function each(cmd){
 898 |   map_each(cmd.raw_args[0],cmd.raw_args[1],cmd.args[2],cmd.out)}
 899 | 
 900 | function sortby(cmd){
 901 |   sortby_(cmd.args[0],cmd.raw_args[1],cmd.raw_args[2],cmd.out)}
 902 | 
 903 | function map_each(cmdref,x,xs,out){var orig_cmd,orig_input,dep_graph,lambda
 904 |   orig_cmd=command_records[cmdref]
 905 |   orig_input=command_records[x]
 906 |   lambda=make_lambda_by_substitution(cmdref,x)
 907 |   out(pp({orig_cmd:orig_cmd,lamdba:lambda,x:x,xs:xs}))
 908 |   iterate_lambda(lambda,xs,out)}
 909 | 
 910 | function sortby_(items,outref,inref,out){
 911 |   iterate_lambda(make_lambda_by_substitution(outref,inref),items,cb)
 912 |   function cb(scores){var pairs
 913 |     pairs=items.map(function(item,i){return [scores[i],item]})
 914 |     pairs.sort(function(a,b){return a[0]-b[0]})
 915 |     out(pairs/*.map(function(x){return x.join(': ')})*/)}}
 916 | 
 917 | function iterate_lambda(lambda,xs,out){var pending,outputs
 918 |   pending=xs.length
 919 |   outputs=[]
 920 |   xs.forEach(function(x,i){apply(lambda,[x],cb(i))})
 921 |   function cb(i){return function cb_(output){
 922 |       outputs[i]=output
 923 |       if(!--pending)out(outputs)}}
 924 |   if(!pending)out(outputs)}
 925 | 
 926 | /*
 927 | function dependency_graph(id){var ret
 928 |   ret={deps:{}
 929 |       }
 930 |   go(id)
 931 |   return ret
 932 |   function go(id){var deps,ref,cmd,rec,resolved
 933 |     rec=command_records[id]
 934 |     if(ret.deps[id])return
 935 |     ret.deps[id]=deps=[]
 936 |     resolved=resolve_arg_types(rec.args)
 937 |     resolved.forEach(function(x){deps.push(x); if(x.type!='ref')return; go(x.ref)})
 938 |     }}
 939 | */
 940 | 
 941 | // cmd_id is the target of the lambda, the command which generated the output value of interest
 942 | // input is either a reference or a literal input value which is to be substituted out
 943 | function make_lambda_by_substitution(cmd_id,input){var ret,input_arg
 944 |   ret={deps:{}
 945 |       ,args:[]
 946 |       ,const:[]
 947 |       ,recalc:[]}
 948 |   input_arg=resolve_arg_type(input)
 949 |   go(cmd_id)
 950 |   function go(id){var rec,resolved,recalculate
 951 |     rec=command_records[id]
 952 |     if(ret.deps[id])return
 953 |     recalculate=false
 954 |     resolved=resolve_arg_types(rec.args)
 955 |     resolved.forEach(function(x){
 956 |       if(x.type=='ref'){
 957 |         if(x.ref==input)recalculate=true
 958 |         if(go(x.ref))recalculate=true}
 959 |       if(x.type=='literal'&&input_arg.type=='literal'){
 960 |         if(x.value===input_arg.value)recalculate=true}})
 961 |     if(recalculate)ret.recalc.push(id)
 962 |     else ret.const.push(id)
 963 |     return recalculate}
 964 |   ret.target=cmd_id
 965 |   ret.args=[input]
 966 |   return ret}
 967 | 
 968 | function apply(lambda,args,cb){var verb,rec,verb_f,dummy,values,pending
 969 |   values={}
 970 |   if(args.length!=lambda.args.length)throw new Error('wrong number of args in apply: '+args.length+' != '+lambda.args.length)
 971 |   rec=command_records[lambda.target]
 972 |   verb=lookupVerb(rec.verb)
 973 |   verb_f=verb_handlers[rec.verb]
 974 |   lambda.args.forEach(function(id,i){
 975 |     values[id]=args[i]})
 976 | /*
 977 |   lambda.const.forEach(function(id){
 978 |     values[id]=arg_value(id)})
 979 | */
 980 |   pending=lambda.recalc.length
 981 |   if(!pending)finish()
 982 |   lambda.recalc.forEach(function(id){
 983 |     recalculate(id,values,cb)
 984 |     function cb(x){
 985 |       values[id]=x
 986 |       if(!--pending){finish()}}})
 987 |   function finish(){
 988 |     cb(values[lambda.target])}
 989 |   }
 990 | 
 991 | function recalculate(id,values,cb){var dummy,rec,resolved_arg_values,resolved_args
 992 |   rec=command_records[id]
 993 |   resolved_args=resolve_arg_types(rec.args)
 994 |   resolved_arg_values=resolved_args.map(function(arg){
 995 |     if(arg.type=='ref' && arg.ref in values)return values[arg.ref]
 996 |     return arg_value(arg)})
 997 |   //alert(pp(rec.ports))
 998 |   dummy=
 999 |     {args:resolved_arg_values
1000 |     // ports are not handled yet ('each' supports pure operations only)
1001 |     ,ports:rec.ports.map(resolve_port)
1002 |     ,out:function(x){cb(x)}
1003 |     ,status:function(){}
1004 |     }
1005 |   verb_handlers[rec.verb](dummy)}
1006 | 
1007 | function clean_cl(){
1008 |   cl.value=''
1009 |   autocomplete_el.className='hidden'
1010 |   hint_el.className='hidden'
1011 |   }
1012 | 
1013 | function cmd_to_li(cmd){var el
1014 |   el=cEl('li')
1015 |   el.appendChild(cTN(cmd_to_str(cmd)))
1016 |   return el}
1017 | 
1018 | function cmd_to_str(cmd){return (cmd.args.length?cmd.args.map(arg_quote).join(' ')+' ':'')+cmd.verb+(cmd.ports&&cmd.ports.length?' '+cmd.ports.join(' '):'')}
1019 | 
1020 | function fmt_date(d){
1021 |   if(d==undefined)return 'undefined'
1022 |   if(typeof d=='number')d=new Date(d)
1023 |   return d.getFullYear()+'-'+pad(d.getMonth()+1)+'-'+pad(d.getDate())+' '+pad(d.getHours())+':'+pad(d.getMinutes())+':'+pad(d.getSeconds())
1024 |   function pad(n){return (n>9?'':'0')+n}}
1025 | 
1026 | function arg_quote(s){
1027 |   if(s==undefined)return '...'
1028 |   //return pp(s)
1029 |   if(typeof s=='number')return ''+s
1030 |   if(s.match(/^[A-Z]$/))return s
1031 |   return '"'+s.replace(/[\\"]/g,function(m){return '\\'+m[0]})+'"'}
1032 | 
1033 | function openPortSSH(cmd){var portid,gw,ports,port,user,host,m
1034 |   gw=cmd.args[0]
1035 |   portid=cmd.args[1]
1036 |   m=/([^@]*)@(.*)/.exec(portid)
1037 |   if(!m){cmd.out('could not parse '+portid+' as an SSH connection string');return}
1038 |   user=m[1];host=m[2]
1039 |   port=createPort()
1040 |   port.user=user
1041 |   port.host=host
1042 |   cmd.out('opened SSH port to '+portid+' via '+gw)}
1043 | 
1044 | function createPort(impl_name,args){var port,ports
1045 |   port={}
1046 |   port.impl_name=impl_name
1047 |   port.args=args
1048 |   ports=get_env('ports')||[]
1049 |   port.id=ports.length+1
1050 |   ports.push(port)
1051 |   set_env('ports',ports)
1052 |   return port}
1053 | 
1054 | function createPortObject(port){var o
1055 |   o={}
1056 |   extend(o,event_interface())
1057 |   setTimeout(function(){window[port.impl_name].init(Persistence(port),o,port.args)},0)
1058 |   //alert('createPortObject: '+pp(o))
1059 |   return o}
1060 | 
1061 | // Create a persistence object which a port uses to save its internal state across page reloads
1062 | function Persistence(port){var base_path
1063 |   base_path=session_uri+'ports/'+port.id+'/'
1064 |   return 0,
1065 |     {write:write
1066 |     ,read:read
1067 |     }
1068 |   function write(path,data,cb){var str
1069 |     cb=cb||function(e){if(e)alert('persistence write error: '+e)}
1070 |     try{str=JSON.stringify(data)}catch(e){return cb('JSON.stringify error: '+e)}
1071 |     xhr('PUT',base_path+path,str,function(x){
1072 |       //alert(base_path+path+' '+x.status)
1073 |       if(x.status==200) cb(null)
1074 |       else cb(x.status)})}
1075 |   function read(path,cb){
1076 |     xhr('GET',base_path+path,null,function(x){
1077 |       if(x.status>399||x.status<200){cb(x.status)}
1078 |       else try{cb(null,JSON.parse(x.responseText))}
1079 |       catch(e){cb(e)}
1080 |     })}
1081 |   }
1082 | 
1083 | function loadVerbSet(cmd){var uri,set,names,dep_tokens,dep_filenames,relative
1084 |   relative="verbs/"
1085 |   get_verb_set()
1086 |   function get_verb_set(){
1087 |     uri=relative+cmd.args[0]
1088 |     xhr('GET',uri,null,verb_set)}
1089 |   function verb_set(x){var p,metadata
1090 |     if(x.status==404)return alt_location()
1091 |     if(x.status!=200 && x.status!=304){reportError('could not fetch '+uri);return}
1092 |     try{set=JSON.parse(x.responseText)}catch(e){cmd.out('could not parse contents of '+uri+' as JSON.');return}
1093 |     metadata=set._metadata_||{includes:[]}
1094 |     delete set._metadata_
1095 |     names=Object.keys(set)
1096 |     dep_tokens=Object.keys(metadata.includes)
1097 |     relative=uri.replace(/[/][^/]+$/,'/')
1098 |     dep_filenames=dep_tokens.map(function(k){return relative+metadata.includes[k]})
1099 |     GET_all(dep_filenames,deps)}
1100 |   function alt_location(){
1101 |     relative="local/"
1102 |     get_verb_set()
1103 |     }
1104 |   function deps(results){var env_verbs,replacements
1105 |     //alert(pp(results))
1106 |     replacements={}
1107 |     results.forEach(function(x,i){
1108 |       if(x.status!=200&&x.status!=304)alert('could not load: '+dep_filenames[i]+' '+x.status)
1109 |       replacements[dep_tokens[i]]=x.responseText})
1110 |     names.forEach(function(name){
1111 |       set[name].builtin=false
1112 |       set[name].source_uri=uri
1113 |       set[name].f=expand(set[name].f,replacements)})
1114 |     env_verbs=get_env('verbs')||[]
1115 |     extend(env_verbs,set)
1116 |     set_env('verbs',env_verbs)
1117 |     cmd.out('loaded '+names.join())
1118 |     }}
1119 | 
1120 | function regexp_escape(s){return s.replace(/[[\\+{(*.?$^|]/g,"\\$&")}
1121 | 
1122 | function expand(template,replacements){var tokens,re,regexp
1123 |   //alert(pp(replacements))
1124 |   tokens=Object.keys(replacements||{})
1125 |   if(!tokens.length)return template
1126 |   re=tokens.map(regexp_escape).join('|')
1127 |   regexp=RegExp(re,'g')
1128 |   return template.replace(regexp,function(m){return replacements[m]})}
1129 | 
1130 | function edverb(verbname){var verb,url
1131 |   verb=lookupVerb(verbname)
1132 |   url=verb.source_uri+'.ed'
1133 |   window.open(url)
1134 |   return url}
1135 | 
1136 | // belongs in a browser port
1137 | function paste(cmd){
1138 |   show()
1139 |   paste_commit_el.onclick=function(){
1140 |     cmd.out(paste_el.value)
1141 |     hide()
1142 |     }
1143 |   paste_cancel_el.onclick=function(){
1144 |     hide()}
1145 |   function show(){
1146 |     paste_box_el.className=''
1147 |     setTimeout(function(){paste_el.focus()},0)}
1148 |   function hide(){
1149 |     paste_box_el.className='hidden'
1150 |     cl.focus()}}
1151 | 
1152 | function lookupVerb(verb){
1153 |   return env.verbs[verb]}
1154 | 
1155 | /*
1156 | function helpForVerb(verb){var o
1157 |   o=lookupVerb(verb)
1158 |   if(!o)return "use `help <verb>` for help on <verb> or `load <relative url>` to load verbs, e.g. `load \"verbs/posix\"`"
1159 |              + "\nloaded verbs: "+Object.keys(env.verbs).join()
1160 |   return o.desc
1161 |        + '\nargs: '+o.args.join('; ')
1162 |        + '\nenv: ('+(o['env-in']||'')+') ('+(o['env-out']||'')+')'}
1163 | */
1164 | 
1165 | function reportError(err){cl_err.textContent=err;alert(err);cl_err.className='';cl.className='err'}
1166 | function clear_cl_err(){cl_err.className='hidden';cl.className=''}
1167 | 
1168 | function extend(a,b){for(var p in b) if(Object.prototype.hasOwnProperty.call(b,p)) a[p]=b[p]; return a}
1169 | 
1170 | function reviver(name,val){
1171 |   if(name=='f') return eval('('+val+')') // turn the 'f' properties, given as strings, into real functions
1172 |   return val}
1173 | 
1174 | hashchange()
1175 | 
1176 | })()
1177 | </script>


--------------------------------------------------------------------------------
/verbs/aws:
--------------------------------------------------------------------------------
 1 | {"setaccesskeyid":
 2 |   {"desc":"set [id] as the Access Key ID to use on the port [aws]"
 3 |   ,"ports":["aws:AWSPort"]
 4 |   ,"args":["id:String"]
 5 |   ,"outs":[]
 6 |   ,"f":"function(cmd){cmd.ports[0].set_access_id(cmd.args[0])}"
 7 |   }
 8 | ,"setsecretaccesskey":
 9 |   {"desc":"set the Secret Access Key for use on the port [aws] (via a prompt)"
10 |   ,"ports":["aws:AWSPort"]
11 |   ,"args":[]
12 |   ,"outs":[]
13 |   ,"f":"function(cmd){var pass=prompt('Please enter your AWS Secret Access Key.');if(pass){cmd.ports[0].set_secret_access_key(pass);cmd.out('set from prompt')}else{cmd.out('canceled')}}"
14 |   }
15 | ,"listverifiedemailaddresses":
16 |   {"desc":"Ask Amazon SES for the list of verified addresses on the account"
17 |   ,"ports":["aws:AWSPort"]
18 |   ,"args":[]
19 |   ,"outs":["resp:String"]
20 |   ,"f":"function(cmd){cmd.ports[0].list_verified_email_addresses(cmd.out)}"
21 |   }
22 | ,"verifyemailaddress":
23 |   {"desc":"verify a new address, causing a verification email to be sent"
24 |   ,"ports":["aws:AWSPort"]
25 |   ,"args":["address:String"]
26 |   ,"outs":[]
27 |   ,"f":"function(cmd){cmd.ports[0].request('VerifyEmailAddress',{EmailAddress:cmd.args[0]},cmd.out)}"
28 |   }
29 | ,"deleteverifiedemailaddress":
30 |   {"desc":"delete a verified email address"
31 |   ,"ports":["aws:AWSPort"]
32 |   ,"args":["address:String"]
33 |   ,"outs":[]
34 |   ,"f":"function(cmd){cmd.ports[0].request('DeleteVerifiedEmailAddress',{EmailAddress:cmd.args[0]},cmd.out)}"
35 |   }
36 | ,"sendemail":
37 |   {"desc":"send an email message through AWS SES"
38 |   ,"ports":["aws:AWSPort"]
39 |   ,"args":["message:Object"]
40 |   ,"outs":["messageID:String"]
41 |   ,"f":"function(cmd){cmd.ports[0].request('SendEmail',cmd.args[0],cmd.out)}"
42 |   }
43 | }


--------------------------------------------------------------------------------
/verbs/csv:
--------------------------------------------------------------------------------
 1 | {"_metadata_":
 2 |   {"includes":
 3 |     {"$panpg_util.js$":"deps/PanPG_util.js"
 4 |     ,"$csv_util.js$":"deps/csv_util.js"
 5 |     }
 6 |   }
 7 | ,"parsecsv":
 8 |   {"desc":"Parse CSV file into an array of arrays"
 9 |   ,"args":["csv:String"]
10 |   ,"outs":["data:[[String]]"]
11 |   ,"f":"function parsecsv(cmd){var PanPG_util;$panpg_util.js$;$csv_util.js$;cmd.out(parse_csv(cmd.args[0]))}"
12 |   }
13 | }


--------------------------------------------------------------------------------
/verbs/deps/3box_util.js:
--------------------------------------------------------------------------------
 1 | /* copied from f_confParser.js */
 2 | function parse3boxConf(s){var
 3 |  ls=s.split('\n'),a=[],b=[],c=[],d=[],e=[],ws
 4 |  ls.forEach(function(l){
 5 |   ws=l.split(/ +/)
 6 |   switch(ws.shift()){
 7 |    case 'Files:': a=a.concat(ws); break
 8 |    case 'Feedbacks:': b=b.concat(ws); break
 9 |    case 'Output:': c.push(ws); break
10 |    case 'HTML:': d.push(ws); break
11 |    case 'TAL:': e.push(ws); break}})
12 |  return {files:a,feedbacks:b,outputs:c,html:d,tal:e}}
13 | 


--------------------------------------------------------------------------------
/verbs/deps/PanPG_util.js:
--------------------------------------------------------------------------------
  1 | /* Utility functions on PanPG parse trees.
  2 |  * PanPG version 0.0.10
  3 |  * built on Thu, 18 Aug 2011 18:51:30 GMT
  4 |  * http://boshi.inimino.org/3box/PanPG/about.html
  5 |  * MIT Licensed
  6 |  */
  7 | 
  8 | ;(function(exports){
  9 | 
 10 | // (event array (can be partial), [name array], [input string], [state]) → [ascii-art tree, state]
 11 | // -or-
 12 | // (complete event array, [name array], [input string]) → ascii-art
 13 | // if the event array doesn't describe a complete, finished tree, or if the state value argument is provided, then the ascii-art and the state value will be returned as an array
 14 | // this is for examining partial tree fragments as they are generated by a streaming parser
 15 | 
 16 | function showTree(res,opts,state){var names,str,a,i,l,indent,name,x,y,out=[],output_positions=[],node,out_pos,state_was_passed
 17 |  if(!res[0])return showError(res)
 18 |  res=res[1]
 19 |  names=res.names
 20 |  a=res.tree
 21 |  str=res.input
 22 |  opts=opts||{}
 23 |  opts.elide=opts.elide||['anonymous']
 24 |  opts.drop=opts.drop||[]
 25 |  state_was_passed=!!state
 26 |  state=state||{stack:[],indent:'',pos:0,drop_depth:0}
 27 |  for(i=0,l=a.length;i<l;i++){x=a[i]
 28 |   if(x>0){
 29 |    if(names){
 30 |     name=names[x]
 31 |     if(!name) return err('no such rule index in name array: '+x)}
 32 |    else name=''+x
 33 |    output_positions[state.stack.length]=out.length
 34 |    node={index:x,name:name,start:state.pos}
 35 |    if(opts.drop.indexOf(name)>-1)state.drop_depth++
 36 |    out.push(show(state,node))
 37 |    state.indent+=' '
 38 |    state.stack.push(node)}
 39 |   else if(x==-1){
 40 |    i++
 41 |    if(i==l){i--;return}
 42 |    node={name:'anonymous',start:state.pos,end:state.pos+a[i]}
 43 |    state.pos=node.end
 44 |    out.push(show(state,node))
 45 |    }
 46 |   else if(x==-2){
 47 |    i++
 48 |    if(i==l)return err('incomplete close event, expected length at position '+i+' but found end of input array')
 49 |    y=state.stack.pop()
 50 |    state.pos=y.end=y.start+a[i]
 51 |    out_pos=output_positions[state.stack.length]
 52 |    state.indent=state.indent.slice(0,-1)
 53 |    if(out_pos!=undefined){
 54 |     out[out_pos]=show(state,y)}
 55 |    if(opts.drop.indexOf(y.name)>-1)state.drop_depth--}
 56 |   else return err('invalid event '+x+' at position '+i)}
 57 |  if(state_was_passed || state.stack.length) return [out.join(''),state]
 58 |  else return out.join('')
 59 |  function err(s){return ['showTree: '+s]}
 60 |  function show(state,node){var text='',main,indent,l
 61 |   if(opts.elide.indexOf(node.name)>-1)return ''
 62 |   if(state.drop_depth)return ''
 63 |   if(node.end!=undefined && str){
 64 |    text=show_str(str.slice(node.start,node.end))}
 65 |   main=state.indent+node.name+' '+node.start+'-'+(node.end==undefined?'?':node.end)
 66 |   l=main.length
 67 |   indent=Array(32*Math.ceil((l+2)/32)-l).join(' ')
 68 |   return main+indent+text+'\n'}
 69 |  function show_str(s){
 70 |   return '»'+s.replace(/\n/g,'\\n').replace(/\r/g,'\\r').replace(/(.{16}).{8,}/,"$1…")+'«'}}
 71 | 
 72 | // inspired by: http://gist.github.com/312863
 73 | function showError(res){var line_number,col,lines,line,start,end,prefix,suffix,arrow,pos,msg,str
 74 |  pos=res[1];msg=res[2];str=res[3]
 75 |  msg=msg||'Parse error'
 76 |  if(str==undefined)return msg+' at position '+pos
 77 |  prefix=str.slice(0,pos)
 78 |  suffix=str.slice(pos)
 79 |  line_number=prefix.split('\n').length
 80 |  start=prefix.lastIndexOf('\n')+1
 81 |  end=suffix.indexOf('\n')
 82 |  if(end==-1) end=str.length
 83 |  else end=prefix.length+end
 84 |  line=str.slice(start,end)
 85 |  line=line.replace(/\t/g,' ')
 86 |  col=pos-start
 87 |  arrow=Array(col).join('-')+'^'
 88 |  return msg+' at line '+line_number+' column '+col+'\n'+line+'\n'+arrow}
 89 | 
 90 | function showResult(r,opts){
 91 |  if(r[0])return showTree(r,opts)
 92 |  return showError(r)}
 93 | 
 94 | function treeWalker(dict,result){var p,any,anon,other,fail,except,index,cb=[],stack=[],frame,pos=0,i,l,x,retval,names,events,begin=[],match,target,msg
 95 |  fail=dict.fail
 96 |  except=dict.exception
 97 |  if(!result[0]){
 98 |   msg='parse failed: '+result[1]+' '+(result[2]||'')
 99 |   if(fail)return fail(result)||msg
100 |   return err(msg)}
101 |  result=result[1]
102 |  names=result.names
103 |  events=result.tree
104 |  for(p in dict) if(dict.hasOwnProperty(p)){
105 |   if(p=='any'){any=dict[p];throw new Error('unimplemented, use `other` instead')}
106 |   if(p=='anonymous'||p=='anon'){anon=dict[p];continue}
107 |   if(p=='other'){other=dict[p];continue}
108 |   if(p=='fail'){fail=dict[p];continue}
109 |   if(p=='exception'){except=dict[p];continue}
110 |   if(p=='warn'){continue}
111 |   target=cb
112 |   if(match=/(.*) start/.exec(p)){p=m[1];target=begin}
113 |   index=names.indexOf(p)
114 |   if(index==-1)return err('rule not found in rule names: '+p)
115 |   target[index]=dict[p]}
116 |  frame={cn:[]}
117 |  for(i=0,l=events.length;i<l;i++){x=events[i]
118 |   if(x>0){ // named rule start
119 |    stack.push(frame)
120 |    frame={index:x,start:pos}
121 |    if(begin[x]){
122 |     try{retval=begin[x](pos)}
123 |     // here we call err() but continue iff `except` returns true
124 |     catch(e){if(!err('exception in '+names[x]+' start:'+e))return}}
125 |    if(cb[x]||any||other) frame.cn=[]}
126 |   else if(x==-1){ // anonymous node
127 |    i++
128 |    if(i==l)return err('incomplete anonymous node')
129 |    if(anon)anon(m(pos,pos+events[i]))
130 |    pos+=events[i]}
131 |   else if(x==-2){ // node close
132 |    i++
133 |    if(i==l)return err('incomplete rule close')
134 |    pos=frame.start+events[i]
135 |    x=frame.index
136 |    match=m(frame.start,pos)
137 |    try{
138 |     if(cb[x])     retval=cb[x](match,frame.cn)
139 |     else if(other)retval=cb[x](match,frame.cn,names[x])}
140 |    catch(e){return err('exception in '+names[x]+': '+e+' (on node at char '+match.start+'-'+match.end+')')}
141 |    frame=stack.pop() // the parent node
142 |    if(cb[x] && retval!==undefined)
143 |     if(frame.cn)frame.cn.push(retval)
144 |     else warn('ignored return value of '+names[x]+' in '+names[frame.index])}
145 |   else return err('invalid event stream (saw '+x+' at position '+i+')')}
146 |  if(frame.cn)return frame.cn[0]
147 |  function m(s,e){
148 |   return {start:s
149 |          ,end:e
150 |          ,text:function(){return result.input.slice(s,e)}}}
151 |  function err(s){
152 |   if(except)return except(s)
153 |   throw new Error('treeWalker: '+s)}
154 |  function warn(s){
155 |   if(dict.warn)dict.warn(s)}}
156 | 
157 | exports.showTree=showTree
158 | exports.treeWalker=treeWalker
159 | 
160 | })(typeof exports=='object'?exports:PanPG_util={});
161 | 


--------------------------------------------------------------------------------
/verbs/deps/csv_util.js:
--------------------------------------------------------------------------------
  1 | /** 3box_verb:tocsv
  2 |     desc:"Create a CSV string from an array of arrays"
  3 |     args:["records:[[String]]"]
  4 |     f:to_csv
  5 | 
  6 |     3box_verb:parsecsv
  7 |     desc:"Parse a csv file into an array of arrays"
  8 |     args:["csv:String"]
  9 |     f:parse_csv
 10 | 
 11 |  N.B. nothing interprets these comments (just an idea)
 12 |  */
 13 | function to_csv(records){
 14 |  return records.map(function(fields){
 15 |   return fields.map(function(field){var quote=false
 16 |    field=field.replace(/[",\r\n]/g,function(m){quote=true;return m[0]=='"'?'""':m[0]})
 17 |    return quote?'"'+field+'"':field
 18 |    }).join(',')+'\r\n'}).join('')}
 19 | 
 20 | /*
 21 | 
 22 | CSV ← EmptyLine* (EOF / Record (LB+ Record)* EmptyLine*)
 23 | 
 24 | EmptyLine ← LB
 25 | LB ← CR LF? / LF
 26 | CR ← [U+000D]
 27 | LF ← [U+000A]
 28 | 
 29 | Record ← (Field/NullField &",") ("," (Field/NullField))*
 30 | 
 31 | EOF ← ![^]
 32 | 
 33 | Comma ← ","
 34 | 
 35 | Field ← DQuote ( TextData / Comma / CR / LF / DDQuote )* DQuote
 36 |       / TextData
 37 | 
 38 | NullField ← ""
 39 | 
 40 | DQuote ← ["]
 41 | 
 42 | DDQuote ← DQuote DQuote
 43 | 
 44 | TextData ← [^ U+000A U+000D " , ]+
 45 | 
 46 | Parser below generated from grammar above by http://boshi.inimino.org/3box/PanPG/build/demo.html
 47 | 
 48 | */
 49 | 
 50 | CSV.names=['','CSV','EmptyLine','LB','CR','LF','Record','EOF','Comma','Field','NullField','DQuote','DDQuote','TextData','_']
 51 | function CSV(out){var eof=false,s='',l=0,S=57344,T,M,F,D,R,tbl=[],x,pos=0,offset=0,buf=[],bufs=[],states=[],posns=[],c,equiv,ds,dp,failed=0,emp=0,emps=[];
 52 | equiv=rle_dec([10,0,1,1,2,0,1,2,20,0,1,3,9,0,1,4,55251,0,2048,5,8192,0])
 53 | function rle_dec(a){var r=[],i,l,n,x,ll;for(i=0,l=a.length;i<l;i+=2){n=a[i];x=a[i+1];r.length=ll=r.length+n;for(;n;n--)r[ll-n]=x}return r}
 54 | T=[,61440,131072,135168,,,172032,125446,,221184,303104,,274432,289798,307200,65536,11439,73728,31919,81920,27823,93190,97286,98304,15535,106496,15535,27823,118784,11439,126976,,15535,142342,143360,19631,151552,23727,80,23727,,,176128,40111,184320,44207,192512,,203782,204800,,212992,40111,44207,228358,229376,48303,237568,241664,56495,36015,19631,23727,52399,48303,56495,,48303,48303,,290816,,299008,,80,7343,315392,]
 55 | M=[,78,78,78,78,78,78,78,78,78,78,78,78,78,78,69632,65536,78,78,78,86016,114688,93190,110592,102400,78,106496,78,78,118784,78,79,78,78,78,147456,78,78,78,78,,,196608,78,78,191238,78,78,78,203782,208896,78,78,78,78,78,233472,262144,237568,78,78,78,78,78,78,78,,278528,78,,78,294912,78,299008,78,311296,78,79]
 56 | F=rle_dec([1,,15,79,1,78,1,79,1,80902,3,79,1,78,3,79,1,78,2,79,1,78,1,79,1,78,2,79,1,159744,2,79,1,155648,2,79,2,,1,79,1,183302,5,79,1,78,2,79,1,217088,2,79,1,266240,2,79,1,78,1,245760,1,249856,1,253952,1,258048,3,79,1,,2,79,1,,3,79,1,78,3,79,1,78])
 57 | D=function(a,i,l,b){for(i=0,l=a.length,b=[];i<l;i++)b[i]=a[i]&&revive(a[i]);return b}([,,,,[[[[2]]]],[[[[1]]]],,,[[[[4]]]],,,[[[[3]]]],,,,,,,,,,,,,,,,,,,,[[[[0,1,2,3,4]]]],,,,,,,,,,,,,,,,[[[[4]]]],,,[[[[4]]]],,,,,,,,,,,,,,,,,,,,,[[[[0]]]],,[[[[0]]]],,,,[[[[0,1,2,3,4]]]]])
 58 | function revive(x){var i,l,state,j,l2,all=[],t,ts;if(!x)return;for(i=0,l=x.length;i<l;i++){state=x[i];ts=[];for(j=0,l2=state.length;j<l2;j++){t=state[j];if(t[1]==l) ts.push([t[0],true]);else ts.push([t[0],t[1]==undefined?i+1:t[1]])}all.push(ts)}return dfa(all)
 59 |  function dfa(ss){var i,l_ss,st,l_s,t,l_t,a,d=[],j,k,l;for(i=0,l_ss=ss.length;i<l_ss;i++){st=ss[i];a=[];for(j=0,l_s=st.length;j<l_s;j++){t=st[j];for(k=0,l_t=t[0].length;k<l_t;k++){a[t[0][k]]=t[1]===true?l_ss:t[1]}}for(j=0,l=a.length;j<l;j++)if(a[j]==undefined)a[j]=l_ss+1;d[i]=a}
 60 |   return function _dfa(st,i){var eq,pr;while(st<l_ss){eq=equiv[s.charCodeAt(i++)];st=d[pr=st][eq]}if(eq==undefined&&i>=s.length){ds=pr;dp=i-1;return}ds=0;dp=undefined;if(st==l_ss){pos=i;return true}return false}}}
 61 | if(typeof out=='string'){s=out;out=[];x=CSV(function(m,x,y){if(m=='fail')out=[false,x,y,s];if(m=='tree segment')out=out.concat(x)});x('chunk',s);x('eof');return out[0]===false?out:[true,{names:CSV.names,tree:out,input:s}]}
 62 | return function(m,x){if(failed){out('fail',pos,'parse already failed');return}
 63 | switch(m){
 64 | case 'chunk':s+=x;l=s.length;while(tbl.length<l+1)tbl.push([]);mainloop();break
 65 | case 'eof':eof=true;mainloop();break
 66 | default:throw new Error('unhandled message: '+m)}}
 67 | //mainloop
 68 | function mainloop(){for(;;){
 69 | if(dp==undefined&&(S>83||S<80))
 70 | t_block:{
 71 | if(S&4/*pushpos*/)posns.push(pos)
 72 | if(S&2/*t_bufferout*/){bufs.push(buf);buf=[]}
 73 | if(S&8/*t_emitstate*/){emps.push(emp);emp=pos;buf.push(S>>>12)}
 74 | if(S&1/*cache*/&&(x=tbl[pos-offset][S])!=undefined){if(x){R=true;pos=x[0];buf=x[1];if(emp<x[2])emp=x[2]}else{R=false}}
 75 | }
 76 | if(R==undefined){
 77 | if(D[S>>>12]){R=D[S>>>12](ds||0,dp||pos);if(R==undefined){if(eof){ds=dp=undefined;R=false}else{out('ready');return}}}
 78 | else{states.push(S);S=T[S>>>12]}
 79 | if(S==80){R=true;S=states.pop()}}
 80 | while(R!=undefined){
 81 | if(S==57344){(R?emit:fail)();return}if(R){
 82 | if(S&1/*cache*/){tbl[posns[posns.length-1]][S]=[pos,buf,emp];buf=buf.slice()}
 83 | if(S&8/*t_emitstate*/){if(pos!=emp&&emp!=posns[posns.length-1]){buf.push(-1,pos-emp)}emp=emps.pop();if(emp!=posns[posns.length-1]){buf=[-1,posns[posns.length-1]-emp].concat(buf)}}
 84 | if(S&16/*m_emitstate*/)buf.push(S>>>12)
 85 | if(S&32/*m_emitclose*/)buf.push(-2)
 86 | if(S&128/*m_emitlength*/)buf.push(pos-posns[posns.length-1])
 87 | if(S&8/*t_emitstate*/){emp=pos}
 88 | if(S&256/*m_resetpos*/)pos=posns[posns.length-1]
 89 | if(S&4/*pushpos*/)posns.pop()
 90 | if(S&512/*m_tossbuf*/)buf=bufs.pop()
 91 | if(S&1024/*m_emitbuf*/){buf=bufs.pop().concat(buf);}
 92 | if(!bufs.length&&buf.length>64)emit()
 93 | S=M[S>>>12]}
 94 | else{
 95 | if(S&1/*cache*/)tbl[posns[posns.length-1]][S]=false
 96 | if(S&4/*pushpos*/)pos=posns.pop()
 97 | if(S&2048/*f_tossbuf*/)buf=bufs.pop()
 98 | if(S&8/*t_emitstate*/){emp=emps.pop()}
 99 | if(emp>pos){emp=pos}
100 | S=F[S>>>12]}
101 | if(S==78){R=true;S=states.pop()}else if(S==79){R=false;S=states.pop()}else R=undefined;}}}
102 | function emit(){var x=bufs.length?bufs[0]:buf;if(x.length){out('tree segment',x);if(bufs.length)bufs[0]=[];else buf=[]}}
103 | function fail(s){out('fail',pos,s);failed=1}}
104 | 
105 | 
106 | function parse_csv(s){var cbs
107 |  cbs=
108 |  {CSV:  function(m,cn){return cn}
109 |  ,Record: function(m,cn){return cn}
110 |  ,Field: function(m,cn){return cn.join('')}
111 |  ,NullField: function(m,cn){return ''}
112 |  ,TextData:function(m,cn){return m.text()}
113 |  ,Comma:function(m,cn){return ','}
114 |  ,DDQuote:function(m,cn){return '"'}
115 |  }
116 |  return PanPG_util.treeWalker(cbs,CSV(s))}
117 | 


--------------------------------------------------------------------------------
/verbs/deps/lists.js:
--------------------------------------------------------------------------------
 1 | function foldl1(f,a){var x,i,l
 2 |  x=a[0]
 3 |  for(i=1,l=a.length;i<l;i++)x=f(x,a[i])
 4 |  return x}
 5 | 
 6 | function foldl(f,a,x){var i,l
 7 |  for(i=0,l=a.length;i<l;i++)x=f(x,a[i])
 8 |  return x}
 9 | 
10 | // [[a]] → [a]
11 | function concat(as){var i,l,a=[]
12 |  for(i=0,l=as.length;i<l;i++)
13 |   a.push.apply(a,as[i])
14 |  return a}
15 | 
16 | function uniq(a){
17 |  return a.filter(function(e,i,a){return !i||e!==a[i-1]})}
18 | 
19 | function max(a){
20 |  return foldl(f,a,-Infinity)
21 |  function f(a,b){return Math.max(a,b)}}
22 | 
23 | function min(a){
24 |  return foldl(f,a,Infinity)
25 |  function f(a,b){return Math.min(a,b)}}
26 | 
27 | function sum(a){
28 |  return foldl(f,a,0)
29 |  function f(a,b){return a+b}}
30 | 
31 | function product(a){
32 |  return foldl(f,a,1)
33 |  function f(a,b){return a*b}}
34 | 
35 | // String → Object → a
36 | function access(prop){return function(o){return o[prop]}}
37 | 
38 | /* [[name,value]] → Object */
39 | function objectFromList(a){var o={}
40 |  a.forEach(function(e){
41 |   o[e[0]]=e[1]})
42 |  return o}
43 | 
44 | /* [a], [b] → [[a,b]] */
45 | function zip(a,b){var r=[],i,l
46 |  l=Math.min(a.length,b.length)
47 |  for(i=0;i<l;i++) r.push([a[i],b[i]])
48 |  return r}
49 | 
50 | /* [a] → a */
51 | function last(a){return a[a.length-1]}
52 | 
53 | function fst(a){return a[0]}
54 | function snd(a){return a[1]}


--------------------------------------------------------------------------------
/verbs/deps/mustache.js:
--------------------------------------------------------------------------------
  1 | /*!
  2 |  * mustache.js - Logic-less {{mustache}} templates with JavaScript
  3 |  * http://github.com/janl/mustache.js
  4 |  */
  5 | var Mustache = (typeof module !== "undefined" && module.exports) || {};
  6 | 
  7 | (function (exports) {
  8 | 
  9 |   exports.name = "mustache.js";
 10 |   exports.version = "0.5.0-dev";
 11 |   exports.tags = ["{{", "}}"];
 12 |   exports.parse = parse;
 13 |   exports.compile = compile;
 14 |   exports.render = render;
 15 |   exports.clearCache = clearCache;
 16 | 
 17 |   // This is here for backwards compatibility with 0.4.x.
 18 |   exports.to_html = function (template, view, partials, send) {
 19 |     var result = render(template, view, partials);
 20 | 
 21 |     if (typeof send === "function") {
 22 |       send(result);
 23 |     } else {
 24 |       return result;
 25 |     }
 26 |   };
 27 | 
 28 |   var _toString = Object.prototype.toString;
 29 |   var _isArray = Array.isArray;
 30 |   var _forEach = Array.prototype.forEach;
 31 |   var _trim = String.prototype.trim;
 32 | 
 33 |   var isArray;
 34 |   if (_isArray) {
 35 |     isArray = _isArray;
 36 |   } else {
 37 |     isArray = function (obj) {
 38 |       return _toString.call(obj) === "[object Array]";
 39 |     };
 40 |   }
 41 | 
 42 |   var forEach;
 43 |   if (_forEach) {
 44 |     forEach = function (obj, callback, scope) {
 45 |       return _forEach.call(obj, callback, scope);
 46 |     };
 47 |   } else {
 48 |     forEach = function (obj, callback, scope) {
 49 |       for (var i = 0, len = obj.length; i < len; ++i) {
 50 |         callback.call(scope, obj[i], i, obj);
 51 |       }
 52 |     };
 53 |   }
 54 | 
 55 |   var spaceRe = /^\s*$/;
 56 | 
 57 |   function isWhitespace(string) {
 58 |     return spaceRe.test(string);
 59 |   }
 60 | 
 61 |   var trim;
 62 |   if (_trim) {
 63 |     trim = function (string) {
 64 |       return string == null ? "" : _trim.call(string);
 65 |     };
 66 |   } else {
 67 |     var trimLeft, trimRight;
 68 | 
 69 |     if (isWhitespace("\xA0")) {
 70 |       trimLeft = /^\s+/;
 71 |       trimRight = /\s+$/;
 72 |     } else {
 73 |       // IE doesn't match non-breaking spaces with \s, thanks jQuery.
 74 |       trimLeft = /^[\s\xA0]+/;
 75 |       trimRight = /[\s\xA0]+$/;
 76 |     }
 77 | 
 78 |     trim = function (string) {
 79 |       return string == null ? "" :
 80 |         String(string).replace(trimLeft, "").replace(trimRight, "");
 81 |     };
 82 |   }
 83 | 
 84 |   var escapeMap = {
 85 |     "&": "&amp;",
 86 |     "<": "&lt;",
 87 |     ">": "&gt;",
 88 |     '"': '&quot;',
 89 |     "'": '&#39;'
 90 |   };
 91 | 
 92 |   function escapeHTML(string) {
 93 |     return String(string).replace(/&(?!\w+;)|[<>"']/g, function (s) {
 94 |       return escapeMap[s] || s;
 95 |     });
 96 |   }
 97 | 
 98 |   /**
 99 |    * Adds the `template`, `line`, and `file` properties to the given error
100 |    * object and alters the message to provide more useful debugging information.
101 |    */
102 |   function debug(e, template, line, file) {
103 |     file = file || "<template>";
104 | 
105 |     var lines = template.split("\n"),
106 |         start = Math.max(line - 3, 0),
107 |         end = Math.min(lines.length, line + 3),
108 |         context = lines.slice(start, end);
109 | 
110 |     var c;
111 |     for (var i = 0, len = context.length; i < len; ++i) {
112 |       c = i + start + 1;
113 |       context[i] = (c === line ? " >> " : "    ") + context[i];
114 |     }
115 | 
116 |     e.template = template;
117 |     e.line = line;
118 |     e.file = file;
119 |     e.message = [file + ":" + line, context.join("\n"), "", e.message].join("\n");
120 | 
121 |     return e;
122 |   }
123 | 
124 |   /**
125 |    * Looks up the value of the given `name` in the given context `stack`.
126 |    */
127 |   function lookup(name, stack, defaultValue) {
128 |     if (name === ".") {
129 |       return stack[stack.length - 1];
130 |     }
131 | 
132 |     var names = name.split(".");
133 |     var lastIndex = names.length - 1;
134 |     var target = names[lastIndex];
135 | 
136 |     var value, context, i = stack.length, j, localStack;
137 |     while (i) {
138 |       localStack = stack.slice(0);
139 |       context = stack[--i];
140 | 
141 |       j = 0;
142 |       while (j < lastIndex) {
143 |         context = context[names[j++]];
144 | 
145 |         if (context == null) {
146 |           break;
147 |         }
148 | 
149 |         localStack.push(context);
150 |       }
151 | 
152 |       if (context && target in context) {
153 |         value = context[target];
154 |         break;
155 |       }
156 |     }
157 | 
158 |     // If the value is a function, call it in the current context.
159 |     if (typeof value === "function") {
160 |       value = value.call(localStack[localStack.length - 1]);
161 |     }
162 | 
163 |     if (value == null)  {
164 |       return defaultValue;
165 |     }
166 | 
167 |     return value;
168 |   }
169 | 
170 |   function renderSection(name, stack, callback, inverted) {
171 |     var buffer = "";
172 |     var value =  lookup(name, stack);
173 | 
174 |     if (inverted) {
175 |       // From the spec: inverted sections may render text once based on the
176 |       // inverse value of the key. That is, they will be rendered if the key
177 |       // doesn't exist, is false, or is an empty list.
178 |       if (value == null || value === false || (isArray(value) && value.length === 0)) {
179 |         buffer += callback();
180 |       }
181 |     } else if (isArray(value)) {
182 |       forEach(value, function (value) {
183 |         stack.push(value);
184 |         buffer += callback();
185 |         stack.pop();
186 |       });
187 |     } else if (typeof value === "object") {
188 |       stack.push(value);
189 |       buffer += callback();
190 |       stack.pop();
191 |     } else if (typeof value === "function") {
192 |       var scope = stack[stack.length - 1];
193 |       var scopedRender = function (template) {
194 |         return render(template, scope);
195 |       };
196 |       buffer += value.call(scope, callback(), scopedRender) || "";
197 |     } else if (value) {
198 |       buffer += callback();
199 |     }
200 | 
201 |     return buffer;
202 |   }
203 | 
204 |   /**
205 |    * Parses the given `template` and returns the source of a function that,
206 |    * with the proper arguments, will render the template. Recognized options
207 |    * include the following:
208 |    *
209 |    *   - file     The name of the file the template comes from (displayed in
210 |    *              error messages)
211 |    *   - tags     An array of open and close tags the `template` uses. Defaults
212 |    *              to the value of Mustache.tags
213 |    *   - debug    Set `true` to log the body of the generated function to the
214 |    *              console
215 |    *   - space    Set `true` to preserve whitespace from lines that otherwise
216 |    *              contain only a {{tag}}. Defaults to `false`
217 |    */
218 |   function parse(template, options) {
219 |     options = options || {};
220 | 
221 |     var tags = options.tags || exports.tags,
222 |         openTag = tags[0],
223 |         closeTag = tags[tags.length - 1];
224 | 
225 |     var code = [
226 |       'var buffer = "";', // output buffer
227 |       "\nvar line = 1;", // keep track of source line number
228 |       "\ntry {",
229 |       '\nbuffer += "'
230 |     ];
231 | 
232 |     var spaces = [],      // indices of whitespace in code on the current line
233 |         hasTag = false,   // is there a {{tag}} on the current line?
234 |         nonSpace = false; // is there a non-space char on the current line?
235 | 
236 |     // Strips all space characters from the code array for the current line
237 |     // if there was a {{tag}} on it and otherwise only spaces.
238 |     var stripSpace = function () {
239 |       if (hasTag && !nonSpace && !options.space) {
240 |         while (spaces.length) {
241 |           code.splice(spaces.pop(), 1);
242 |         }
243 |       } else {
244 |         spaces = [];
245 |       }
246 | 
247 |       hasTag = false;
248 |       nonSpace = false;
249 |     };
250 | 
251 |     var sectionStack = [], updateLine, nextOpenTag, nextCloseTag;
252 | 
253 |     var setTags = function (source) {
254 |       tags = trim(source).split(/\s+/);
255 |       nextOpenTag = tags[0];
256 |       nextCloseTag = tags[tags.length - 1];
257 |     };
258 | 
259 |     var includePartial = function (source) {
260 |       code.push(
261 |         '";',
262 |         updateLine,
263 |         '\nvar partial = partials["' + trim(source) + '"];',
264 |         '\nif (partial) {',
265 |         '\n  buffer += render(partial,stack[stack.length - 1],partials);',
266 |         '\n}',
267 |         '\nbuffer += "'
268 |       );
269 |     };
270 | 
271 |     var openSection = function (source, inverted) {
272 |       var name = trim(source);
273 | 
274 |       if (name === "") {
275 |         throw debug(new Error("Section name may not be empty"), template, line, options.file);
276 |       }
277 | 
278 |       sectionStack.push({name: name, inverted: inverted});
279 | 
280 |       code.push(
281 |         '";',
282 |         updateLine,
283 |         '\nvar name = "' + name + '";',
284 |         '\nvar callback = (function () {',
285 |         '\n  return function () {',
286 |         '\n    var buffer = "";',
287 |         '\nbuffer += "'
288 |       );
289 |     };
290 | 
291 |     var openInvertedSection = function (source) {
292 |       openSection(source, true);
293 |     };
294 | 
295 |     var closeSection = function (source) {
296 |       var name = trim(source);
297 |       var openName = sectionStack.length != 0 && sectionStack[sectionStack.length - 1].name;
298 | 
299 |       if (!openName || name != openName) {
300 |         throw debug(new Error('Section named "' + name + '" was never opened'), template, line, options.file);
301 |       }
302 | 
303 |       var section = sectionStack.pop();
304 | 
305 |       code.push(
306 |         '";',
307 |         '\n    return buffer;',
308 |         '\n  };',
309 |         '\n})();'
310 |       );
311 | 
312 |       if (section.inverted) {
313 |         code.push("\nbuffer += renderSection(name,stack,callback,true);");
314 |       } else {
315 |         code.push("\nbuffer += renderSection(name,stack,callback);");
316 |       }
317 | 
318 |       code.push('\nbuffer += "');
319 |     };
320 | 
321 |     var sendPlain = function (source) {
322 |       code.push(
323 |         '";',
324 |         updateLine,
325 |         '\nbuffer += lookup("' + trim(source) + '",stack,"");',
326 |         '\nbuffer += "'
327 |       );
328 |     };
329 | 
330 |     var sendEscaped = function (source) {
331 |       code.push(
332 |         '";',
333 |         updateLine,
334 |         '\nbuffer += escapeHTML(lookup("' + trim(source) + '",stack,""));',
335 |         '\nbuffer += "'
336 |       );
337 |     };
338 | 
339 |     var line = 1, c, callback;
340 |     for (var i = 0, len = template.length; i < len; ++i) {
341 |       if (template.slice(i, i + openTag.length) === openTag) {
342 |         i += openTag.length;
343 |         c = template.substr(i, 1);
344 |         updateLine = '\nline = ' + line + ';';
345 |         nextOpenTag = openTag;
346 |         nextCloseTag = closeTag;
347 |         hasTag = true;
348 | 
349 |         switch (c) {
350 |         case "!": // comment
351 |           i++;
352 |           callback = null;
353 |           break;
354 |         case "=": // change open/close tags, e.g. {{=<% %>=}}
355 |           i++;
356 |           closeTag = "=" + closeTag;
357 |           callback = setTags;
358 |           break;
359 |         case ">": // include partial
360 |           i++;
361 |           callback = includePartial;
362 |           break;
363 |         case "#": // start section
364 |           i++;
365 |           callback = openSection;
366 |           break;
367 |         case "^": // start inverted section
368 |           i++;
369 |           callback = openInvertedSection;
370 |           break;
371 |         case "/": // end section
372 |           i++;
373 |           callback = closeSection;
374 |           break;
375 |         case "{": // plain variable
376 |           closeTag = "}" + closeTag;
377 |           // fall through
378 |         case "&": // plain variable
379 |           i++;
380 |           nonSpace = true;
381 |           callback = sendPlain;
382 |           break;
383 |         default: // escaped variable
384 |           nonSpace = true;
385 |           callback = sendEscaped;
386 |         }
387 | 
388 |         var end = template.indexOf(closeTag, i);
389 | 
390 |         if (end === -1) {
391 |           throw debug(new Error('Tag "' + openTag + '" was not closed properly'), template, line, options.file);
392 |         }
393 | 
394 |         var source = template.substring(i, end);
395 | 
396 |         if (callback) {
397 |           callback(source);
398 |         }
399 | 
400 |         // Maintain line count for \n in source.
401 |         var n = 0;
402 |         while (~(n = source.indexOf("\n", n))) {
403 |           line++;
404 |           n++;
405 |         }
406 | 
407 |         i = end + closeTag.length - 1;
408 |         openTag = nextOpenTag;
409 |         closeTag = nextCloseTag;
410 |       } else {
411 |         c = template.substr(i, 1);
412 | 
413 |         switch (c) {
414 |         case '"':
415 |         case "\\":
416 |           nonSpace = true;
417 |           code.push("\\" + c);
418 |           break;
419 |         case "\r":
420 |           // Ignore carriage returns.
421 |           break;
422 |         case "\n":
423 |           spaces.push(code.length);
424 |           code.push("\\n");
425 |           stripSpace(); // Check for whitespace on the current line.
426 |           line++;
427 |           break;
428 |         default:
429 |           if (isWhitespace(c)) {
430 |             spaces.push(code.length);
431 |           } else {
432 |             nonSpace = true;
433 |           }
434 | 
435 |           code.push(c);
436 |         }
437 |       }
438 |     }
439 | 
440 |     if (sectionStack.length != 0) {
441 |       throw debug(new Error('Section "' + sectionStack[sectionStack.length - 1].name + '" was not closed properly'), template, line, options.file);
442 |     }
443 | 
444 |     // Clean up any whitespace from a closing {{tag}} that was at the end
445 |     // of the template without a trailing \n.
446 |     stripSpace();
447 | 
448 |     code.push(
449 |       '";',
450 |       "\nreturn buffer;",
451 |       "\n} catch (e) { throw {error: e, line: line}; }"
452 |     );
453 | 
454 |     // Ignore `buffer += "";` statements.
455 |     var body = code.join("").replace(/buffer \+= "";\n/g, "");
456 | 
457 |     if (options.debug) {
458 |       if (typeof console != "undefined" && console.log) {
459 |         console.log(body);
460 |       } else if (typeof print === "function") {
461 |         print(body);
462 |       }
463 |     }
464 | 
465 |     return body;
466 |   }
467 | 
468 |   /**
469 |    * Used by `compile` to generate a reusable function for the given `template`.
470 |    */
471 |   function _compile(template, options) {
472 |     var args = "view,partials,stack,lookup,escapeHTML,renderSection,render";
473 |     var body = parse(template, options);
474 |     var fn = new Function(args, body);
475 | 
476 |     // This anonymous function wraps the generated function so we can do
477 |     // argument coercion, setup some variables, and handle any errors
478 |     // encountered while executing it.
479 |     return function (view, partials) {
480 |       partials = partials || {};
481 | 
482 |       var stack = [view]; // context stack
483 | 
484 |       try {
485 |         return fn(view, partials, stack, lookup, escapeHTML, renderSection, render);
486 |       } catch (e) {
487 |         throw debug(e.error, template, e.line, options.file);
488 |       }
489 |     };
490 |   }
491 | 
492 |   // Cache of pre-compiled templates.
493 |   var _cache = {};
494 | 
495 |   /**
496 |    * Clear the cache of compiled templates.
497 |    */
498 |   function clearCache() {
499 |     _cache = {};
500 |   }
501 | 
502 |   /**
503 |    * Compiles the given `template` into a reusable function using the given
504 |    * `options`. In addition to the options accepted by Mustache.parse,
505 |    * recognized options include the following:
506 |    *
507 |    *   - cache    Set `false` to bypass any pre-compiled version of the given
508 |    *              template. Otherwise, a given `template` string will be cached
509 |    *              the first time it is parsed
510 |    */
511 |   function compile(template, options) {
512 |     options = options || {};
513 | 
514 |     // Use a pre-compiled version from the cache if we have one.
515 |     if (options.cache !== false) {
516 |       if (!_cache[template]) {
517 |         _cache[template] = _compile(template, options);
518 |       }
519 | 
520 |       return _cache[template];
521 |     }
522 | 
523 |     return _compile(template, options);
524 |   }
525 | 
526 |   /**
527 |    * High-level function that renders the given `template` using the given
528 |    * `view` and `partials`. If you need to use any of the template options (see
529 |    * `compile` above), you must compile in a separate step, and then call that
530 |    * compiled function.
531 |    */
532 |   function render(template, view, partials) {
533 |     return compile(template)(view, partials);
534 |   }
535 | 
536 | })(Mustache);
537 | 


--------------------------------------------------------------------------------
/verbs/deps/util.js:
--------------------------------------------------------------------------------
  1 | /* Various debugging utilities and convenience functions */
  2 | 
  3 | function dir(o){var a=[],p;for(p in o){a.push(p)}return a.sort().join('\n')}
  4 | 
  5 | function test_pp(){
  6 |  var a=[],f=function(x){a.push(x)},circular=[],o
  7 |  circular[0]=circular 
  8 |  f(pp(['foo','bar',42]))
  9 |  o=[{str:'foo',x:'bar\n"baz"\nquux'},{str:'baz',y:['xyzzy','quux','foo'],z:undefined,zz:null,f:f,foo:[true,false],circular:circular}]
 10 |  o[1].self=o[1]
 11 |  f(pp([o]))
 12 |  return a.join('\n\n')}
 13 | 
 14 | function pp(o,depth){return pp_r(o,'',depth==undefined?32:depth)}
 15 | 
 16 | function pp_r(o,ss,d){var a=[],p
 17 |  if(!d)return '…'
 18 |  if(o===undefined)return 'undefined'
 19 |  if(o===null)return 'null'
 20 |  switch(typeof o){
 21 |  case 'boolean':return o.toString()
 22 |  case 'string':return pp_quote(o)
 23 |  case 'number':return o.toString()
 24 |  case 'function':return o.toString().replace(/\s+/g,'').replace(/(.{32}).+/,'$1…')}
 25 |  if(o.constructor==Array){
 26 |   o.forEach(function(e,i){
 27 |    a.push(pp_r(o[i],' '+ss,d-1))})
 28 |   return '['+a.join('\n'+ss+',')+']'}
 29 |  if(o.constructor==Date)return o.toString()
 30 |  for(p in o) if(o.hasOwnProperty(p))
 31 |   a.push(p+':'+pp_r(o[p],(',:'+p).replace(/./g,' ')+ss,d-1))
 32 |  return '{'+a.join('\n'+ss+',')+'}'}
 33 | 
 34 | pp=pp_smart
 35 | 
 36 | // pp_smart outputs sharp variables (like Mozilla), (optionally) re-orders object properties so that the largest ones come at the end (which makes reading deeply nested objects much easier), and tries to produce much more compact output by compressing properties and array members onto the same line when possible up to some specified line length (by default 80 chars)
 37 | 
 38 | // x, n_rows, n_cols
 39 | function pp_smart(x,opts){var parents=[],refs=[,]
 40 |  opts=opts||{}
 41 |  default_('rows',Infinity)
 42 |  default_('cols',72)
 43 |  default_('show_f',function(f){return (''+f).replace(/\s+/g,' ').replace(/(.{32}).{16,}/,'$1…')})
 44 |  default_('reorder',true)
 45 |  default_('string_escape',false)
 46 |  default_('string_limit',64)
 47 |  default_('hide',[])
 48 |  parents=[]
 49 |  return go(x,"")
 50 |  function default_(k,v){if(opts[k]===undefined)opts[k]=v}
 51 |  function lines(s){return s.split('\n').length}
 52 |  function go(x,ss){var i,l,a=[],sub,cols,p,defer=[]
 53 |   if(x===undefined)return 'undefined'
 54 |   if(x===null)return 'null'
 55 |   switch(typeof x){
 56 |    case 'string':return pp_quote(x,opts).replace(/\n/g,'\n '+ss)
 57 |    case 'boolean':
 58 |    case 'number':return ''+x
 59 |    case 'function':return opts.show_f(x)}
 60 |   if(x.constructor==Date)return x.toString()
 61 |   if(x instanceof RegExp)return '/'+x.source+'/'+(x.global?'g':'')+(x.ignorecase?'i':'')+(x.multiline?'m':'')
 62 |   cols=opts.cols-ss.length
 63 |   if((i=parents.lastIndexOf(x))>-1)refs.push(parents[i])
 64 |   if((i=refs.lastIndexOf(x))>-1)return '#'+i+'#'
 65 |   if(x.constructor==Array||Array.isArray&&Array.isArray(x)){
 66 |    parents.push(x)
 67 |    for(i=0,l=x.length;i<l;i++){
 68 |     sub=(go(x[i],' '+ss))
 69 |     if(a.length) sub=','+sub
 70 |     if(sub.indexOf('\n')>-1){
 71 |      if(a.length) a.push('\n'+ss)
 72 |      a.push(sub)}
 73 |     else{
 74 |      if(cols-sub.length < 0){a.push('\n'+ss);cols=opts.cols-ss.length}
 75 |      a.push(sub)
 76 |      cols-=sub.length}}
 77 |    parents.pop()
 78 |    return ((i=refs.lastIndexOf(x))>-1?'#'+i+'=':'')
 79 |         + '['+a.join('')+']'}
 80 |   parents.push(x)
 81 |   for(p in x) if(Object.prototype.hasOwnProperty.call(x,p)){
 82 |    if(opts.hide.indexOf(p)>-1)sub=p+':<hidden>'
 83 |    else sub=p+':'+go(x[p],(',:'+p).replace(/./g,' ')+ss)
 84 |    if(sub.indexOf('\n')>-1){
 85 |     if(opts.reorder)defer.push(sub)
 86 |     else{
 87 |      if(a.length)sub=','+sub
 88 |      if(a.length) a.push('\n'+ss)
 89 |      a.push(sub)}}
 90 |    else{
 91 |     if(a.length)sub=','+sub
 92 |     if(cols-sub.length<0 && a.length){a.push('\n'+ss);cols=opts.cols-ss.length}
 93 |     a.push(sub)
 94 |     cols-=sub.length}}
 95 |   defer.sort(function(a,b){var la=lines(a),lb=lines(b); return la==lb?0:la>lb?1:-1})
 96 |   for(i=0,l=defer.length;i<l;i++){
 97 |    if(a.length) a.push('\n'+ss+',')
 98 |    a.push(defer[i])}
 99 |   parents.pop()
100 |   return ((i=refs.lastIndexOf(x))>-1?'#'+i+'=':'')
101 |        + '{'+a.join('')+'}'}}
102 | 
103 | function pp_quote(s,opts){opts=opts||{}
104 |  if(opts.string_escape) s=s.replace(/\\/g,'\\\\').replace(/\n/g,'\\n')
105 |  if(opts.string_limit && s.length>opts.string_limit)s=s.slice(0,opts.string_limit)+'…'
106 |  if(s.indexOf("'")==-1)return "'"+s+"'"
107 |  return '"'+s.replace(/"/g,'\\"')+'"'}
108 | 
109 | /*
110 | 
111 | // version for IRC bot
112 | // returns output on a single line, and adds E4X support
113 | 
114 | function pp(o,depth){return pp_r(o,depth==undefined?8:depth)}
115 | 
116 | function pp_r(o,d){var a=[],p
117 |  if(!d)return '...'
118 |  if(o===undefined)return 'undefined'
119 |  if(o===null)return 'null'
120 |  switch(typeof o){
121 |  case 'boolean':return o.toString()
122 |  case 'string':return '"'+o.replace(/\n/g,'\\n').replace(/"/g,'\\"')+'"'
123 |  case 'number':return o.toString()
124 |  case 'xml':return o.toXMLString()}
125 |  if(o instanceof RegExp)return '/'+o.source+'/'
126 |  if(typeof o=='function')return o.toString().replace(/\s+/g,' ').replace(/(.{32}).+/,'$1…')
127 |  if(o.constructor==Array){
128 |   o.forEach(function(e,i){
129 |    a.push(pp_r(o[i],d-1))})
130 |   return '['+a.join(',')+']'}
131 |  if(o.constructor==Date){
132 |   return o.toString()}
133 |  for(p in o) if(Object.prototype.hasOwnProperty.call(o,p))
134 |   a.push(p+':'+pp_r(o[p],d-1))
135 |  return '{'+a.join(',')+'}'}
136 | 
137 | /*
138 | */
139 | 
140 | function quote_string_single(s){
141 |  return "'"
142 |       + s.replace(/\\/g,'\\\\').replace(/\n/g,'\\n').replace(/'/g,"\\'")
143 |       + "'"}
144 | 
145 | function quote_string_double(s){
146 |  return '"'
147 |       + s.replace(/\\/g,'\\\\').replace(/\n/g,'\\n').replace(/"/g,'\\"')
148 |       + '"'}
149 | 
150 | (function(){
151 |  function create(){
152 |   function log(o){var x,s=''
153 |    if(arguments.length>1){o=[].concat(Array.prototype.slice.call(arguments))}
154 |    if(log.timing){x=+new Date;s=x-(log.time||x)+'ms\n';log.time=x}
155 |    log.log.push(s+(typeof o=='string'?o:pp(o)));return o}
156 |   log.log=[]
157 |   log.get=function(n){return '\n\n'+log.log.slice(n?-n:0).join('\n\n')}
158 |   log.count=function(){return log.log.length}
159 |   log.clear=function(){log.log=[]}
160 |   log.limit=function(n){if(log.log.length>n)log.log=log.log.slice(-n)}
161 |   return log}
162 |  log=create()
163 |  log.create=create})()
164 | 
165 | var log
166 | 
167 | function deepEq(x,y){var p
168 |  if(x===y)return true
169 |  if(typeof x!='object'
170 |  || typeof y!='object')return false
171 |  for(p in x)if(!deepEq(x[p],y[p]))return false
172 |  for(p in y)if(!(p in x))return false
173 |  return true}
174 | 
175 | function extend(a,b){
176 |  for(var p in b)if(Object.prototype.hasOwnProperty.call(b,p))a[p]=b[p]
177 |  return arguments.length==2?a:extend.apply(null,[a].concat(Array.prototype.slice.call(arguments,2)))}
178 | 
179 | function event_interface(){var handlers
180 |   handlers={}
181 |   return {on:on
182 |          ,event:event
183 |          }
184 |   function on(e,cb){(handlers[e]=handlers[e]||[]).push(cb)}
185 |   function event(e,a1,a2){var args=[].slice.call(arguments,1);(handlers[e]||[]).forEach(function(cb){cb.apply(null,args)})}}
186 | 


--------------------------------------------------------------------------------
/verbs/fake:
--------------------------------------------------------------------------------
 1 | {"define":
 2 |   {"desc":"add a reference to the filesystem description"
 3 |   ,"ports":["fake:PortFake"]
 4 |   ,"args":["fakepath:String","localpath:String"]
 5 |   ,"f":"function(cmd){var f=cmd.ports[0],path=cmd.args[0];f.insert(path,{});f.setprop(path,'path',cmd.args[1]);f.update();f.persist()}"
 6 |   }
 7 | ,"deserialize":
 8 |   {"desc":"replace the contents from a serialized JSON representation"
 9 |   ,"ports":["fake:PortFake"]
10 |   ,"args":["serialized:String"]
11 |   ,"outs":[]
12 |   ,"f":"function(cmd){var f=cmd.ports[0];f.populate(cmd.args[0]);f.update();f.persist()}"
13 |   }
14 | ,"serialize":
15 |   {"desc":"return the JSON serialization of the fake filesystem state"
16 |   ,"ports":["fake"]
17 |   ,"args":[]
18 |   ,"outs":["serialized:String"]
19 |   ,"f":"function(cmd){var f=cmd.ports[0];cmd.out(f.serialize())}"
20 |   }
21 | ,"setprop":
22 |   {"desc":"set a metadata property"
23 |   ,"ports":["fake"]
24 |   ,"args":["propname:String","value:*"]
25 |   ,"outs":[]
26 |   ,"f":"function(cmd){var f=cmd.ports[0];f.setprop(cmd.args[0],cmd.args[1],cmd.args[2]);f.update();f.persist()}"
27 |   }
28 | ,"rm":
29 |   {"desc":"remove an object (leaf or directory)"
30 |   ,"ports":["fake"]
31 |   ,"args":["path:String"]
32 |   ,"outs":["subtree:Object"]
33 |   ,"f":"function(cmd){var f=cmd.ports[0];cmd.out(f.remove(cmd.args[0]));f.update();f.persist()}"
34 |   }
35 | }


--------------------------------------------------------------------------------
/verbs/http:
--------------------------------------------------------------------------------
1 | {"get":
2 |   {"desc":"GET a resource representation from the same origin or using CORS"
3 |   ,"ports":["HTTP"]
4 |   ,"args":["url:String"]
5 |   ,"f":"function(cmd){var p=cmd.ports[0];p.request('GET',cmd.args[0],null,function(x){cmd.out(x.responseText)})}"
6 |   }}
7 | 


--------------------------------------------------------------------------------
/verbs/js:
--------------------------------------------------------------------------------
 1 | {"jsstr":
 2 |   {"desc":"String-escapes a string for use in JavaScript source code."
 3 |   ,"args":["input:String"]
 4 |   ,"outs":["escaped:String"]
 5 |   ,"f":"function(cmd){cmd.out(JSON.stringify(cmd.args[0]).slice(1,-1))}"
 6 |   }
 7 | ,"jsstrprop":
 8 |   {"desc":"should be a combination of a generic object iteration higher-order verb and jsstr"
 9 |   ,"args":["input:{*:String}"]
10 |   ,"outs":["escaped:Object"]
11 |   ,"f":"function(cmd){var o=cmd.args[0],r={},p;for(p in o)r[p]=JSON.stringify(o[p]).slice(1,-1);cmd.out(r)}"
12 |   }
13 | }


--------------------------------------------------------------------------------
/verbs/json:
--------------------------------------------------------------------------------
 1 | {"jsonparse":
 2 |   {"desc":"Parse a JSON string"
 3 |   ,"args":["json:String"]
 4 |   ,"outs":["parsed:String|Number|Object|Array|Boolean"]
 5 |   ,"f":"function(cmd){cmd.out(JSON.parse(cmd.args[0]))}"
 6 |   }
 7 | ,"jsonstringify":
 8 |   {"desc":"Produce a JSON string"
 9 |   ,"args":["value:*"]
10 |   ,"outs":["json:String"]
11 |   ,"f":"function(cmd){cmd.out(JSON.stringify(cmd.args[0]))}"
12 |   }
13 | }


--------------------------------------------------------------------------------
/verbs/misc:
--------------------------------------------------------------------------------
  1 | {"_metadata_":
  2 |   {"includes":
  3 |     {"$lists.js$":"deps/lists.js"
  4 |     }
  5 |   }
  6 | ,"keys":
  7 |   {"desc":"get the names of the properties of an object"
  8 |   ,"args":["o:Object"]
  9 |   ,"outs":["names:[String]"]
 10 |   ,"f":"cmd.out(Object.keys(cmd.args[0]))"
 11 |   }
 12 | ,"property":
 13 |   {"desc":"get a named property from an object"
 14 |   ,"args":["property_name:String","x:Object"]
 15 |   ,"f":"cmd.out(cmd.args[1][cmd.args[0]])"
 16 |   }
 17 | ,"setproperty":
 18 |   {"desc":"set a property of an object"
 19 |   ,"args":["object:Object","property_name:String","value:*"]
 20 |   ,"outs":["object:Object"]
 21 |   ,"f":"var o=cmd.args[0],r={},p;for(p in o)r[p]=o[p];o[cmd.args[1]]=cmd.args[2];cmd.out(o)"
 22 |   }
 23 | ,"mergeobj":
 24 |   {"desc":"merge two objects, extending the first with the properties of the second"
 25 |   ,"args":["o1:Object","o2:Object"]
 26 |   ,"f":"var o1,o2,ret,p;o1=cmd.args[0];o2=cmd.args[1];ret={};function extend(a,b){Object.keys(b).forEach(function(k){a[k]=b[k]})}extend(ret,o1);extend(ret,o2);cmd.out(ret)"
 27 |   }
 28 | ,"emptyobj":
 29 |   {"desc":"create an empty object"
 30 |   ,"args":[]
 31 |   ,"outs":["object:Object"]
 32 |   ,"f":"cmd.out({})"
 33 |   }
 34 | ,"lines":
 35 |   {"desc":"split a file into lines"
 36 |   ,"args":["input:String"]
 37 |   ,"outs":["lines:[String]"]
 38 |   ,"f":"cmd.out(cmd.args[0].split(/\\r\\n|\\r|\\n/))"
 39 |   }
 40 | ,"unlines":
 41 |   {"desc":"join lines into a file separated by newlines"
 42 |   ,"args":["lines:[String]"]
 43 |   ,"outs":["joined:String"]
 44 |   ,"f":"cmd.out(cmd.args.join('\\n'))"
 45 |   }
 46 | ,"concat":
 47 |   {"desc":"join strings"
 48 |   ,"args":["a:String","b:String"]
 49 |   ,"outs":["joined:String"]
 50 |   ,"f":"cmd.out(cmd.args[0]+cmd.args[1])"
 51 |   }
 52 | ,"split":
 53 |   {"desc":"split a string by a delimiter"
 54 |   ,"args":["input:String","delimiter:String"]
 55 |   ,"outs":["substrings:[String]"]
 56 |   ,"f":"cmd.out(cmd.args[0].split(cmd.args[1]))"
 57 |   }
 58 | ,"join":
 59 |   {"desc":"join the elements of an array, separated by [separator], to create a string"
 60 |   ,"args":["input:[String]","separator:String"]
 61 |   ,"outs":["joined:String"]
 62 |   ,"f":"cmd.out(cmd.args[0].join(cmd.args[1]))"
 63 |   }
 64 | ,"objzip":
 65 |   {"desc":"([String], [Value]) → Object -- takes an array of property names and of values and gives an object"
 66 |   ,"args":["names:[String]","values:[*]"]
 67 |   ,"outs":["object:Object"]
 68 |   ,"f":"$lists.js$;cmd.out(objectFromList(zip(cmd.args[0],cmd.args[1])))"
 69 |   }
 70 | ,"caesarcypher":
 71 |   {"desc":"rotational cypher for a-z and A-Z, other characters unchanged"
 72 |   ,"args":["rotation:Integer","input:String"]
 73 |   ,"f":"var a='aAbBcCdDeEfFgGhHiIjJkKlLmMnNoOpPqQrRsStTuUvVwWxXyYzZ',b=a.split(''),input=cmd.args[1],n=+cmd.args[0];cmd.out(input.split('').map(function(x){var i=b.indexOf(x);return i==-1?x:b[(i+n*2)%52]}).join(''))"
 74 |   }
 75 | ,"ngrams":
 76 |   {"desc":"return count of character n-grams occurrences in input text"
 77 |   ,"args":["n:Integer","text:String"]
 78 |   ,"outs":["count:Object"]
 79 |   ,"f":"var n=+cmd.args[0],s=cmd.args[1],a=[],counts={},logs={},size=s.length-(n-1),i,l;for(i=0,l=s.length-(n-1);i<l;i++){a.push(s.substr(i,n))}a.forEach(function(x){counts[x]=(counts[x]||0)+1;logs[x]=Math.log(counts[x]+1/size)});cmd.out({n:n,size:size,counts:counts,logs:logs,log_default:1/size})"
 80 |   }
 81 | ,"ngramlikelihood":
 82 |   {"desc":"calculate likelihood of an input relative to an ngram model"
 83 |   ,"args":["model:Model","input:String"]
 84 |   ,"outs":["likelihood:Real(0,1)"]
 85 |   ,"f":"var model=cmd.args[0],s=cmd.args[1],a=[],n=model.n,i,l,log_p;for(i=0,l=s.length-(n-1);i<l;i++){a.push(s.substr(i,n))}log_p=0;for(i=0,l=a.length;i<l;i++){log_p+=model.logs[a[i]]||model.log_default}cmd.out(log_p)"
 86 |   }
 87 | ,"seq":
 88 |   {"desc":"generate a sequence of integers"
 89 |   ,"args":["end:Integer","start:Integer","step:Integer"]
 90 |   ,"f":"var start,end,inc,i,ret=[];end=+cmd.args[0];start=0;inc=1;for(i=start;i<end;i+=inc)ret.push(i);cmd.out(ret)"
 91 |   }
 92 | ,"head":
 93 |   {"desc":"head"
 94 |   ,"args":["items:[*]"]
 95 |   ,"outs":["head:*"]
 96 |   ,"f":"cmd.out(cmd.args[0][0])"
 97 |   }
 98 | ,"tail":
 99 |   {"desc":"tail"
100 |   ,"args":["[a]"]
101 |   ,"outs":["[a]"]
102 |   ,"f":"cmd.out(cmd.args[0].slice(1))"
103 |   }
104 | ,"init":
105 |   {"desc":"init"
106 |   ,"args":["[a]"]
107 |   ,"outs":["[a]"]
108 |   ,"f":"cmd.out(cmd.args[0].slice(0,-1))"
109 |   }
110 | ,"last":
111 |   {"desc":"last"
112 |   ,"args":["[a]"]
113 |   ,"outs":["a"]
114 |   ,"f":"var a=cmd.args[0];cmd.out(a[a.length-1])"
115 |   }
116 | ,"take":
117 |   {"desc":"take [n] first elements of [items]"
118 |   ,"args":["n:Integer","items:[a]"]
119 |   ,"outs":["first:[a]"]
120 |   ,"f":"cmd.out(cmd.args[1].slice(0,cmd.args[0]))"
121 |   }
122 | ,"transpose":
123 |   {"desc":"transpose turns columns into rows and rows into columns"
124 |   ,"args":["[[a]]"]
125 |   ,"outs":["[[a]]"]
126 |   ,"f":"var i,done,res=[],a=cmd.args[0];for(i=0;!done;i++){done=true;res.push(a.map(function(a){if(i+1<a.length)done=false;return a[i]}))}cmd.out(res)"
127 |   }
128 | ,"reverse":
129 |   {"desc":"reverse a list"
130 |   ,"args":["input:[a]"]
131 |   ,"outs":["reversed:[a]"]
132 |   ,"f":"cmd.out(cmd.args[0].reverse())"
133 |   }
134 | ,"square":
135 |   {"desc":"square"
136 |   ,"args":["n:Number"]
137 |   ,"outs":["squared:Number"]
138 |   ,"f":"var n=+cmd.args[0];cmd.out(n*n)"
139 |   }
140 | ,"pair":
141 |   {"desc":""
142 |   ,"args":["a","b"]
143 |   ,"outs":["pair"]
144 |   ,"f":"cmd.out([cmd.args[0],cmd.args[1]])"
145 |   }
146 | }
147 | 


--------------------------------------------------------------------------------
/verbs/mustache:
--------------------------------------------------------------------------------
 1 | {"_metadata_":
 2 |   {"includes":
 3 |     {"$mustache.js$":"deps/mustache.js"
 4 |     }
 5 |   }
 6 | ,"render":
 7 |   {"desc":"apply a Mustache template [template] to a [view]"
 8 |   ,"args":["template:String","view:Object"]
 9 |   ,"outs":["rendered:String"]
10 |   ,"f":"$mustache.js$;cmd.out(Mustache.render(cmd.args[0],cmd.args[1]))"
11 |   }
12 | }


--------------------------------------------------------------------------------
/verbs/nhttpd:
--------------------------------------------------------------------------------
 1 | {"devmode":
 2 |   {"desc":"the best thing ever"
 3 |   ,"_ports":["nhttpd:nhttpdPort"]
 4 |   ,"__ports":["rvs:PortRevstore"]
 5 |   ,"args":["storagepath:String,AbsoluteURI","proxypath:String,AbsoluteURI"]
 6 |   ,"outs":["case:String,JSON"]
 7 |   ,"f":"cmd.out([\"RequestHandler\",{uri:\"../modules/nhttpd/devmode\",fun:\"devmode_handler\",args:[cmd.args[0],cmd.args[1]]}])"
 8 |   }
 9 | ,"dispatchls":
10 |   {"desc":"dispatch ls"
11 |   ,"ports":["nhttpd:nhttpdPort"]
12 |   ,"args":[]
13 |   ,"outs":["listing:String"]
14 |   ,"f":"cmd.ports[0].dispatch_ls(cmd.out)"
15 |   }
16 | ,"dispatchcd":
17 |   {"desc":"dispatch cd"
18 |   ,"ports":["nhttpd:nhttpdPort"]
19 |   ,"args":["path:String"]
20 |   ,"outs":["pwd:String"]
21 |   ,"f":"cmd.ports[0].dispatch_cd(cmd.args[0],cmd.out)"
22 |   }
23 | ,"dispatchcase":
24 |   {"desc":"construct a dispatch case dispatching matches for [matchtype] and [matchtoken] to [consequent]"
25 |   ,"args":["matchtype:String","matchtoken:String","consequent:Object"]
26 |   ,"outs":["dispatchcase:Object"]
27 |   ,"f":"cmd.out([cmd.args[0],cmd.args[1],cmd.args[2]])"
28 |   }
29 | ,"dispatchbefore":
30 |   {"desc":"insert before [before] in the current dispatch branch, the new case [consequent], guarded by [matchtype] and [matchtoken] (ugh)"
31 |   ,"ports":["nhttpd:nhttpdPort"]
32 |   ,"args":["before:String","matchtype:String","matchtoken:String","consequent:String,JSON"]
33 |   ,"outs":["output:String"]
34 |   ,"f":"var a=cmd.args;cmd.ports[0].dispatch_update('before',a[0],[a[1],a[2],a[3]],cmd.out)"
35 |   }
36 | ,"dispatchreplace":
37 |   {"desc":"replace [reference] in the current dispatch tree by [case]"
38 |   ,"ports":["nhttpd:nhttpdPort"]
39 |   ,"args":["reference:String","case:Object"]
40 |   ,"outs":["result:String"]
41 |   ,"f":"cmd.ports[0].dispatch_update('replace',cmd.args[0],cmd.args[1],cmd.out)"
42 |   }
43 | 
44 | }
45 | 


--------------------------------------------------------------------------------
/verbs/panpg:
--------------------------------------------------------------------------------
 1 | {"_metadata_":
 2 |   {"includes":
 3 |     {"$PanPG.js$":"deps/PanPG.js"
 4 |     }
 5 |   }
 6 | ,"generateparser":
 7 |   {"desc":"Generate a parser for the provided grammar using PanPG"
 8 |   ,"args":["grammar:String|[String]","opts:String"]
 9 |   ,"outs":["parser:String"]
10 |   ,"f":"function(cmd){var PanPG,CSET,cUC,re_shortnames,v6_function_rle_dec;$PanPG.js$;cmd.out(PanPG.generateParser(cmd.args[0],JSON.parse(cmd.args[1])))}"
11 |   }
12 | ,"explain":
13 |   {"desc":"parse input according to grammar and produce verbose explanation of the parse"
14 |   ,"args":["grammar:String","opts:Object","input:String","verbosity:Integer"]
15 |   ,"outs":["explanation:String"]
16 |   ,"f":"function(cmd){var PanPG,CSET,cUC,v6_function_rle_dec;$PanPG.js$;\ncmd.out(PanPG.explain(cmd.args[0],cmd.args[1],cmd.args[2],cmd.args[3]))}"
17 |   }
18 | }


--------------------------------------------------------------------------------
/verbs/posix:
--------------------------------------------------------------------------------
 1 | {"sort":{"desc":"sort"
 2 |         ,"args":["input:[String]"]
 3 |         ,"outs":["sorted:[String]"]
 4 |         ,"f":"function(cmd){cmd.out(cmd.args[0].slice().sort())}"}
 5 | ,"grep":{"desc":"grep"
 6 |         ,"args":["pattern:RegExp","input:[String]"]
 7 |         ,"outs":["filtered:[[String]]"]
 8 |         ,"f":"function(cmd){var re=new RegExp(cmd.args[0]),out=[];cmd.args[1].forEach(function(s){var m;if(m=re.exec(s))out.push([s].concat(m))});cmd.out(out)}"}
 9 | ,"wc":{"desc":"wc"
10 |       ,"args":["input:String"]
11 |       ,"outs":["count:String"]
12 |       ,"f":"function(cmd){var s=cmd.args[0];cmd.out(s.split('\\n').length-1 + ' lines, ' + (s.split(/[ \\n]/).length-1) + ' words, ' + s.length + ' chars\\n')}"}
13 | }


--------------------------------------------------------------------------------
/verbs/rvs:
--------------------------------------------------------------------------------
 1 | {"history":
 2 |       {"desc":"Retrieve the history of a resource."
 3 |       ,"ports":["rvs:PortRevstore"]
 4 |       ,"args":["path : String, Path"]
 5 |       ,"f":"function(cmd){var p=cmd.ports[0];p.history(cmd.args[0],function(x){cmd.out(x)})}"}
 6 | ,"mv":{"desc":"Move a resource (with its history) to a new URI"
 7 |       ,"ports":["rvs:PortRevstore"]
 8 |       ,"args":["old : String, Path","new : String, Path"]
 9 |       ,"outs":["message:String","code:Number"]
10 |       ,"f":"function(cmd){cmd.ports[0].mv(cmd.args[0],cmd.args[1],cmd.out)}"}
11 | ,"rm":{"desc":"Unlink a resource. Its history is not deleted."
12 |       ,"ports":["rvs:PortRevstore"]
13 |       ,"args":["path:String,Path"]
14 |       ,"outs":["message:String","code:Number"]
15 |       ,"f":"function(cmd){cmd.ports[0].rm(cmd.args[0],cmd.out)}"}
16 | ,"ls":{"desc":"List directory contents"
17 |       ,"ports":["rvs:PortRevstore"]
18 |       ,"args":["path : Opt String, Path"]
19 |       ,"outs":["listing:[String]"]
20 |       ,"f":"function(cmd){var p=cmd.ports[0];p.ls(cmd.args[0],cmd.out)}"}
21 | ,"cd":{"desc":"Change the working directory"
22 |       ,"ports":["rvs:PortRevstore"]
23 |       ,"args":["path : String, Path"]
24 |       ,"f":"function(cmd){var p=cmd.ports[0];cmd.out(p.cd(cmd.args[0]));p.update();p.persist()}"}
25 | ,"cat":
26 |       {"desc":"Output the contents of a file"
27 |       ,"ports":["rvs:PortRevstore"]
28 |       ,"args":["file : String, Path-File"]
29 |       ,"outs":["content:String"]
30 |       ,"f":"function(cmd){var p=cmd.ports[0];p.cat(cmd.args[0],cmd.out)}"}
31 | ,"catall":
32 |       {"desc":"Like `map cat`"
33 |       ,"ports":["RevstorePort"]
34 |       ,"args":["uris:[String,Path-File]"]
35 |       ,"outs":["contents:[String]"]
36 |       ,"f":"function(cmd){var p=cmd.ports[0],uris,pending,ret=[];uris=cmd.args[0];pending=uris.length;uris.forEach(function(uri,i){xhr('GET',p.resolve(uri),null,function(x){ret[i]=x.responseText;pending--;go()})});go();function go(){if(!pending)cmd.out(ret)}}"}
37 | ,"ln":{"desc":"Create a hard link"
38 |       ,"ports":["rvs:PortRevstore"]
39 |       ,"args":["source : String, Path","dest : String, Path"]
40 |       ,"outs":["message:String","code:Number"]
41 |       ,"f":"function(cmd){cmd.ports[0].ln(cmd.args[0],cmd.args[1],cmd.out)}"}
42 | ,"put":
43 |       {"desc":"Put a string to a path in the revstore"
44 |       ,"ports":["rvs:RevstorePort"]
45 |       ,"args":["body:String","url:String,Path"]
46 |       ,"outs":["message:String","code:Number"]
47 |       ,"f":"function(cmd){var p=cmd.ports[0];p.put(cmd.args[0],cmd.args[1],cmd.out)}"}
48 | }


--------------------------------------------------------------------------------
/verbs/ssh:
--------------------------------------------------------------------------------
 1 | {"keygen":
 2 |   {"desc":"generate a keypair and return the public key in a format suitable for appending to .ssh/authorized_keys on a remote host"
 3 |   ,"ports":["ssh:PortSSH"]
 4 |   ,"args":[]
 5 |   ,"outs":["result:String"]
 6 |   ,"f":"cmd.ports[0].keygen(cmd.out)"
 7 |   }
 8 | ,"keylist":
 9 |   {"desc":"list the private keys installed on the gateway which can be used to connect to remote hosts"
10 |   ,"ports":["ssh:PortSSH"]
11 |   ,"args":[]
12 |   ,"outs":["list:String"]
13 |   ,"f":"cmd.ports[0].keylist(cmd.out)"
14 |   }
15 | ,"connect":
16 |   {"desc":"establish a connection between the proxy and remote host"
17 |   ,"ports":["ssh:PortSSH"]
18 |   ,"args":["user:String","host:String","keypath:String"]
19 |   ,"outs":["result:String"]
20 |   ,"f":"cmd.ports[0].connect(cmd.args[0],cmd.args[1],cmd.args[2],cmd.out)"
21 |   }
22 | ,"exec":
23 |   {"desc":"run a command on the remote host"
24 |   ,"ports":["ssh:PortSSH"]
25 |   ,"args":["command:String"]
26 |   ,"outs":["output:String"]
27 |   ,"f":"cmd.ports[0].exec(cmd.args[0],cmd.out)"
28 |   }
29 | }


--------------------------------------------------------------------------------
/verbs/template:
--------------------------------------------------------------------------------
1 | {"expand":
2 |   {"desc":"Expands a simple template with values from the provided object"
3 |   ,"args":["template:String","values:Object"]
4 |   ,"f":"function(cmd){var s=cmd.args[0],o=cmd.args[1];cmd.out(s.replace(/\\$([^$]*)\\$/g,function(m,a){return a in o?o[a]:a}))}"
5 |   }
6 | }


--------------------------------------------------------------------------------