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

Syntax editor: avoid server calls for each refinement by using cached data

Browse Source
This commit is contained in:
john.j.camilleri
2012-11-27 11:19:12 +00:00
parent b3c1177f9e
commit 45179a580a
1 changed files with 89 additions and 62 deletions
Download Patch File Download Diff File Expand all files Collapse all files

151
src/www/syntax-editor/editor.js
View File

@@ -46,52 +46,50 @@ function Editor(gm,opts) {
this.ast = null; this.ast = null;
/* --- Register Grammar Manager hooks ----------------------------------- */ /* --- Register Grammar Manager hooks ----------------------------------- */
this.gm.register_action("change_grammar",function(grammar){ this.hook_change_grammar = function(grammar){
debug("Editor: change grammar"); debug("Editor: change grammar");
t.get_grammar_constructors(bind(t.start_fresh,t)); var args = {
}); format: "json"
this.gm.register_action("change_startcat",function(startcat){ };
var cont = function(data){
t.grammar_constructors = data;
t.start_fresh();
};
t.server.browse(args, cont);
};
this.hook_change_startcat = function(startcat){
debug("Editor: change startcat"); debug("Editor: change startcat");
t.startcat = startcat; t.startcat = startcat;
t.start_fresh(); t.start_fresh();
}); };
this.gm.register_action("change_languages",function(languages){ this.hook_change_languages = function(languages){
debug("Editor: change languages"); debug("Editor: change languages");
t.update_linearisation(); t.update_linearisation();
}); };
this.gm.register_action("change_grammar",this.hook_change_grammar);
this.gm.register_action("change_startcat",this.hook_change_startcat);
this.gm.register_action("change_languages",this.hook_change_languages);
/* --- Main program, this gets things going ----------------------------- */ /* --- Main program, this gets things going ----------------------------- */
this.menu = new EditorMenu(this, this.options); this.menu = new EditorMenu(this, this.options);
/* --- Other basic stuff ------------------------------------------------ */ /* --- Other basic stuff ------------------------------------------------ */
this.shutdown = function() { this.shutdown = function() {
clear(this.container); t.gm.unregister_action("change_grammar",t.hook_change_grammar);
this.container.classList.remove("editor"); t.gm.unregister_action("change_startcat",t.hook_change_startcat);
t.gm.unregister_action("change_languages",t.hook_change_languages);
clear(t.container);
t.container.classList.remove("editor");
} }
this.hide = function() { this.hide = function() {
this.container.style.display="none"; t.container.style.display="none";
} }
this.show = function() { this.show = function() {
this.container.style.display="block"; t.container.style.display="block";
} }
} }
Editor.prototype.get_grammar_constructors=function(callback) {
var t = this;
var args = {
format: "json"
};
var cont = function(data){
t.grammar_constructors = data;
if (callback) callback();
};
var err = function(data){
alert("Error");
};
t.server.browse(args, cont, err);
}
/* --- API for getting and setting state ------------------------------------ */ /* --- API for getting and setting state ------------------------------------ */
Editor.prototype.get_ast=function() { Editor.prototype.get_ast=function() {
@@ -137,7 +135,9 @@ Editor.prototype.get_refinements=function(cat) {
clear(t.ui.refinements); clear(t.ui.refinements);
for (pi in data.producers) { for (pi in data.producers) {
var opt = span_class("refinement", text(data.producers[pi])); var opt = span_class("refinement", text(data.producers[pi]));
opt.onclick = bind(function(){ t.select_refinement(this.innerHTML) }, opt); opt.onclick = bind(function(){
t.select_refinement(this.innerHTML)
}, opt);
t.ui.refinements.appendChild(opt); t.ui.refinements.appendChild(opt);
} }
}; };
@@ -148,47 +148,74 @@ Editor.prototype.get_refinements=function(cat) {
t.server.browse(args, cont, err); t.server.browse(args, cont, err);
} }
Editor.prototype.select_refinement=function(fun) { // Editor.prototype.select_refinement=function(fun) {
with (this) { // var t = this;
ui.refinements.innerHTML = "..."; // t.ui.refinements.innerHTML = "...";
ast.removeChildren(); // t.ast.removeChildren();
ast.setFun(fun); // t.ast.setFun(fun);
var args = { // var args = {
id: fun, // id: fun,
format: "json" // format: "json"
}; // };
var err = function(data){ // var err = function(data){
alert("Error"); // alert("Error");
}; // };
server.browse(args, bind(complete_refinement,this), err); // t.server.browse(args, bind(t.complete_refinement,this), err);
} // }
}
Editor.prototype.complete_refinement=function(data) { // Editor.prototype.complete_refinement=function(data) {
if (!data) return; // if (!data) return;
with (this) { // with (this) {
// Parse out function arguments // // Parse out function arguments
var def = data.def; // var def = data.def;
def = def.substr(def.lastIndexOf(":")+1); // def = def.substr(def.lastIndexOf(":")+1);
var fun_args = map(function(s){return s.trim()}, def.split("->")) // var fun_args = map(function(s){return s.trim()}, def.split("->"))
fun_args = fun_args.slice(0,-1); // fun_args = fun_args.slice(0,-1);
if (fun_args.length > 0) { // if (fun_args.length > 0) {
// Add placeholders // // Add placeholders
for (ci in fun_args) { // for (ci in fun_args) {
ast.add(null, fun_args[ci]); // ast.add(null, fun_args[ci]);
} // }
} // }
// Update ui // // Update ui
redraw_tree(); // redraw_tree();
update_linearisation(); // update_linearisation();
// Select next hole & get its refinements // // Select next hole & get its refinements
ast.toNextHole(); // ast.toNextHole();
update_current_node(); // update_current_node();
// }
// }
Editor.prototype.select_refinement=function(fun) {
var t = this;
t.ui.refinements.innerHTML = "...";
t.ast.removeChildren();
t.ast.setFun(fun);
// Parse out function arguments
var def = t.grammar_constructors.funs[fun].def;
def = def.substr(def.lastIndexOf(":")+1);
var fun_args = map(function(s){return s.trim()}, def.split("->"))
fun_args = fun_args.slice(0,-1);
if (fun_args.length > 0) {
// Add placeholders
for (ci in fun_args) {
t.ast.add(null, fun_args[ci]);
}
} }
// Update ui
t.redraw_tree();
t.update_linearisation();
// Select next hole & get its refinements
t.ast.toNextHole();
t.update_current_node();
} }
Editor.prototype.update_current_node=function(newID) { Editor.prototype.update_current_node=function(newID) {