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

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

public class DNSUtilContract
extends net.sourceforge.c4j.ContractBase<DNSUtil>

Contract for DNSUtile

Version:

1.0

Author:

Matt Campbell

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

DNSUtilContract(DNSUtil t)
Constructor as required for C4J

Method Summary

void	classInvariant() Class invariant.
void	post_doLookup(java.lang.String hostName) Must h old true after running doLookup method
void	post_MXLookup(java.lang.String domain) Must h old true after running MXlookup method
void	pre_doLookup(java.lang.String hostName) Must h old true before running doLookup method
void	pre_MXLookup(java.lang.String domain) Must h old true before running MXlookup 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

DNSUtilContract

public DNSUtilContract(DNSUtil t)

Constructor as required for C4J

Parameters:

t - parameter value

Method Detail

classInvariant

public void classInvariant()

Class invariant. This must hold true both before and after each method call

pre_MXLookup

public void pre_MXLookup(java.lang.String domain)

Must h old true before running MXlookup method

Parameters:

domain - parameter value

post_MXLookup

public void post_MXLookup(java.lang.String domain)

Must h old true after running MXlookup method

Parameters:

domain - parameter value

pre_doLookup

public void pre_doLookup(java.lang.String hostName)

Must h old true before running doLookup method

Parameters:

hostName - parameter value

post_doLookup

public void post_doLookup(java.lang.String hostName)

Must h old true after running doLookup method

Parameters:

hostName - parameter value