From b7e13dafa1c2aace060cfc05bebe92c3ff4b80b5 Mon Sep 17 00:00:00 2001 From: hallgren Date: Thu, 17 Feb 2011 14:42:16 +0000 Subject: [PATCH] Adding the prototype GF editor for simple multilingual grammars --- src/editor/simple/gf_abs.js | 206 ++++++++++++++++++++++++++++++++++++ 1 file changed, 206 insertions(+) diff --git a/src/editor/simple/gf_abs.js b/src/editor/simple/gf_abs.js index 468ed91c7..9c4681dc3 100644 --- a/src/editor/simple/gf_abs.js +++ b/src/editor/simple/gf_abs.js @@ -1 +1,207 @@ /* 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 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": 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 : Cat1 -> ... -> Catn" } +} + + +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 && i0) 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; + 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 "concrete "+basename+conc.langcode+" of "+basename+" = {\n\n" + +"flags 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_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