File Doc Category Size Date Package
ContactDataSet.java API Doc Glassfish v2 API 3802 Fri May 04 22:33:32 BST 2007 com.sun.enterprise.admin.common.domains.registry

ContactDataSet

java.lang.Object
- java.util.AbstractCollection
  - java.util.AbstractSet
    - java.util.HashSet

public class ContactDataSet extends HashSet

This class represents a collection of {@link ContactData} elements. It is a set that guarantees that its elements are instances of {@link ContactData}

author: Toby H Ferguson
version: 1.0

Fields Summary
Constructors Summary
public ContactDataSet()
super();
public ContactDataSet(Collection c)
Construct a new instance, adding all the members from the given collection.
Precondition - all members of the collection are instances of the {@link ContactData} class
postcondition - the returned instance contains all the members of the given collection, and only those members
param
c the given collection
throws
NullPointerException if c is null
throws
ClassCastException if one of the members of c is not an instance of the {@link ContactData} class
super(c);
public ContactDataSet(int initialCapacity)
super(initialCapacity);
public ContactDataSet(int initialCapacity, float loadFactor)
super(initialCapacity, loadFactor);
Methods Summary
public boolean add(java.lang.Object o)
Add the given object to the receiver.
precondition - the given object is an instance of the {@link ContactData} class
postcondition - the receiver contains the given object
param
o the object to be added
return
true iff the receiver changed as a result of adding this object
throws
NullPointerException if the object is null
throws
ClassCastException if the object is not an instance of {@link ContactData} class
return super.add((ContactData) o);