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

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

public class DAOFactoryContract
extends net.sourceforge.c4j.ContractBase<DAOFactory>

Contract for the DAOFactory class.

Version:

v1.0

Author:

Ahmad

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

DAOFactoryContract(DAOFactory t)
Constructor, get a reference for the DAOFactory object

Method Summary

void	classInvariant() Invariant checks.
void	pre_instance(java.lang.Class<?> factory) The pre-condition for the instance 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

DAOFactoryContract

public DAOFactoryContract(DAOFactory t)

Constructor, get a reference for the DAOFactory object

Parameters:

t - the object.

Method Detail

classInvariant

public void classInvariant()

Invariant checks.

pre_instance

public void pre_instance(java.lang.Class<?> factory)

The pre-condition for the instance method.

Parameters:

factory - See the DAOFactory class.