org.jSyncManager.SJS.Adapters.SMTPServer.contracts
Class AddressContract

java.lang.Object
  net.sourceforge.c4j.ContractBase<Address>
      org.jSyncManager.SJS.Adapters.SMTPServer.contracts.AddressContract

public class AddressContract
extends net.sourceforge.c4j.ContractBase<Address>

This class specifies the contracts for relevant methods of the Address class.

Version:

$Revision$

Author:

akaspar

Field Summary

(package private) Address

addy The address class being checked.

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

AddressContract(Address addy)
Creates the AddressContract class.

Method Summary

void	classInvariant() Specifies the states of the server that should never change.
void	pre_Address(java.lang.String address) The address parameter is not check for nullity, and it is assumed that there is an @ symbol in it.
void	pre_Address(User user, Domain domain) Neither parameter is check for nullity before being used.

Methods inherited from class net.sourceforge.c4j.ContractBase

addLogger, classInvariantCheck, getPreconditionValue, getReturnValue, getTargetField, popPreconditionValuesMap, popReturnValue, postConditionCheck, preConditionCheck, pushPreconditionValuesMap, pushReturnValue, setPreconditionValue, setReturnValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

addy

Address addy

The address class being checked.

Constructor Detail

AddressContract

public AddressContract(Address addy)

Creates the AddressContract class. You shouldn't need to worry about this, since it's handled by the C4J library

Parameters:

addy -

Method Detail

classInvariant

public void classInvariant()

Specifies the states of the server that should never change. These fields are used throughout the class without null checking.

pre_Address

public void pre_Address(java.lang.String address)

The address parameter is not check for nullity, and it is assumed that there is an @ symbol in it. This contract should ensure that the address is formatted as expected.

Parameters:

address -

pre_Address

public void pre_Address(User user,
                        Domain domain)

Neither parameter is check for nullity before being used. This contract ensures they are not null.

Parameters:

user -

domain -