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

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

public class CommandRsetContract
extends net.sourceforge.c4j.ContractBase<AbstractSMTPServer.CommandRset>

This class lists the contracts and invariants for the CommandRset class

Version:

1.0

Author:

Matt Campbell

See Also:

AbstractSMTPServer.CommandRset

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

CommandRsetContract(AbstractSMTPServer.CommandRset 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

CommandRsetContract

public CommandRsetContract(AbstractSMTPServer.CommandRset 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