diff options
| author | hallgren <hallgren@chalmers.se> | 2014-02-11 16:43:29 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-02-11 16:43:29 +0000 |
| commit | 44ee072331424dae6a7918835bd15c51f56307e8 (patch) | |
| tree | 3f71d0855d9cc26a7ab706e9adbfc7c9a10d887f /src/www/wc.html | |
| parent | 23dc22cea49b7dde812882cff8e77b27e1b6382f (diff) | |
Work on web api & apps based on the C run-time system
+ PGFService.hs: add command c-grammar, include probability in parse results
+ js/gftranslation.js: add start position and limit parameters, return more
info to applications
+ Simple Translator: show two wide coverage translations
+ Wide coverage demo: show parse tree and probability (intended as grammar
debugging aids)
Diffstat (limited to 'src/www/wc.html')
| -rw-r--r-- | src/www/wc.html | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/src/www/wc.html b/src/www/wc.html index 08c7c62e0..ee369dad5 100644 --- a/src/www/wc.html +++ b/src/www/wc.html @@ -10,6 +10,7 @@ div.center { text-align: center; } table.center { margin-left: auto; margin-right: auto; } textarea { margin: 0; } body:target h1, body:target div.modtime { display: none; } +#extra { color: #666; } </style> </head> @@ -49,12 +50,14 @@ body:target h1, body:target div.modtime { display: none; } <button onclick="wcswap()">↑↓</button> <br> <textarea name=output rows=3 style="width: 100%" readonly></textarea> + <br> </form> </table> +<div class=center><small id=extra></small></div> <p> <div class=modtime><small> -<!-- hhmts start -->Last modified: Tue Jan 28 17:38:32 CET 2014 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Tue Feb 11 17:37:40 CET 2014 <!-- hhmts end --> </small></div> <script src="js/support.js"></script> <script src="js/gftranslate.js"></script> @@ -64,16 +67,21 @@ body:target h1, body:target div.modtime { display: none; } <script> function wctranslate() { var f=document.forms[0] + var e=element("extra") f.translate.disabled=true f.output.value="" + clear(e) function showit(result) { f.output.value=result f.translate.disabled=false } - function step3(text) { unlextext(text,showit) } + function step3(trans) { + if(e) e.innerHTML=trans[0].prob+"<br>"+trans[0].tree + unlextext(trans[0].linearizations[0].text,showit) + } function step2(text) { - gftranslate.translate(text,f.from.value,f.to.value,step3) + gftranslate.translate(text,f.from.value,f.to.value,0,1,step3) } lextext(f.input.value,step2) return false; |
