diff options
| -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 { |