From 9457ebe0c34dc977ad7fb97d1daaab96416cceca Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Mon, 27 Oct 2008 10:18:21 +0000
Subject: [PATCH] GWT: added IterableJsArray.isEmpty().

---
 .../gwt/src/se/chalmers/cs/gf/gwt/client/IterableJsArray.java | 4 ++++
 1 file changed, 4 insertions(+)

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<T extends JavaScriptObject> extends JsArray<T> {
 
 	protected IterableJsArray() {}
+	
+	public final boolean isEmpty() {
+		return length() == 0;
+	}
 
 	public final Iterable<T> iterable() {
 		return new Iterable<T>() {