Methods Summary |
---|
public boolean | containsDomain(DomainEntry de)Indicate if the registry contains the given entry.
precondition - entry is not null
postcondition - registry has not been modified
|
public DomainEntry | getDomain(java.lang.String name)Return the domain entry given a domain entry name.
precondition - the given name is not null
postcondition - the registry has not been modified
|
public java.util.Iterator | iterator()Obtain an iterator over the entries in the
registry. The entries will appear in alphabetically sorted
order by name. This iterator will operate on a snapshot of the
registry obtained at the time this method is executed -
changes to the registry during the lifetime of the iterator returned from
this method will not affect the iterator.
|
public void | registerDomain(DomainEntry de)Register the given domain information.
Precondition - the domain entry's name and location are unique
within the registry
Postcondition - the entry is registered under the domain
entry's name within the registry.
|
public void | reregisterDomain(DomainEntry de)Re-register the given domain entry with the registry.
Precondition - a domain with the same name and location as
the given domain entry is already registered in the
registry or no domain is registered which has either the
same name or the same location (or both).
Postcondition - the domain entry registered against the given
domain entry's name is the given domain entry.
|
public int | size()Get the number of entries in the registry.
|
public void | unregisterDomain(java.lang.String domain_name)Remove the registration of the domain with the given name.
Precondition - a domain is registered within the registry
with the given name
Postcondition - the registry contains no entry for the given
name
|
public void | unregisterDomain(DomainEntry de)Remove the registration of the given domain entry.
Precondition - a domain with the same name and location as
the given domain is registered in the registry
Postcondition - the registry contains no entry for the given
name
|