|
jSyncManager Simple Java Server | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object net.sourceforge.c4j.ContractBase<RemoteServerMessage> org.jSyncManager.SJS.Adapters.SMTPServer.contracts.RemoteServerMessageContract
public class RemoteServerMessageContract
This class specifies the contracts for relevant methods of the RemoteServerMessage class.
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 |
---|
public RemoteServerMessageContract(RemoteServerMessage target)
Method Detail |
---|
public void classInvariant()
public void pre_closeConnection(java.io.BufferedReader input, java.io.DataOutputStream output)
input
- output
- public void pre_sendLineData(java.lang.String line, java.io.DataOutputStream output)
line
- output
- public void pre_sendLine(java.lang.String line, java.io.BufferedReader input, java.io.DataOutputStream output)
line
- input
- output
- public void pre_addRcpt(Address rcpt)
rcpt
- public void pre_addDomain(Domain domain)
domain
- public void pre_setPort(int port)
port
- public void post_send()
public void post_closeConnection(java.io.BufferedReader input, java.io.DataOutputStream output)
input
- output
- public void post_sendLineData(java.lang.String line, java.io.DataOutputStream output)
line
- output
- public void post_sendLine(java.lang.String line, java.io.BufferedReader input, java.io.DataOutputStream output)
line
- input
- output
- public void post_buildReceivedMessage()
public void post_addRcpt(Address rcpt)
rcpt
- public void post_addDomain(Domain domain)
domain
- public void post_getRcpts()
public void post_getDomains()
public void post_getServer()
public void post_getPort()
public void post_setPort(int port)
port
-
|
jSyncManager Simple Java Server | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |