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

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

public class CommandHelpContract
extends net.sourceforge.c4j.ContractBase<AbstractSMTPServer.CommandHelp>

This class lists the contracts and invariants for the CommandHelp class

Version:

1.0

Author:

Matt Campbell

See Also:

AbstractSMTPServer.CommandHelp

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

CommandHelpContract(AbstractSMTPServer.CommandHelp 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

CommandHelpContract

public CommandHelpContract(AbstractSMTPServer.CommandHelp 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