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

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

public class XMLDAOFactoryContract
extends net.sourceforge.c4j.ContractBase<XMLDAOFactory>

Contract for the XMLDAOFactory class

Version:

v1.0

Author:

Wenfeng Su, Matt Campbell

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

XMLDAOFactoryContract(XMLDAOFactory t)
General summary

Method Summary

void	post_getConfigDAO() The post condition for getConfigDAO method
void	post_instantiateDAO(java.lang.Class daoClass) There is no post condition for instatiateDAO method
void	pre_instantiateDAO(java.lang.Class daoClass) The pre condition for instantiateDAO 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

XMLDAOFactoryContract

public XMLDAOFactoryContract(XMLDAOFactory t)

General summary

Parameters:

t - parameter value

Method Detail

post_getConfigDAO

public void post_getConfigDAO()

The post condition for getConfigDAO method

pre_instantiateDAO

public void pre_instantiateDAO(java.lang.Class daoClass)

The pre condition for instantiateDAO method

Parameters:

daoClass -

post_instantiateDAO

public void post_instantiateDAO(java.lang.Class daoClass)

There is no post condition for instatiateDAO method

Parameters:

daoClass - parameter value