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

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

public class GenericDAOContract
extends net.sourceforge.c4j.ContractBase<GenericDAO>

The contract file for the GenericDAO interface.
All subtypes are bound by these contracts in addition to any they may enforce.

Version:

1.0

Author:

Matt Campbell

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

GenericDAOContract(GenericDAO t)
General Constructor for C4J format

Method Summary

void	classInvariant() The class invariant.
void	post_loadConfig(java.lang.String configFile) The conditions that must hold at the conclusion of the loadConfig method
void	pre_loadConfig(java.lang.String configFile) The conditions that must hold at the beginning of the loadConfig 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

GenericDAOContract

public GenericDAOContract(GenericDAO t)

General Constructor for C4J format

Parameters:

t - parameter value

Method Detail

classInvariant

public void classInvariant()

The class invariant. These conditions must hold at the beginning and end of each method call

pre_loadConfig

public void pre_loadConfig(java.lang.String configFile)

The conditions that must hold at the beginning of the loadConfig method

Parameters:

configFile - parameter value

See Also:

GenericDAO.loadConfig(String)

post_loadConfig

public void post_loadConfig(java.lang.String configFile)

The conditions that must hold at the conclusion of the loadConfig method

Parameters:

configFile - parameter value

See Also:

GenericDAO.loadConfig(String)