jSyncManager Simple Java Server

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

java.lang.Object
  extended by net.sourceforge.c4j.ContractBase<AbstractSMTPServer>
      extended by org.jSyncManager.SJS.Adapters.SMTPServer.contracts.AbstractSMTPServerContract

public class AbstractSMTPServerContract
extends net.sourceforge.c4j.ContractBase<AbstractSMTPServer>

This class lists the contracts and invariants for the AbstactSMTPServer class

Version:
1.0
Author:
Matt Campbell
See Also:
AbstractSMTPServer

Field Summary
 
Fields inherited from class net.sourceforge.c4j.ContractBase
m_target
 
Constructor Summary
AbstractSMTPServerContract(AbstractSMTPServer 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_processData(java.lang.String args)
          These conditions must be true at the conclusion of running the processData method
 void post_processExpn(java.lang.String args)
          These conditions must be true at the conclusion of running the processExpn method
 void post_processFinished(java.lang.String args)
          These conditions must be true at the conclusion of running the processFinnished method
 void post_processHelo(java.lang.String args)
          These conditions must be true at the conclusion of running processHelo Method
 void post_processHelp(java.lang.String args)
          These conditions must be true at the conclusion of running the processHelp method
 void post_processMail(java.lang.String args)
          These conditions must be true at the conclusion of running the processMail method
 void post_processNoop(java.lang.String args)
          These conditions must be true at the conclusion of running the processNoop method
 void post_processQuit(java.lang.String args)
          These conditions must be true at the conclusion of running the processQuit method
 void post_processRcpt(java.util.List<java.lang.String> relays, java.lang.String addr)
          These conditions must be true at the conclusion of running processRcpt Method
 void post_processRequest(java.lang.String request)
          These conditions must be true at the conclusion of running processRequest Method
 void post_processRset(java.lang.String args)
          These conditions must be true at the conclusion of running the processRset method
 void post_processVrfy(java.lang.String args)
          These conditions must be true at the conclusion of running the processVrfy method
 void post_stripBackspace(java.lang.String args)
          These conditions must be true at the conclusion of running stripBackspace Method
 void pre_processData(java.lang.String args)
          These conditions must be true before running the processData method
 void pre_processExpn(java.lang.String args)
          These conditions must be true before running the processExpn method
 void pre_processHelo(java.lang.String args)
          These conditions must be true before running the processHelo method
 void pre_processHelp(java.lang.String args)
          These conditions must be true before running the processHelp method
 void pre_processMessagePart(java.lang.String args)
          These conditions must be true before running the processMessagePart method
 void pre_processRcpt(java.util.List<java.lang.String> relays, java.lang.String addr)
          These conditions must be true before of running processRcpt Method
 void pre_processRequest(java.lang.String request)
          These conditions must be true before running the processRequest method
 void pre_processVrfy(java.lang.String args)
          These conditions must be true before running the processVrfy method
 void pre_stripBackspace(java.lang.String args)
          These conditions must be true before running the stripBackspace 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

AbstractSMTPServerContract

public AbstractSMTPServerContract(AbstractSMTPServer 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_processRequest

public void pre_processRequest(java.lang.String request)
These conditions must be true before running the processRequest method

Parameters:
request - The parameter to the method
See Also:
AbstractSMTPServer.processRequest(String)

post_processRequest

public void post_processRequest(java.lang.String request)
These conditions must be true at the conclusion of running processRequest Method

Parameters:
request - The parameter to the method
See Also:
AbstractSMTPServer.processRequest(String)

pre_stripBackspace

public void pre_stripBackspace(java.lang.String args)
These conditions must be true before running the stripBackspace method

Parameters:
args - The parameter to the method
See Also:
AbstractSMTPServer.stripBackspace(String)

post_stripBackspace

public void post_stripBackspace(java.lang.String args)
These conditions must be true at the conclusion of running stripBackspace Method

Parameters:
args - The parameter to the method
See Also:
AbstractSMTPServer.stripBackspace(String)

pre_processHelo

public void pre_processHelo(java.lang.String args)
These conditions must be true before running the processHelo method

Parameters:
args - The parameter to the method
See Also:
AbstractSMTPServer.processHelo(String)

post_processHelo

public void post_processHelo(java.lang.String args)
These conditions must be true at the conclusion of running processHelo Method

Parameters:
args - The parameter to the method
See Also:
AbstractSMTPServer.processHelo(String)

post_processMail

public void post_processMail(java.lang.String args)
These conditions must be true at the conclusion of running the processMail method

Parameters:
args - The parameter to the method
See Also:
AbstractSMTPServer.processMail(String)

pre_processRcpt

public void pre_processRcpt(java.util.List<java.lang.String> relays,
                            java.lang.String addr)
These conditions must be true before of running processRcpt Method

Parameters:
relays - The list parameter to the method
addr - The string command to the method
See Also:
AbstractSMTPServer.processRcpt(List, String)

post_processRcpt

public void post_processRcpt(java.util.List<java.lang.String> relays,
                             java.lang.String addr)
These conditions must be true at the conclusion of running processRcpt Method

Parameters:
relays - The list parameter to the method
addr - The string command to the method
See Also:
AbstractSMTPServer.processRcpt(List, String)

pre_processData

public void pre_processData(java.lang.String args)
These conditions must be true before running the processData method

Parameters:
args - The parameter to the method

post_processData

public void post_processData(java.lang.String args)
These conditions must be true at the conclusion of running the processData method

Parameters:
args - The parameter to the method

pre_processMessagePart

public void pre_processMessagePart(java.lang.String args)
These conditions must be true before running the processMessagePart method

Parameters:
args - The parameter to the method
See Also:
AbstractSMTPServer.processMessagePart(String)

post_processFinished

public void post_processFinished(java.lang.String args)
These conditions must be true at the conclusion of running the processFinnished method

Parameters:
args - The parameter to the method

post_processRset

public void post_processRset(java.lang.String args)
These conditions must be true at the conclusion of running the processRset method

Parameters:
args - The parameter to the method

pre_processVrfy

public void pre_processVrfy(java.lang.String args)
These conditions must be true before running the processVrfy method

Parameters:
args - The parameter to the method
See Also:
AbstractSMTPServer.processVrfy(String)

post_processVrfy

public void post_processVrfy(java.lang.String args)
These conditions must be true at the conclusion of running the processVrfy method

Parameters:
args - The parameter to the method
See Also:
AbstractSMTPServer.processVrfy(String)

pre_processExpn

public void pre_processExpn(java.lang.String args)
These conditions must be true before running the processExpn method

Parameters:
args - The parameter to the method
See Also:
AbstractSMTPServer.processExpn(String)

post_processExpn

public void post_processExpn(java.lang.String args)
These conditions must be true at the conclusion of running the processExpn method

Parameters:
args - The parameter to the method
See Also:
AbstractSMTPServer.processExpn(String)

pre_processHelp

public void pre_processHelp(java.lang.String args)
These conditions must be true before running the processHelp method

Parameters:
args - The parameter to the method

post_processHelp

public void post_processHelp(java.lang.String args)
These conditions must be true at the conclusion of running the processHelp method

Parameters:
args - The parameter to the method
See Also:
AbstractSMTPServer.processHelp(String)

post_processQuit

public void post_processQuit(java.lang.String args)
These conditions must be true at the conclusion of running the processQuit method

Parameters:
args - The parameter to the method

post_processNoop

public void post_processNoop(java.lang.String args)
These conditions must be true at the conclusion of running the processNoop method

Parameters:
args - The parameter to the method

jSyncManager Simple Java Server

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