From c6f4edaea5f1074ba682fac5d711016f0136998f Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Wed, 4 Jul 2018 10:09:58 +0200 Subject: Remove examples directory; these now live in gf-contrib All changes have been reflected in the gf-contrib repository: https://github.com/GrammaticalFramework/gf-contrib Now, for WebSetup to build the example grammars, one must have gf-contrib cloned in the same top-level directory as GF. When this isn't the case, WebSetup displays a notice without failing. --- examples/phrasebook/www/old-phrasebook.html | 30 ---- examples/phrasebook/www/phrasebook.css | 37 ----- examples/phrasebook/www/phrasebook.js | 213 ---------------------------- examples/phrasebook/www/support.js | 205 -------------------------- 4 files changed, 485 deletions(-) delete mode 100644 examples/phrasebook/www/old-phrasebook.html delete mode 100644 examples/phrasebook/www/phrasebook.css delete mode 100644 examples/phrasebook/www/phrasebook.js delete mode 100644 examples/phrasebook/www/support.js (limited to 'examples/phrasebook/www') diff --git a/examples/phrasebook/www/old-phrasebook.html b/examples/phrasebook/www/old-phrasebook.html deleted file mode 100644 index 4e6113bd4..000000000 --- a/examples/phrasebook/www/old-phrasebook.html +++ /dev/null @@ -1,30 +0,0 @@ - - -Phrasebook - - - - - - - -
-
-
- - - -Based on -minibar, -powered by -GF, -see -doc. - - - - - - - - diff --git a/examples/phrasebook/www/phrasebook.css b/examples/phrasebook/www/phrasebook.css deleted file mode 100644 index 17d7350c9..000000000 --- a/examples/phrasebook/www/phrasebook.css +++ /dev/null @@ -1,37 +0,0 @@ -body { - background: #ccc url("http://www.grammaticalframework.org:41296/fridge/se.chalmers.cs.gf.gwt.FridgeApp/brushed-metal.png"); -} - -h1, h2, h3, small, th { font-family: sans-serif; } - -th, td { vertical-align: baseline; text-align: left; } - -div#surface { - min-height: 3ex; - margin: 5px; - padding: 5px; - border: 3px dashed #e0e0e0; -} - -div#words { - min-height: 3ex; - margin: 5px; - padding: 6px; - border: 3px solid #e0e0e0; -} - -div.word, span.word, div#words div { - display: inline-block; - font-family: sans-serif; - background-color: white; - border: 1px solid black; - padding: 3px; - margin: 3px; -} - -.invalid { color: red; } - -div.modtime { float: right; } -.modtime { color: #444; white-space: nowrap; } - -ul.space>li { margin-top: 0.5ex; } diff --git a/examples/phrasebook/www/phrasebook.js b/examples/phrasebook/www/phrasebook.js deleted file mode 100644 index c39dca7c0..000000000 --- a/examples/phrasebook/www/phrasebook.js +++ /dev/null @@ -1,213 +0,0 @@ - -//var server="http://www.grammaticalframework.org:41296" -//var server="http://tournesol.cs.chalmers.se:41296"; -var server="http://localhost:41296"; -var grammars_url=server+"/grammars/"; -var current_grammar_url=grammars_url+"Foods.pgf"; - -var tree_icon=server+"/translate/se.chalmers.cs.gf.gwt.TranslateApp/tree-btn.png"; - -function start_minibar() { - var minibar=element("minibar"); - minibar.appendChild(div_id("menubar")); - minibar.appendChild(div_id("surface")); - minibar.appendChild(div_id("words")); - minibar.appendChild(div_id("translations")); - /// jsonp(grammars_url+"grammars.cgi",""); // calls show_grammarlist - show_grammarlist(["Phrasebook.pgf","Foods.pgf", "ResourceDemo.pgf"]) ; -} - -function show_grammarlist(grammars) { - var menu=empty("select"); - for(var i=0;i0) box.appendChild(word(s)); - else emptycnt++; - } - if(emptycnt>0) - //setTimeout(function(){get_translations(menu);},200); - get_translations(menu); -} - -function get_translations(menu) { - jsonp(current_grammar_url - +"?command=translategroup" - // +"?command=translate" - +"&from="+encodeURIComponent(menu.current.from) - +"&input="+encodeURIComponent(menu.current.input), - "show_translations") -} - -function show_translations(translations) { - var trans=element("translations"); - var cnt=translations.length; - trans.innerHTML=""; - for(p=0;p 1) tbody.appendChild(tr([(text(lin[i].tree))])); - } - trans.appendChild(wrap("table",tbody)); - } -} - - -function toggle_img(i) { - var tmp=i.src; - i.src=i.other; - i.other=tmp; -} - - -/* -se.chalmers.cs.gf.gwt.TranslateApp/align-btn.png - -GET /grammars/Foods.pgf?&command=abstrtree&tree=Pred+(This+Fish)+(Very+Fresh) -GET /grammars/Foods.pgf?&command=parsetree&tree=Pred+(This+Fish)+Expensive&from=FoodsAfr -GET /grammars/Foods.pgf?&command=alignment&tree=Pred+(This+Fish)+Expensive -*/ diff --git a/examples/phrasebook/www/support.js b/examples/phrasebook/www/support.js deleted file mode 100644 index 7c34bad82..000000000 --- a/examples/phrasebook/www/support.js +++ /dev/null @@ -1,205 +0,0 @@ -/* --- Accessing document elements ------------------------------------------ */ - -function element(id) { - return document.getElementById(id); -} - -/* --- JSONP ---------------------------------------------------------------- */ - -// Inspired by the function jsonp from -// http://www.west-wind.com/Weblog/posts/107136.aspx -// See also http://niryariv.wordpress.com/2009/05/05/jsonp-quickly/ -// http://en.wikipedia.org/wiki/JSON#JSONP -function jsonp(url,callback) -{ - if (url.indexOf("?") > -1) - url += "&jsonp=" - else - url += "?jsonp=" - url += callback; - //url += "&" + new Date().getTime().toString(); // prevent caching - - var script = empty("script"); - script.setAttribute("src",url); - script.setAttribute("type","text/javascript"); - document.body.appendChild(script); -} - -var json = {next:0}; - -// Like jsonp, but instead of passing the name of the ballback function, you -// pass the callback function directly, making it possible to use anonymous -// functions. -function jsonpf(url,callback) -{ - var name="callback"+(json.next++); - json[name]=function(x) { delete json[name]; callback(x); } - jsonp(url,"json."+name); -} - -/* --- HTML construction ---------------------------------------------------- */ -function text(s) { return document.createTextNode(s); } - -function empty(tag,name,value) { - var el=document.createElement(tag); - if(name && value) el.setAttribute(name,value); - return el; -} - -function empty_id(tag,id) { return empty(tag,"id",id); } -function empty_class(tag,cls) { return empty(tag,"class",cls); } - -function div_id(id) { return empty_id("div",id); } -function span_id(id) { return empty_id("span",id); } - -function wrap(tag,contents) { - var el=empty(tag); - el.appendChild(contents); - return el; -} - -function wrap_class(tag,cls,contents) { - var el=empty_class(tag,cls); - if(contents) el.appendChild(contents); - return el; -} - -function span_class(cls,contents) { return wrap_class("span",cls,contents); } -function div_class(cls,contents) { return wrap_class("div",cls,contents); } - -function p(contents) { return wrap("p",contents); } -function dt(contents) { return wrap("dt",contents); } -function li(contents) { return wrap("li",contents); } - -function th(contents) { return wrap("th",contents); } -function td(contents) { return wrap("td",contents); } - -function tr(cells) { - var tr=empty("tr"); - for(var i=0;i"; - } - return result; -} - -function field_names(obj) { - var result = ""; - for (var i in obj) { - result += " " + i; - } - return result; -} - -/* --- Data manipulation ---------------------------------------------------- */ -function swap(a,i,j) { // Note: this doesn't work on strings. - var tmp=a[i]; - a[i]=a[j]; - a[j]=tmp; - return a; -} - -function sort(a) { -// https://developer.mozilla.org/en/Core_JavaScript_1.5_Reference/Global_Objects/Array/sort - return a.sort(); - /* // Note: this doesn't work on strings. - for(var i=0;i