diff options
| author | krasimir <krasimir@chalmers.se> | 2010-09-29 13:53:13 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-09-29 13:53:13 +0000 |
| commit | 35b14d26f3e185fd11fd0ee0d3eeb33721215295 (patch) | |
| tree | 9cecdfdc50b63c540c92232257627b926201227d /src/ui | |
| parent | fdcec4273cf7b311a2637bcf267f216b9828fe60 (diff) | |
restore the method BracketedString.render which was needed for TranslateApp
Diffstat (limited to 'src/ui')
| -rw-r--r-- | src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/PGF.java | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/PGF.java b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/PGF.java index e3396cad1..a80347483 100644 --- a/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/PGF.java +++ b/src/ui/gwt/src/org/grammaticalframework/ui/gwt/client/PGF.java @@ -141,6 +141,20 @@ public class PGF { public final native int getFId() /*-{ return this.fid; }-*/; public final native int getIndex() /*-{ return this.index; }-*/; public final native BracketedString[] getChildren() /*-{ return this.children; }-*/; + + public final String render() { + if (getToken() != null) + return getToken(); + else { + StringBuilder sbuilder = new StringBuilder(); + for (BracketedString bs : getChildren()) { + if (sbuilder.length() > 0) + sbuilder.append(' '); + sbuilder.append(bs.render()); + } + return sbuilder.toString(); + } + } } public static class TcError extends JavaScriptObject { |
