jSyncManager Simple Java Server

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

java.lang.Object
  extended by net.sourceforge.c4j.ContractBase<AbstractSMTPServer.CommandHelp>
      extended by 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


jSyncManager Simple Java Server

Copyright (c) 2004 Brad BARCLAY. All Rights Reserved.