org.jSyncManager.SJS.Adapters.SMTPServer.contracts
Class ConfigurationContract

java.lang.Object
  net.sourceforge.c4j.ContractBase<Configuration>
      org.jSyncManager.SJS.Adapters.SMTPServer.contracts.ConfigurationContract

public class ConfigurationContract
extends net.sourceforge.c4j.ContractBase<Configuration>

Contract class for the Conriguration class.

Version:

$Revision$

Author:

akaspar

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

ConfigurationContract(Configuration config)
Create a new ConfigurationContract class (handled by the C4J library)

Method Summary

void	classInvariant() Ensure that the class always has domains and users to return

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

ConfigurationContract

public ConfigurationContract(Configuration config)

Create a new ConfigurationContract class (handled by the C4J library)

Parameters:

config - Dont worry aboudit

Method Detail

classInvariant

public void classInvariant()

Ensure that the class always has domains and users to return