org.jSyncManager.SJS.Adapters.SMTPServer.Config.contracts
Class DomainContract

java.lang.Object
  net.sourceforge.c4j.ContractBase<Domain>
      org.jSyncManager.SJS.Adapters.SMTPServer.Config.contracts.DomainContract

public class DomainContract
extends net.sourceforge.c4j.ContractBase<Domain>

Contract for the Domain Class.

Version:

v1.0

Author:

Ahmad

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

DomainContract(Domain t)
Constructor, get a reference for the Domain object.

Method Summary

void	classInvariant() Invariant checks.
void	post_Domain(java.lang.String domain) Post-condition for the Domain constructor.
void	post_setDomain(java.lang.String domain) Pre-condition for the setDomain.
void	post_toString() Post-condition for toString.
void	pre_Domain(java.lang.String domain) Pre-condition for the Domain constructor.
void	pre_setDomain(java.lang.String domain) Pre-condition for the setDomain.
void	pre_toString() Pre-condition for toString.

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

Constructor Detail

DomainContract

public DomainContract(Domain t)

Constructor, get a reference for the Domain object.

Parameters:

t - the object.

Method Detail

classInvariant

public void classInvariant()

Invariant checks.

pre_Domain

public void pre_Domain(java.lang.String domain)

Pre-condition for the Domain constructor.

Parameters:

domain - See the Domain class.

post_Domain

public void post_Domain(java.lang.String domain)

Post-condition for the Domain constructor.

Parameters:

domain - See the Domain class.

pre_setDomain

public void pre_setDomain(java.lang.String domain)

Pre-condition for the setDomain.

Parameters:

domain - See the Domain class.

post_setDomain

public void post_setDomain(java.lang.String domain)

Pre-condition for the setDomain.

Parameters:

domain - See the Domain class.

pre_toString

public void pre_toString()

Pre-condition for toString.

post_toString

public void post_toString()

Post-condition for toString.