com.vaadin.terminal.gwt.client
Class FastStringSet

java.lang.Object
  com.google.gwt.core.client.JavaScriptObject
      com.vaadin.terminal.gwt.client.FastStringSet

public final class FastStringSet
extends com.google.gwt.core.client.JavaScriptObject

Constructor Summary

protected

FastStringSet()

Method Summary

void	add(String string)
void	addAll(com.google.gwt.core.client.JsArrayString array)
boolean	contains(String string)
static FastStringSet	create()
com.google.gwt.core.client.JsArrayString	dump()
boolean	isEmpty()
void	remove(String string)

Methods inherited from class com.google.gwt.core.client.JavaScriptObject

cast, createArray, createFunction, createObject, equals, hashCode, toSource, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FastStringSet

protected FastStringSet()

Method Detail

contains

public boolean contains(String string)

add

public void add(String string)

addAll

public void addAll(com.google.gwt.core.client.JsArrayString array)

dump

public com.google.gwt.core.client.JsArrayString dump()

remove

public void remove(String string)

isEmpty

public boolean isEmpty()

create

public static FastStringSet create()