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

java.lang.Object
  net.sourceforge.c4j.ContractBase<AbstractSMTPServer.CommandRcpt>
      org.jSyncManager.SJS.Adapters.SMTPServer.contracts.CommandRcptContract

public class CommandRcptContract
extends net.sourceforge.c4j.ContractBase<AbstractSMTPServer.CommandRcpt>

This class lists the contracts and invariants for the CommandRcpt class

Version:

1.0

Author:

Matt Campbell

See Also:

AbstractSMTPServer.CommandRcpt

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

CommandRcptContract(AbstractSMTPServer.CommandRcpt t)
A general constructor that sets the instance variable
This is of the form required by C4J

Method Summary

void	classInvariant() The invariant for this class.

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

CommandRcptContract

public CommandRcptContract(AbstractSMTPServer.CommandRcpt t)

A general constructor that sets the instance variable
This is of the form required by C4J

Parameters:

t - the reference to the base class

Method Detail

classInvariant

public void classInvariant()

The invariant for this class. Each of these conditions must be satisfied before and after each method call