fr.inria.oadymppac.parsing.gentra4cp.handlers
Class TraceContentHandler
java.lang.Object
org.xml.sax.helpers.DefaultHandler
fr.inria.oadymppac.parsing.ContentHandlerImpl
fr.inria.oadymppac.parsing.gentra4cp.handlers.BasicContentHandler
fr.inria.oadymppac.parsing.gentra4cp.handlers.TopLevelContentHandler
fr.inria.oadymppac.parsing.gentra4cp.handlers.TraceContentHandler
- All Implemented Interfaces:
- ContentHandler, org.xml.sax.ContentHandler, org.xml.sax.DTDHandler, ElementDelegationHandler, ElementHandler, ElementHierarchyHandling, org.xml.sax.EntityResolver, org.xml.sax.ErrorHandler, EventListenerManager, ListenerHandler, TopLevelEventConfig
- public class TraceContentHandler
- extends TopLevelContentHandler
- Author:
- raf
To change the template for this generated type comment go to
Window - Preferences - Java - Code Generation - Code and Comments
Fields inherited from interface fr.inria.oadymppac.parsing.gentra4cp.handlers.TopLevelEventConfig |
CFG_BACKTO_DELTA, CFG_BACKTO_STATE, CFG_CHOICE_POINT_CHOICE_CONSTRAINT, CFG_CHOICE_POINT_STATE, CFG_CONSTRAINT_UPDATE, CFG_FAILURE_CONSTRAINT, CFG_FAILURE_STATE, CFG_NEWCONSTRAINT_STATE, CFG_NEWCONSTRAINT_UPDATE_INVALID, CFG_NEWVARIABLE_STATE, CFG_NEWVARIABLE_VARDOMAIN, CFG_REDUCE_DELTA, CFG_REDUCE_EXPLANATION, CFG_REDUCE_UPDATE, CFG_REDUCE_VARDOMAIN, CFG_REJECT_STATE, CFG_RESTORE_DELTA, CFG_RESTORE_STATE, CFG_SOLUTION_CONSTRAINT, CFG_SOLUTION_STATE, CFG_STATE_CONSTRAINT, CFG_STATE_UPDATE, CFG_STATE_VARIABLE, CFG_VARIABLE_VARDOMAIN |
Methods inherited from class fr.inria.oadymppac.parsing.gentra4cp.handlers.TopLevelContentHandler |
addAnnotationListener, addAwakeListener, addBackToListener, addChoicePointListener, addEndStageListener, addFailureListener, addNewConstraintListener, addNewStageListener, addNewVariableListener, addPostListener, addReduceListener, addReduceListener, addRejectListener, addRemoveListener, addRestoreListener, addResumeStageListener, addScheduleListener, addSolutionListener, addSolvedListener, addStartStageListener, addStateListener, addSuspendListener, addSuspendStageListener |
Methods inherited from class fr.inria.oadymppac.parsing.ContentHandlerImpl |
addDelegateHandler, addDelegateHandler, addDelegateHandler, addElement, addElement, addListener, addListener, addListener, buildHierarchyHandler, characters, endDocument, endElement, fireEvent, getElementMap, getHierarchyHandler, getListenerCount, getListenerCount, getListenerCount, getListenerList, getListeners, getListeners, getListeners, inside, into, isDelegating, processingInstruction, removeListener, removeListener, removeListener, setElementMap, setHierarchyHandler, startDocument, startElement |
Methods inherited from class org.xml.sax.helpers.DefaultHandler |
endPrefixMapping, error, fatalError, ignorableWhitespace, notationDecl, resolveEntity, setDocumentLocator, skippedEntity, startPrefixMapping, unparsedEntityDecl, warning |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.xml.sax.ContentHandler |
endPrefixMapping, ignorableWhitespace, setDocumentLocator, skippedEntity, startPrefixMapping |
TraceContentHandler
public TraceContentHandler()
addDefaultListener
public void addDefaultListener(EventListener solverListener)
- Specified by:
addDefaultListener
in interface ListenerHandler
- Overrides:
addDefaultListener
in class TopLevelContentHandler
addHeadListener
public void addHeadListener(HeadEventListener headListener)
getHeadProvideInfo
public ProvideInfo getHeadProvideInfo()
addProvidableListener
public void addProvidableListener(ProvideEventListener providableListener)
- Parameters:
providableListener
-
addProvidedListener
public void addProvidedListener(ProvideEventListener providedListener)
- Parameters:
providedListener
-
addControlListener
public void addControlListener(EventListener listener)
addComplementListener
public void addComplementListener(EventListener listener)
getComplementHandler
public ComplementContentHandler getComplementHandler()
- Returns:
- Returns the complementHandler.
setComplementHandler
public void setComplementHandler(ComplementContentHandler complementHandler)
- Parameters:
complementHandler
- The complementHandler to set.
getControlHandler
public ControlContentHandler getControlHandler()
- Returns:
- Returns the controlHandler.
setControlHandler
public void setControlHandler(ControlContentHandler controlHandler)
- Parameters:
controlHandler
- The controlHandler to set.
getHeadHandler
public HeadContentHandler getHeadHandler()
- Returns:
- Returns the headHandler.
setHeadHandler
public void setHeadHandler(HeadContentHandler headHandler)
- Parameters:
headHandler
- The headHandler to set.
getProvideHandler
public ProvideContentHandler getProvideHandler()
- Returns:
- Returns the provideHandler.
setProvideHandler
public void setProvideHandler(ProvideContentHandler provideHandler)
- Parameters:
provideHandler
- The provideHandler to set.