|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.xml.sax.helpers.DefaultHandler
fr.inria.oadymppac.parsing.ContentHandlerImpl
fr.inria.oadymppac.parsing.DefaultContentHandler
fr.inria.oadymppac.parsing.gentra4cp.TopLevelContentHandler
fr.inria.oadymppac.parsing.gentra4cp.TraceContentHandler
Field Summary |
Fields inherited from class fr.inria.oadymppac.parsing.DefaultContentHandler |
contextOffset |
Fields inherited from class fr.inria.oadymppac.parsing.ContentHandlerImpl |
delegateElement, delegateHandler, delegateMap, elementMap, hierarchy, listenerManager |
Fields inherited from interface fr.inria.oadymppac.parsing.ContentHandler |
logger |
Fields inherited from interface fr.inria.oadymppac.parsing.event.EventListenerManager |
logger, NULL_ARRAY |
Constructor Summary | |
TraceContentHandler()
|
Method Summary | |
void |
addComplementListener(EventListener listener)
|
void |
addControlListener(EventListener listener)
|
void |
addHeadListener(HeadEventListener headListener)
|
void |
addProvidableListener(ProvideEventListener providableListener)
|
void |
addProvidedListener(ProvideEventListener providedListener)
|
ProvideInfo |
getHeadProvideInfo()
|
void |
setDefaultConfiguration(EventListener solverListener)
|
Methods inherited from class fr.inria.oadymppac.parsing.DefaultContentHandler |
addContextOffset, addElement, buildElementHandler, buildListenerManager, getContextOffset |
Methods inherited from class fr.inria.oadymppac.parsing.ContentHandlerImpl |
addDelegateHandler, addDelegateHandler, addDelegateHandler, addElement, addElement, addListener, addListener, addListener, buildHierarchyHandler, characters, endElement, fireEvent, getElementMap, getHierarchyHandler, getListenerCount, getListenerCount, getListenerCount, getListeners, getListeners, getListeners, inside, into, isDelegating, removeListener, removeListener, removeListener, setElementMap, setHierarchyHandler, startElement |
Methods inherited from class org.xml.sax.helpers.DefaultHandler |
endDocument, endPrefixMapping, error, fatalError, ignorableWhitespace, notationDecl, processingInstruction, resolveEntity, setDocumentLocator, skippedEntity, startDocument, startPrefixMapping, unparsedEntityDecl, warning |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.xml.sax.ContentHandler |
endDocument, endPrefixMapping, ignorableWhitespace, processingInstruction, setDocumentLocator, skippedEntity, startDocument, startPrefixMapping |
Constructor Detail |
public TraceContentHandler()
Method Detail |
public void setDefaultConfiguration(EventListener solverListener)
setDefaultConfiguration
in class TopLevelContentHandler
public void addHeadListener(HeadEventListener headListener)
public ProvideInfo getHeadProvideInfo()
public void addProvidableListener(ProvideEventListener providableListener)
providableListener
- public void addProvidedListener(ProvideEventListener providedListener)
providedListener
- public void addControlListener(EventListener listener)
public void addComplementListener(EventListener listener)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |