You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

FastStringSet.java 1.8KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172
  1. /*
  2. * Copyright 2011 Vaadin Ltd.
  3. *
  4. * Licensed under the Apache License, Version 2.0 (the "License"); you may not
  5. * use this file except in compliance with the License. You may obtain a copy of
  6. * the License at
  7. *
  8. * http://www.apache.org/licenses/LICENSE-2.0
  9. *
  10. * Unless required by applicable law or agreed to in writing, software
  11. * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
  12. * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
  13. * License for the specific language governing permissions and limitations under
  14. * the License.
  15. */
  16. package com.vaadin.terminal.gwt.client;
  17. import com.google.gwt.core.client.JavaScriptObject;
  18. import com.google.gwt.core.client.JsArrayString;
  19. public final class FastStringSet extends JavaScriptObject {
  20. protected FastStringSet() {
  21. // JSO constructor
  22. }
  23. public native boolean contains(String string)
  24. /*-{
  25. return this.hasOwnProperty(string);
  26. }-*/;
  27. public native void add(String string)
  28. /*-{
  29. this[string] = true;
  30. }-*/;
  31. public native void addAll(JsArrayString array)
  32. /*-{
  33. for(var i = 0; i < array.length; i++) {
  34. this[array[i]] = true;
  35. }
  36. }-*/;
  37. public native JsArrayString dump()
  38. /*-{
  39. var array = [];
  40. for(var string in this) {
  41. if (this.hasOwnProperty(string)) {
  42. array.push(string);
  43. }
  44. }
  45. return array;
  46. }-*/;
  47. public native void remove(String string)
  48. /*-{
  49. delete this[string];
  50. }-*/;
  51. public native boolean isEmpty()
  52. /*-{
  53. for(var string in this) {
  54. if (this.hasOwnProperty(string)) {
  55. return false;
  56. }
  57. }
  58. return true;
  59. }-*/;
  60. public static FastStringSet create() {
  61. return JavaScriptObject.createObject().cast();
  62. }
  63. }