jSyncManager Simple Java Server

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

java.lang.Object
  extended by net.sourceforge.c4j.ContractBase<ConfigDAOXML.PlayerHandler>
      extended by 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()

jSyncManager Simple Java Server

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