diff options
Diffstat (limited to 'src/com/vaadin/terminal/gwt/client/FastStringSet.java')
-rw-r--r-- | src/com/vaadin/terminal/gwt/client/FastStringSet.java | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/src/com/vaadin/terminal/gwt/client/FastStringSet.java b/src/com/vaadin/terminal/gwt/client/FastStringSet.java deleted file mode 100644 index 05ed8addc8..0000000000 --- a/src/com/vaadin/terminal/gwt/client/FastStringSet.java +++ /dev/null @@ -1,60 +0,0 @@ -/* -@VaadinApache2LicenseForJavaFiles@ - */ -package com.vaadin.terminal.gwt.client; - -import com.google.gwt.core.client.JavaScriptObject; -import com.google.gwt.core.client.JsArrayString; - -public final class FastStringSet extends JavaScriptObject { - protected FastStringSet() { - // JSO constructor - } - - public native boolean contains(String string) - /*-{ - return this.hasOwnProperty(string); - }-*/; - - public native void add(String string) - /*-{ - this[string] = true; - }-*/; - - public native void addAll(JsArrayString array) - /*-{ - for(var i = 0; i < array.length; i++) { - this[array[i]] = true; - } - }-*/; - - public native JsArrayString dump() - /*-{ - var array = []; - for(var string in this) { - if (this.hasOwnProperty(string)) { - array.push(string); - } - } - return array; - }-*/; - - public native void remove(String string) - /*-{ - delete this[string]; - }-*/; - - public native boolean isEmpty() - /*-{ - for(var string in this) { - if (this.hasOwnProperty(string)) { - return false; - } - } - return true; - }-*/; - - public static FastStringSet create() { - return JavaScriptObject.createObject().cast(); - } -}
\ No newline at end of file |