summaryrefslogtreecommitdiff
path: root/src/ui
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2010-09-29 13:53:13 +0000
committerkrasimir <krasimir@chalmers.se>2010-09-29 13:53:13 +0000
commit35b14d26f3e185fd11fd0ee0d3eeb33721215295 (patch)
tree9cecdfdc50b63c540c92232257627b926201227d /src/ui
parentfdcec4273cf7b311a2637bcf267f216b9828fe60 (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.java14
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 {