org.jSyncManager.SJS.Adapters.SMTPServer
Class MboxContract

java.lang.Object
  net.sourceforge.c4j.ContractBase<Mbox>
      org.jSyncManager.SJS.Adapters.SMTPServer.MboxContract

public class MboxContract
extends net.sourceforge.c4j.ContractBase<Mbox>

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

MboxContract(Mbox box)

Method Summary

void	classInvariant()
void	post_createMessageFromMboxData(java.lang.String[] msg, User user)
void	post_getMessages(User user)
void	post_storeMessage(Message msg, Address to)
void	post_storeMessages(Message[] msgs)
void	pre_createMessageFromMboxData(java.lang.String[] msg, User user)
void	pre_getMessages(User user)
void	pre_storeMessage(Message msg, Address to)
void	pre_storeMessages(Message[] msgs)

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

MboxContract

public MboxContract(Mbox box)

Method Detail

classInvariant

public void classInvariant()

pre_storeMessages

public void pre_storeMessages(Message[] msgs)

post_storeMessages

public void post_storeMessages(Message[] msgs)

pre_storeMessage

public void pre_storeMessage(Message msg,
                             Address to)

post_storeMessage

public void post_storeMessage(Message msg,
                              Address to)

pre_createMessageFromMboxData

public void pre_createMessageFromMboxData(java.lang.String[] msg,
                                          User user)

post_createMessageFromMboxData

public void post_createMessageFromMboxData(java.lang.String[] msg,
                                           User user)

pre_getMessages

public void pre_getMessages(User user)

post_getMessages

public void post_getMessages(User user)