diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
| commit | 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad (patch) | |
| tree | d51076a708997d6f1af6ac0deefd535bbc25f804 /src/www/minibar/example.html | |
| parent | 0aba45560d2033c37c3d2e876e6f3ef89e1554d6 (diff) | |
Improvements of "gf -server" mode and related setup
"gf -server" mode now contains everything needed to run the minibar and
the grammar editor (including example-based grammar writing).
The Setup.hs script installs the required files where gf -server can find them.
These files have been moved to a new directory: src/www.
The separate server program pgf-http is now obsolete.
Diffstat (limited to 'src/www/minibar/example.html')
| -rw-r--r-- | src/www/minibar/example.html | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/src/www/minibar/example.html b/src/www/minibar/example.html new file mode 100644 index 000000000..7d78a7ef6 --- /dev/null +++ b/src/www/minibar/example.html @@ -0,0 +1,57 @@ +<!DOCTYPE html> +<html> <head> +<title>PGF online server example</title> +<style type="text/css"> +body { background: #ddd; } +h1, h2, h3, small, th { font-family: sans-serif; } +div.modtime { float: right; } +.modtime { color: #666; white-space: nowrap; } +</style> +<script type="text/JavaScript" src="support.js"></script> +<script type="text/JavaScript" src="pgf_online.js"></script> +<script type="text/JavaScript"> + +var server_options={ + grammars_url: "http://www.grammaticalframework.org/grammars/", + grammar_list: ["Foods.pgf"] +} +var pgf_server = pgf_online(server_options); + +function call_server() { + pgf_server.parse({from:"FoodsEng",input:document.forms[0].input.value}, + show_output) +} + +function show_output(parsed) { + document.getElementById("output").innerHTML=parsed[0].trees[0] +} + +</script> + +</head> + +<body> +<h1>PGF online server example</h1> + +<form onsubmit="call_server(); return false"> +Input: +<input name=input size=50 value="this cheese is expensive"> +<input type=submit value=Parse> + +<p> +Output: +<span id=output></span> +</form> + + +<h2>Documentation</h2> +<ul> + <li><a href="gf-web-api-examples.html">GF Web API examples</a> +</ul> + +<hr> +<div class=modtime><small> +<!-- hhmts start --> Last modified: Wed Aug 3 16:52:51 CEST 2011 <!-- hhmts end --> + </small></div> +<address><a href="http://www.cse.chalmers.se/~hallgren/">TH</a></address> +</body> </html> |