diff options
| -rw-r--r-- | src/server/Makefile | 2 | ||||
| -rw-r--r-- | src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGF.java | 27 |
2 files changed, 28 insertions, 1 deletions
diff --git a/src/server/Makefile b/src/server/Makefile index 1d4060391..1df20398e 100644 --- a/src/server/Makefile +++ b/src/server/Makefile @@ -9,7 +9,7 @@ pgf.fcgi: gwt: gwt/Translate-compile -gf-gwt.jar: gwt +gf-gwt.jar: jar -cf $@ -C gwt/src se cp $@ ../../lib/java diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGF.java b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGF.java index daf97c7ae..a47977747 100644 --- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGF.java +++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/PGF.java @@ -154,6 +154,33 @@ public class PGF { public final native String getText() /*-{ return this.text; }-*/; } + /* Parsing */ + + public PGFRequest parse (String input, List<String> fromLangs, String cat, final ParseCallback callback) { + List<Arg> args = new ArrayList<Arg>(); + args.add(new Arg("input", input)); + if (fromLangs != null) { + for (String from : fromLangs) { + args.add(new Arg("from", from)); + } + } + args.add(new Arg("cat", cat)); + return sendRequest("parse", args, callback); + } + + public interface ParseCallback extends GFCallback<ParseResults> { } + + public static class ParseResults extends IterableJsArray<ParseResult> { + protected ParseResults() { } + } + + public static class ParseResult extends JavaScriptObject { + protected ParseResult() { } + + public final native String getFrom() /*-{ return this.from; }-*/; + public final native String getTree() /*-{ return this.tree; }-*/; + } + /* Utilities */ private <T extends JavaScriptObject> PGFRequest sendRequest (String resource, List<Arg> vars, final GFCallback<T> callback) { |