jSyncManager Simple Java Server

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

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

public class RemoteServerMessageContract
extends net.sourceforge.c4j.ContractBase<RemoteServerMessage>

This class specifies the contracts for relevant methods of the RemoteServerMessage class.

Version:
$Revision$
Author:
kclarke

Constructor Summary
RemoteServerMessageContract(RemoteServerMessage target)
          Creates the RemoteServerMessageContract class.
 
Method Summary
 void classInvariant()
          Invariants...
 void post_addDomain(Domain domain)
          This contract ensures that the domain to be added is not null.
 void post_addRcpt(Address rcpt)
          This contract ensures that the recipient to be added is not null.
 void post_buildReceivedMessage()
           
 void post_closeConnection(java.io.BufferedReader input, java.io.DataOutputStream output)
          This contract ensures that the input and output streams referred to by this method are not null.
 void post_getDomains()
          This contract ensures that the value returned is not null.
 void post_getPort()
          This contract ensures that the value returned is not null.
 void post_getRcpts()
          This contract ensures that the value returned is not null.
 void post_getServer()
          This contract ensures that the value returned is not null.
 void post_send()
           
 void post_sendLine(java.lang.String line, java.io.BufferedReader input, java.io.DataOutputStream output)
          This contract ensures that line, input, and output parameters are not null.
 void post_sendLineData(java.lang.String line, java.io.DataOutputStream output)
          This contract ensures that the line and output parameters are not null.
 void post_setPort(int port)
          This contract ensures that the supplied port number is assigned to the port instance variable.
 void pre_addDomain(Domain domain)
          This contract ensures that the domain to be added is not null.
 void pre_addRcpt(Address rcpt)
          This contract ensures that the recipient to be added is not null.
 void pre_closeConnection(java.io.BufferedReader input, java.io.DataOutputStream output)
          This contract ensures that the input and output streams referred to by this method are not null.
 void pre_sendLine(java.lang.String line, java.io.BufferedReader input, java.io.DataOutputStream output)
          This contract ensures that line, input, and output parameters are not null.
 void pre_sendLineData(java.lang.String line, java.io.DataOutputStream output)
          This contract ensures that the line and output parameters are not null.
 void pre_setPort(int port)
          This contract ensures that the supplied number to be assigned to port is within the range of acceptable values according to the Internet Assigned Numbers Authority (IANA).
 
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

RemoteServerMessageContract

public RemoteServerMessageContract(RemoteServerMessage target)
Creates the RemoteServerMessageContract class.

Method Detail

classInvariant

public void classInvariant()
Invariants...


pre_closeConnection

public void pre_closeConnection(java.io.BufferedReader input,
                                java.io.DataOutputStream output)
This contract ensures that the input and output streams referred to by this method are not null. Cannot close the connection on one or more null streams.

Parameters:
input -
output -

pre_sendLineData

public void pre_sendLineData(java.lang.String line,
                             java.io.DataOutputStream output)
This contract ensures that the line and output parameters are not null. As a result the method will not send data based on a null line and it will not send data if the output stream is null.

Parameters:
line -
output -

pre_sendLine

public void pre_sendLine(java.lang.String line,
                         java.io.BufferedReader input,
                         java.io.DataOutputStream output)
This contract ensures that line, input, and output parameters are not null. As a result the method will not send null strings, or will not send a string if the input or output streams are null.

Parameters:
line -
input -
output -

pre_addRcpt

public void pre_addRcpt(Address rcpt)
This contract ensures that the recipient to be added is not null.

Parameters:
rcpt -

pre_addDomain

public void pre_addDomain(Domain domain)
This contract ensures that the domain to be added is not null.

Parameters:
domain -

pre_setPort

public void pre_setPort(int port)
This contract ensures that the supplied number to be assigned to port is within the range of acceptable values according to the Internet Assigned Numbers Authority (IANA).

Parameters:
port -

post_send

public void post_send()

post_closeConnection

public void post_closeConnection(java.io.BufferedReader input,
                                 java.io.DataOutputStream output)
This contract ensures that the input and output streams referred to by this method are not null. Cannot close the connection on one or more null streams.

Parameters:
input -
output -

post_sendLineData

public void post_sendLineData(java.lang.String line,
                              java.io.DataOutputStream output)
This contract ensures that the line and output parameters are not null. As a result the method will not send data based on a null line and it will not send data if the output stream is null.

Parameters:
line -
output -

post_sendLine

public void post_sendLine(java.lang.String line,
                          java.io.BufferedReader input,
                          java.io.DataOutputStream output)
This contract ensures that line, input, and output parameters are not null. As a result the method will not send null strings, or will not send a string if the input or output streams are null.

Parameters:
line -
input -
output -

post_buildReceivedMessage

public void post_buildReceivedMessage()

post_addRcpt

public void post_addRcpt(Address rcpt)
This contract ensures that the recipient to be added is not null.

Parameters:
rcpt -

post_addDomain

public void post_addDomain(Domain domain)
This contract ensures that the domain to be added is not null.

Parameters:
domain -

post_getRcpts

public void post_getRcpts()
This contract ensures that the value returned is not null.


post_getDomains

public void post_getDomains()
This contract ensures that the value returned is not null.


post_getServer

public void post_getServer()
This contract ensures that the value returned is not null.


post_getPort

public void post_getPort()
This contract ensures that the value returned is not null.


post_setPort

public void post_setPort(int port)
This contract ensures that the supplied port number is assigned to the port instance variable.

Parameters:
port -

jSyncManager Simple Java Server

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