Improvements of "gf -server" mode and related setup

"gf -server" mode now contains everything needed to run the minibar and
the grammar editor (including example-based grammar writing).

The Setup.hs script installs the required files where gf -server can find them.
These files have been moved to a new directory: src/www.

The separate server program pgf-http is now obsolete.

1 files changed, 0 insertions, 226 deletions

diff --git a/src/editor/simple/gf_abs.js b/src/editor/simple/gf_abs.js
deleted file mode 100644
index 4efaab89a..000000000
--- a/src/editor/simple/gf_abs.js
+++ /dev/null
@@ -1,226 +0,0 @@
-/* Abstract syntax for a small subset of GF grammars in JavaScript */
-
-function defined_cats(g) {
-    var dc={};
-    with(g.abstract)
-	for(var i in cats) dc[cats[i]]=true;
-    return dc;
-}
-
-function defined_funs(g) {
-    var df={};
-    with(g.abstract)
-	for(var i in funs) df[funs[i].name]=true;
-    return df;
-}
-
-function function_type(g,fun) {
-    with(g.abstract)
-	for(var i in funs) if(funs[i].name==fun) return funs[i].type
-    return null;
-}
-
-function cat_lincat(conc,cat) {
-    with(conc)
-	for(var i in lincats) if(lincats[i].cat==cat) return lincats[i].type
-    return null;
-}
-
-function rename_category(g,oldcat,newcat) {
-    function rename_cats(cats) {
-	for(var i in cats) if(cats[i]==oldcat) cats[i]=newcat;
-    }
-    function rename_type(t) {
-	for(var i in t) if(t[i]==oldcat) t[i]=newcat;
-    }
-    function rename_funs(funs) {
-	for(var i in funs) rename_type(funs[i].type)
-    }
-    function rename_abstract(a) {
-	rename_cats(a.cats);
-	rename_funs(a.funs);
-    }
-    function rename_lincat(lc) {
-	if(lc.cat==oldcat) lc.cat=newcat;
-    }
-    function rename_concrete(c) {
-	for(var i in c.lincats) rename_lincat(c.lincats[i]);
-    }
-    function rename_concretes(cs) {
-	for(var i in cs) rename_concrete(cs[i]);
-    }
-    rename_abstract(g.abstract)
-    rename_concretes(g.concretes);
-    return g;
-}
-
-function rename_function(g,oldfun,newfun) {
-    function rename_lin(lin) {
-	if(lin.fun==oldfun) lin.fun=newfun;
-    }
-    function rename_concrete(c) {
-	for(var i in c.lins) rename_lin(c.lins[i]);
-    }
-    for(var i in g.concretes) rename_concrete(g.concretes[i]);
-    return g;
-}
-
-function change_lin_lhs(g,fun) {
-    function change_lin(lin) {
-	if(lin.fun==fun.name) lin.args=arg_names(fun.type);
-    }
-    function change_concrete(c) {
-	for(var i in c.lins) change_lin(c.lins[i]);
-    }
-    for(var i in g.concretes) change_concrete(g.concretes[i]);
-    return g;
-}
-
-/* --- Parsing -------------------------------------------------------------- */
-
-// GF idenfifier syntax:
-var lex_id=/^[A-Za-z][A-Za-z0-9_']*$/
-// See https://developer.mozilla.org/en/JavaScript/Guide/Regular_Expressions
-
-function check_id(s) { return lex_id.test(s); }
-
-function check_name(s,kind) {
-    return check_id(s)
-	? null
-	: s+"? "+kind+" names must start with a letter and can contain letters, digits, _ and '"
-}
-
-
-function parse_fun(s) {
-    var ws=s.split(/\s+/);
-    var fun={name:"",type:[]};
-    /* Use a state machine to parse function definitions */
-    /* f : T1 -> ... -> Tn */
-    var state="name";
-    var ok=true;
-    for(var i=0;ok && i<ws.length;i++) {
-	if(ws[i]!="") {
-	    switch(state) {
-	    case "name": fun.name=ws[i]; state=":"; break;
-	    case ":": ok=ws[i]==":"; state="type"; break;
-	    case "type": fun.type.push(ws[i]); state="->"; break;
-	    case "->": ok=ws[i]=="->"; state="type"; break;
-	    }
-	}
-    }
-    var err=check_name(fun.name,"Function");
-    if(err) return {error: err};
-    return ok && state=="->"
-           ? {ok:fun}
-           : { error : "Fun : Cat<sub>1</sub>  -> ...  -> Cat<sub>n</sub>" }
-}
-
-
-function parse_param(s) {
-    var ws=s.split("=");
-    if(ws.length==2) {
-	var name=ws[0].trim();
-	var err=check_name(name,"Parameter type");
-	return err ? { error:err } : { ok: { name:name,rhs:ws[1].trim() } }
-    }
-    else
-	return { error: "P = C1 | ... | Cn" }
-}
-
-function parse_oper(s) {
-    var i=s.indexOf(" ");
-    var operr = { error: "op = expr" }
-    if(i>0 && i<s.length-1) {
-	var name=s.substr(0,i).trim();
-	var rhs=s.substr(i).trim();
-	var err=check_name(name,"Operator");
-	return err 
-	    ? {error:err}
-	    : rhs!="" ? {ok: {name:name, rhs:rhs}} 
-	              : operr
-    }
-    else return operr
-    
-}
-
-/* --- Print as plain text (normal GF concrete syntax) ---------------------- */
-
-function show_type(t) {
-    var s="";
-    for(var i in t) {
-	if(i>0) s+=" -> ";
-	s+=t[i];
-    }
-    return s;
-}
-
-function show_fun(fun) {
-    return fun.name+" : "+show_type(fun.type);
-}
-
-function show_grammar(g) {
-    return show_abstract(g)+"\n"+show_concretes(g)
-}
-
-function show_abstract(g) {
-//  var startcat= g.abstract.cats.length==1 ? g.abstract.cats[0] : g.abstract.startcat;
-    var startcat= g.abstract.startcat || g.abstract.cats[0];
-    return "abstract "+g.basename+" = {\n\n"
-	+"flags coding = utf8 ;\n\n"
-	+show_startcat(startcat)
-        +show_cats(g.abstract.cats)
-        +show_funs(g.abstract.funs)
-	+"}\n";
-}
-
-function show_startcat(startcat) {
-    return startcat ? "flags startcat = "+startcat+";\n\n" : "";
-}
-
-function show_cats(cats) {
-    return cats.length>0 ? "cat\n   "+cats.join("; ")+";\n\n" : "";
-}
-
-function show_funs(funs) { return show_list("fun",show_fun,funs); }
-
-function show_concretes(g) {
-    return map(show_concrete(g.basename),g.concretes).join("\n\n");
-}
-
-function show_concrete(basename) {
-    return function(conc) {
-	return "--# -path=.:present\n"
-            + "concrete "+basename+conc.langcode+" of "+basename+" ="
-            +show_opens(conc.opens)
-	    +" {\n\nflags coding = utf8 ;\n\n"
-	    +show_params(conc.params)
-	    +show_lincats(conc.lincats)
-	    +show_opers(conc.opers)
-	    +show_lins(conc.lins)
-	    +"}\n"
-    }
-}
-
-function show_list(kw,show1,list) {
-    return list.length>0 
-	? kw+"\n    "+map(show1,list).join(";\n    ")+";\n\n"
-	: ""
-}
-
-function show_opens(opens) {
-    return opens && opens.length>0 ? "\n\nopen "+opens.join(", ")+" in" : ""
-}
-
-function show_params(params) { return show_list("param",show_param,params); }
-function show_lincats(lincats) { return show_list("lincat",show_lincat,lincats); }
-function show_opers(opers) { return show_list("oper",show_oper,opers); }
-function show_lins(lins) { return show_list("lin",show_lin,lins); }
-
-
-function show_param(p) { return p.name + " = " + p.rhs; }
-function show_oper(p) { return p.name + " " + p.rhs; }
-function show_lincat(p) { return p.cat + " = " + p.type; }
-
-function show_lin(lin) {
-    return lin.fun + " " + lin.args.join(" ")+ " = " + lin.lin;
-}
\ No newline at end of file