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

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

public class RemoteMessageHandlerContract
extends net.sourceforge.c4j.ContractBase<RemoteMessageHandler>

Description of the type...

Version:

1.0

Author:

Matt Campbell

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

RemoteMessageHandlerContract(RemoteMessageHandler t)
Constructor as C4J demands

Method Summary

void	classInvariant() Class invariant.
void	pre_store(Message currentMsg, Address recipient) These conditions must hold true before the store method can happen

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

RemoteMessageHandlerContract

public RemoteMessageHandlerContract(RemoteMessageHandler t)

Constructor as C4J demands

Parameters:

t - the instance to contract

Method Detail

classInvariant

public void classInvariant()

Class invariant. Must hold true at the begining and end of each method call

pre_store

public void pre_store(Message currentMsg,
                      Address recipient)

These conditions must hold true before the store method can happen

Parameters:

currentMsg - parameter value

recipient - parameter value