GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-04 00:32:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

gfse: some correctness checks for concrete syntax

Browse Source 
The editor now calls the GF server to check the syntax of expressions that
are part of concrete syntax (except for parameter types).
This is currently done by using the cc command of the GF shell, which puts
some unnecessary restricitons on operation definitions...
This commit is contained in:
hallgren
2011-07-29 15:44:19 +00:00
parent 7c6f6110eb
commit b58fc79908
4 changed files with 55 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

45
src/editor/simple/editor.js
View File

@@ -671,39 +671,50 @@ function draw_oper(p,dp) {
return node("span",{},[check(ident(p.name)),text(" "),text(p.rhs)]);
}
function check_oper(s,ok,err) {
var p=parse_oper(s);
function check2(msg) {
if(msg) err(msg);
else ok(p.ok)
}
if(p.ok) {
// Checking oper syntax by checking an expression with a local
// definition. Some valid opers will be rejected!!
var e=p.ok.name+" where { "+p.ok.name+" "+p.ok.rhs+" }";
check_exp(e,check2);
}
else
err(p.error);
}
function add_oper(g,ci,el) {
function add(s) {
var p=parse_oper(s);
if(p.ok) {
g.concretes[ci].opers.push(p.ok);
function check(s,cont) {
function ok(oper) {
g.concretes[ci].opers.push(oper);
timestamp(g.concretes[ci]);
reload_grammar(g);
return null;
cont(null);
}
else
return p.error
check_oper(s,ok,cont)
}
string_editor(el,"",add);
string_editor(el,"",check,true);
}
function edit_oper(ci,i) {
return function (g,el) {
function replace(s) {
var p=parse_oper(s);
if(p.ok) {
g.concretes[ci].opers[i]=p.ok;
function check(s,cont) {
function ok(oper) {
g.concretes[ci].opers[i]=oper;
timestamp(g.concretes[ci]);
reload_grammar(g);
return null;
cont(null);
}
else
return p.error;
check_oper(s,ok,cont)
}
string_editor(el,show_oper(g.concretes[ci].opers[i]),replace);
string_editor(el,show_oper(g.concretes[ci].opers[i]),check,true);
}
}
function delete_oper(g,ci,ix) {
with(g.concretes[ci]) opers=delete_ix(opers,ix);
timestamp(g.concretes[ci]);