org.jSyncManager.SJS.Adapters.SMTPServer.util.contracts
Class SMTPUtilsContract

java.lang.Object
  net.sourceforge.c4j.ContractBase<SMTPUtils>
      org.jSyncManager.SJS.Adapters.SMTPServer.util.contracts.SMTPUtilsContract

public class SMTPUtilsContract
extends net.sourceforge.c4j.ContractBase<SMTPUtils>

Contract for the SMTPUtils Class

Version:

v1.0

Author:

Ahmad

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

SMTPUtilsContract(SMTPUtils t)
Constructor, get a reference for the SMTPUtils object

Method Summary

void	classInvariant() Invariant checks.
void	post_isValidAddress(java.lang.String address) Post-condition for the isValidAddress method.
void	pre_isValidAddress(java.lang.String address) Pre-condition for the isValidAddress method.

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

SMTPUtilsContract

public SMTPUtilsContract(SMTPUtils t)

Constructor, get a reference for the SMTPUtils object

Parameters:

t - the object.

Method Detail

classInvariant

public void classInvariant()

Invariant checks.

pre_isValidAddress

public void pre_isValidAddress(java.lang.String address)

Pre-condition for the isValidAddress method.

Parameters:

address - See the SMTPUtils class.

post_isValidAddress

public void post_isValidAddress(java.lang.String address)

Post-condition for the isValidAddress method.

Parameters:

address - See the SMTPUtils class.