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

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

public class SMTPCommandContract
extends net.sourceforge.c4j.ContractBase<AbstractSMTPServer.SmtpCommand>

This class lists the contracts and invariants for the SMTPCommand abstract class

Version:

1.0

Author:

Matt Campbell

See Also:

AbstractSMTPServer.SmtpCommand

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

SMTPCommandContract(AbstractSMTPServer.SmtpCommand 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.
void	post_process(java.lang.String args) These conditions must be true at the conclusion of running process Method
void	pre_isStateSet(java.lang.String... command) These conditions must be true before running the isStateSet method
void	pre_process(java.lang.String args) These conditions must be true before running the process method

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

SMTPCommandContract

public SMTPCommandContract(AbstractSMTPServer.SmtpCommand 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

pre_isStateSet

public void pre_isStateSet(java.lang.String... command)

These conditions must be true before running the isStateSet method

See Also:

AbstractSMTPServer.SmtpCommand.isStateSet(String...)

pre_process

public void pre_process(java.lang.String args)

These conditions must be true before running the process method

Parameters:

args - The parameter to the method

See Also:

AbstractSMTPServer.SmtpCommand.process(String)

post_process

public void post_process(java.lang.String args)

These conditions must be true at the conclusion of running process Method

Parameters:

args - The parameter to the method

See Also:

AbstractSMTPServer.SmtpCommand.process(String)