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

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

public class CommandNoopContract
extends net.sourceforge.c4j.ContractBase<AbstractSMTPServer.CommandNoop>

This class lists the contracts and invariants for the CommandNoop class

Version:

1.0

Author:

Matt Campbell

See Also:

AbstractSMTPServer.CommandNoop

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

CommandNoopContract(AbstractSMTPServer.CommandNoop 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

CommandNoopContract

public CommandNoopContract(AbstractSMTPServer.CommandNoop 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