org.jSyncManager.SJS.Adapters.SMTPServer.Config.contracts
Class PlayerHandlerContract

java.lang.Object
  net.sourceforge.c4j.ContractBase<ConfigDAOXML.PlayerHandler>
      org.jSyncManager.SJS.Adapters.SMTPServer.Config.contracts.PlayerHandlerContract

public class PlayerHandlerContract
extends net.sourceforge.c4j.ContractBase<ConfigDAOXML.PlayerHandler>

Description of the type...

Version:

1.0

Author:

Matt Campbell

Field Summary

Fields inherited from class net.sourceforge.c4j.ContractBase

m_target

Constructor Summary

PlayerHandlerContract(ConfigDAOXML.PlayerHandler t)
Constructor as C4J demands

Method Summary

void	classInvariant() Class invariant.
void	post_getConfiguration() These conditons must hold after the getConfiguration method
void	post_getText() These conditions must hold after the getText Method is run
void	pre_endElement(java.lang.String uri, java.lang.String localName, java.lang.String qname) These conditions must hold before the startElement method is run.
void	pre_startElement(java.lang.String namespaceURI, java.lang.String lname, java.lang.String qname, org.xml.sax.Attributes attrs) These conditions must hold before the startElement method is run.

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

PlayerHandlerContract

public PlayerHandlerContract(ConfigDAOXML.PlayerHandler t)

Constructor as C4J demands

Parameters:

t - parameter value

Method Detail

classInvariant

public void classInvariant()

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

pre_startElement

public void pre_startElement(java.lang.String namespaceURI,
                             java.lang.String lname,
                             java.lang.String qname,
                             org.xml.sax.Attributes attrs)

These conditions must hold before the startElement method is run.

Parameters:

namespaceURI - parameter value

lname - parameter value

qname - parameter value

attrs - parameter value

See Also:

ConfigDAOXML.PlayerHandler.startElement(String, String, String, Attributes)

pre_endElement

public void pre_endElement(java.lang.String uri,
                           java.lang.String localName,
                           java.lang.String qname)

These conditions must hold before the startElement method is run.

Parameters:

uri - parameter value

localName - parameter value

qname - parameter value

See Also:

ConfigDAOXML.PlayerHandler.endElement(String, String, String)

post_getText

public void post_getText()

These conditions must hold after the getText Method is run

See Also:

ConfigDAOXML.PlayerHandler.getText()

post_getConfiguration

public void post_getConfiguration()

These conditons must hold after the getConfiguration method

See Also:

ConfigDAOXML.PlayerHandler.getConfiguration()