diff options
| author | hallgren <hallgren@chalmers.se> | 2010-11-09 21:02:07 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-11-09 21:02:07 +0000 |
| commit | 41df4e00ff7423100ac3d3f64753af1be652767f (patch) | |
| tree | 2fd31ac772caa70c6478056876d99e9dce437581 /src/runtime/javascript/minibar/example.html | |
| parent | b0594eb5455d2928da370885bf0bed741957a09a (diff) | |
Some pgf-server API documentation
Diffstat (limited to 'src/runtime/javascript/minibar/example.html')
| -rw-r--r-- | src/runtime/javascript/minibar/example.html | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/src/runtime/javascript/minibar/example.html b/src/runtime/javascript/minibar/example.html new file mode 100644 index 000000000..57c1ddd5c --- /dev/null +++ b/src/runtime/javascript/minibar/example.html @@ -0,0 +1,51 @@ +<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> +<html> <head> +<title>PGF online server example</title> +<style type="text/css"> +body { background: #ddd; } +</style> +<script type="text/JavaScript" src="http://www.grammaticalframework.org/src/runtime/javascript/minibar/support.js"></script> +<script type="text/JavaScript" src="http://www.grammaticalframework.org/src/runtime/javascript/minibar/pgf_online.js"></script> +<script type="text/JavaScript"> + +var server_options={ + grammars_url: "http://www.grammaticalframework.org/grammars/", + grammar_list: ["Syllogism.pgf"] +} +var pgf_server = pgf_online(server_options); + +function call_server() { + pgf_server.parse("SyllogismEng",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="some humans are not human"> +<input type=submit value=Parse> + +<p> +Output: +<span id=output></span> +</form> + + +<h2>Documentation</h2> +<ul> + <li><a href="http://www.grammaticalframework.org/~hallgren/gf-web-api-examples.html">GF Web API examples</a> +</ul> + +<hr> +<address></address> +<!-- hhmts start --> Last modified: Tue Nov 9 21:54:50 CET 2010 <!-- hhmts end --> +</body> </html> |