|
jSyncManager Simple Java Server | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectnet.sourceforge.c4j.ContractBase<ConfigDAOXML.PlayerHandler>
org.jSyncManager.SJS.Adapters.SMTPServer.Config.contracts.PlayerHandlerContract
public class PlayerHandlerContract
Description of the type...
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 |
---|
public PlayerHandlerContract(ConfigDAOXML.PlayerHandler t)
t
- parameter valueMethod Detail |
---|
public void classInvariant()
public void pre_startElement(java.lang.String namespaceURI, java.lang.String lname, java.lang.String qname, org.xml.sax.Attributes attrs)
namespaceURI
- parameter valuelname
- parameter valueqname
- parameter valueattrs
- parameter valueConfigDAOXML.PlayerHandler.startElement(String, String, String, Attributes)
public void pre_endElement(java.lang.String uri, java.lang.String localName, java.lang.String qname)
uri
- parameter valuelocalName
- parameter valueqname
- parameter valueConfigDAOXML.PlayerHandler.endElement(String, String, String)
public void post_getText()
ConfigDAOXML.PlayerHandler.getText()
public void post_getConfiguration()
ConfigDAOXML.PlayerHandler.getConfiguration()
|
jSyncManager Simple Java Server | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |