com.vaadin.client

Class FastStringSet

java.lang.Object

com.google.gwt.core.client.JavaScriptObject

com.vaadin.client.FastStringSet

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	FastStringSet()

Method Summary

Modifier and Type	Method and Description
void	add(String string)
void	addAll(FastStringSet set)
void	addAll(com.google.gwt.core.client.JsArrayString array)
void	addAllTo(Collection<String> target)
boolean	contains(String string)
static FastStringSet	create()
com.google.gwt.core.client.JsArrayString	dump()
boolean	isEmpty()
void	remove(String string)
void	removeAll(FastStringSet valuesToRemove)

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

cast, createArray, 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)

addAll

public void addAll(FastStringSet set)

dump

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

remove

public void remove(String string)

isEmpty

public boolean isEmpty()

create

public static FastStringSet create()

addAllTo

public void addAllTo(Collection<String> target)

removeAll

public void removeAll(FastStringSet valuesToRemove)