diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/IterableJsArray.java b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/IterableJsArray.java index 59f6df2da..ce34ea615 100644 --- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/IterableJsArray.java +++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/client/IterableJsArray.java @@ -9,6 +9,10 @@ import com.google.gwt.core.client.JsArray; public class IterableJsArray extends JsArray { protected IterableJsArray() {} + + public final boolean isEmpty() { + return length() == 0; + } public final Iterable iterable() { return new Iterable() {