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

java.lang.Object
  net.sourceforge.c4j.ContractBase<TestSMTPServer>
      org.jSyncManager.SJS.Adapters.SMTPServer.contracts.TestSMTPServerContract

public class TestSMTPServerContract
extends net.sourceforge.c4j.ContractBase<TestSMTPServer>

Contract for TestSMTPServer class This class will inherit all the the contracts from AbstractSMTPServer and add the below.

Version:

v1.0

Author:

Wenfeng Su

See Also:

AbstractSMTPServerContract

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

TestSMTPServerContract(TestSMTPServer testserver)
Constructor for TestSMTPServer class

Method Summary

void	classInvariant() Class invariants for TestSMTPServer 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

TestSMTPServerContract

public TestSMTPServerContract(TestSMTPServer testserver)

Constructor for TestSMTPServer class

Parameters:

testserver - the server object

Method Detail

classInvariant

public void classInvariant()

Class invariants for TestSMTPServer class