Merge branch 'master' of https://github.com/GrammaticalFramework/GF

Conflicts: examples/phrasebook/SentencesBul.gf examples/phrasebook/WordsBul.gf
author: Krasimir Angelov <kr.angelov@gmail.com> 2018-07-04 13:09:39 +0200
committer: Krasimir Angelov <kr.angelov@gmail.com> 2018-07-04 13:09:39 +0200
commit: f64b17eef7cef49debb9f42e943e02da48089f06 (patch)
tree: bb49b8bac2e3cafd3c1f997115bf5bb841554eab /examples/phrasebook/www
parent: 7bfd6199d600f00233fb29806eed8e894644f439 (diff)
parent: c6f4edaea5f1074ba682fac5d711016f0136998f (diff)
4 files changed, 0 insertions, 485 deletions
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 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> 
-<html> <head> 
-<title>Phrasebook</title> 
-<link rel=stylesheet type="text/css" href="phrasebook.css"> 
-<script type="text/JavaScript" src="support.js"></script> 
-<script type="text/JavaScript" src="phrasebook.js"></script> 
-</head> 
- 
-<body onload="start_minibar()"> 
-
-<div id=minibar> 
-</div> 
-<hr> 
- 
-<small> 
-
-Based on
-<a href="http://www.cs.chalmers.se/~hallgren/minibar/minibar.html">minibar</a>,
-powered by
-<a href="http://www.grammaticalframework.org">GF</a>,
-see
-<a href="../phrasebook.html">doc</a>.
-
- 
-</body> 
- 
-</html> 
-
-
-
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;i<grammars.length;i++) {
-    var opt=empty("option");
-    opt.setAttribute("value",grammars[i]);
-    opt.innerHTML=grammars[i];
-    menu.appendChild(opt);
-  }
-  menu.setAttribute("onchange","new_grammar(this)");
-  var menubar=element("menubar");
-  //  menubar.innerHTML="Grammar: ";
-  //  menubar.appendChild(menu);
-  menubar.appendChild(text("From: "));
-  menubar.appendChild(empty_id("select","language_menu"));
-  menubar.appendChild(button("Del","delete_last()"));
-  menubar.appendChild(button("Clear","clear_all()"));
-  menubar.appendChild(button("Random","generate_random()"));
-  select_grammar(grammars[0]);
-}
-
-function new_grammar(menu) {
-  select_grammar(menu.options[menu.selectedIndex].value);
-}
-
-function select_grammar(grammar_name) {
-  current_grammar_url=grammars_url+grammar_name;
-  jsonp(current_grammar_url,"show_languages");
-}
-
-function show_languages(grammar) {
-  var r="";
-  var lang=grammar.languages;
-  var menu=element("language_menu");
-  menu.setAttribute("onchange","new_language(this)");
-  menu.grammar=grammar;
-  menu.innerHTML="";
-  for(var i=0; i<lang.length; i++) { 
-    if(lang[i].canParse && (lang[i].name[0] !='D')) { /// to hide Disamb; should be made properly...
-      var opt=empty("option");
-      opt.setAttribute("value",""+i);
-      opt.innerHTML=short_name(lang[i].name);
-      menu.appendChild(opt);
-    }
-  }
-  new_language(menu);
-}
-
-function short_name(cnc) {
-  var s = "" ;
-  for (var c = cnc.length - 3 ; c < cnc.length ; c++)
-    s = s + cnc[c] ;
-  return s ;
-}
-
-function new_language(menu) {
-  var ix=menu.options[menu.selectedIndex].value;
-  var langname=menu.grammar.languages[ix].name;
-  menu.current={from: langname, input: ""};
-  clear_all();
-}
-
-function clear_all1() {
-  var menu=element("language_menu");
-  menu.current.input="";
-  menu.previous=null;
-  element("surface").innerHTML="";
-  element("translations").innerHTML="";
-  return menu;
-}
-
-function clear_all() {
-  get_completions(clear_all1());
-}
-
-function delete_last() {
-  var menu=element("language_menu");
-  if(menu.previous) {
-    menu.current.input=menu.previous.input;
-    menu.previous=menu.previous.previous;
-    var s=element("surface");
-    s.removeChild(s.lastChild);
-    element("translations").innerHTML="";
-    get_completions(menu);
-  }
-}
-
-function generate_random() {
-  jsonp(current_grammar_url+"?command=random&random="+Math.random(),"lin_random");
-
-}
-
-function lin_random(abs) {
-  var menu=element("language_menu");
-  var lang=menu.current.from;
-  jsonp(current_grammar_url+"?command=linearize&tree="+encodeURIComponent(abs[0].tree)
-	+"&to="+lang,
-	"show_random")
-	
-}
-
-function show_random(random) {
-  var menu=clear_all1();
-  var words=random[0].text.split(" ");
-  for(var i=0;i<words.length;i++)
-    add_word1(menu,words[i]+" ");
-  element("words").innerHTML="...";
-  get_completions(menu);
-}
-
-function get_completions(menu) {
-  var c=menu.current;
-  jsonp(current_grammar_url
-	+"?command=complete"
-	+"&from="+encodeURIComponent(c.from)
-	+"&input="+encodeURIComponent(c.input),
-	"show_completions");
-}
-
-function word(s) {
-  var w=div_class("word",text(s));
-  w.setAttribute("onclick",'add_word("'+s+'")');
-  return w;
-}
-
-function add_word1(menu,s) {
-  menu.previous={ input: menu.current.input, previous: menu.previous };
-  menu.current.input+=s;
-  element("surface").appendChild(span_class("word",text(s)));
-}
-
-function add_word(s) {
-  var menu=element("language_menu");
-  add_word1(menu,s);
-  element("words").innerHTML="...";
-  get_completions(menu);
-}
-
-function show_completions(completions) {
-  var box=element("words");
-  var menu=element("language_menu");
-  var prefixlen=menu.current.input.length;
-  var emptycnt=0;
-  box.innerHTML="";
-  for(var i=0;i<completions.length;i++) {
-    var s=completions[i].text.substring(prefixlen);
-    if(s.length>0) 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<cnt;p++) {
-    var t=translations[p];
-    var lin=t.linearizations;
-    var tbody=empty("tbody");
-    tbody.appendChild(tr([th(text(t.to+":"))]));
-    for(var i=0;i<lin.length;i++) {
-      tbody.appendChild(tr([(text(lin[i].text))]));
-      if (lin.length > 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<cells.length;i++)
-    tr.appendChild(cells[i]);
-  return tr;
-}
-
-function button(label,action) {
-  var el=empty("input","type","button");
-  el.setAttribute("value",label);
-  el.setAttribute("onclick",action);
-  return el;
-}
-
-function option(label,value) {
-    var el=empty("option","value",value);
-    el.innerHTML=label;
-    return el;
-}
-
-function appendChildren(el,cs) {
-  for(var i=0;i<cs.length;i++)
-    el.appendChild(cs[i]);
-  return el;
-}
-
-function tda(cs) { return appendChildren(empty("td"),cs); }
-
-function img(src) { return empty("img","src",src); }
-
-/* --- Debug ---------------------------------------------------------------- */
-
-function show_props(obj, objName) {
-   var result = "";
-   for (var i in obj) {
-      result += objName + "." + i + " = " + obj[i] + "<br>";
-   }
-   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<a.length-1;i++) {
-    var min=i;
-    for(var j=i+1;j<a.length;j++)
-      if(a[j]<a[min]) min=j;
-    if(min!=i) swap(a,i,min);
-  }
-  return a;
-  */
-}
-
-function filter(p,xs) {
-  var ys=[];
-  for(var i=0;i<xs.length;i++)
-    if(p(xs[i])) ys[ys.length]=xs[i];
-  return ys;
-}
-
-function implode(cs) { // array of strings to string
-  /*
-  var s="";
-  for(var i=0;i<cs.length;i++)
-    s+=cs[i];
-  return s;
-  */
-  return cs.join("");
-}
-
-function hasPrefix(s,pre) { return s.substr(0,pre.length)==pre; }
-
-/*
-function all(p,xs) {
-  for(var i=0;i<xs.length;i++)
-    if(!p(xs[i])) return false;
-  return true;
-}
-*/
-
-function map(f,xs) {
-  var ys=[];
-  for(var i=0;i<xs.length;i++) ys[i]=f(xs[i]);
-  return ys;
-}
-
-// map in continuation passing style 
-function mapc(f,xs,cont) { mapc_from(f,xs,0,[],cont); }
-
-function mapc_from(f,xs,i,ys,cont) {
-  if(i<xs.length)
-    f(xs[i],function(y){ys[i]=y;mapc_from(f,xs,i+1,ys,cont)});
-  else
-    cont(ys);
-}
-
-function overlaps(as,bs) {
-    for(var i=0;i<as.length;i++)
-	if(elem(as[i],bs)) return true;
-    return false;
-}
-
-function elem(a,as) {
-    for(var i=0;i<as.length;i++)
-	if(a==as[i]) return true;
-    return false;
-}
-
-function shuffle(a) {
-    for(i=0;i<a.length;i++) swap(a,i,Math.floor(Math.random()*a.length))
-    return a;
-}
author	Krasimir Angelov <kr.angelov@gmail.com>	2018-07-04 13:09:39 +0200
committer	Krasimir Angelov <kr.angelov@gmail.com>	2018-07-04 13:09:39 +0200
commit	f64b17eef7cef49debb9f42e943e02da48089f06 (patch)
tree	bb49b8bac2e3cafd3c1f997115bf5bb841554eab /examples/phrasebook/www
parent	7bfd6199d600f00233fb29806eed8e894644f439 (diff)
parent	c6f4edaea5f1074ba682fac5d711016f0136998f (diff)