fr.inria.oadymppac.parsing.gentra4cp.handlers
Class FasterTraceContentHandler

java.lang.Object
  extended byorg.xml.sax.helpers.DefaultHandler
      extended byfr.inria.oadymppac.parsing.ContentHandlerImpl
          extended byfr.inria.oadymppac.parsing.gentra4cp.handlers.FasterContentHandler
              extended byfr.inria.oadymppac.parsing.gentra4cp.handlers.FasterTopLevelContentHandler
                  extended byfr.inria.oadymppac.parsing.gentra4cp.handlers.FasterTraceContentHandler
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 FasterTraceContentHandler
extends FasterTopLevelContentHandler

Author:
raf To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Field Summary
 
Fields inherited from class fr.inria.oadymppac.parsing.ContentHandlerImpl
fired, initiated, reset
 
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
 
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
FasterTraceContentHandler()
           
 
Method Summary
 void addComplementListener(EventListener listener)
           
 void addControlListener(EventListener listener)
           
 void addDefaultListener(EventListener solverListener)
           
 void addHeadListener(HeadEventListener headListener)
           
 void addProvidableListener(ProvideEventListener providableListener)
           
 void addProvidedListener(ProvideEventListener providedListener)
           
 ComplementContentHandler getComplementHandler()
           
 ControlContentHandler getControlHandler()
           
 HeadContentHandler getHeadHandler()
           
 ProvideInfo getHeadProvideInfo()
           
 ProvideContentHandler getProvideHandler()
           
 void setComplementHandler(ComplementContentHandler complementHandler)
           
 void setControlHandler(ControlContentHandler controlHandler)
           
 void setHeadHandler(HeadContentHandler headHandler)
           
 void setProvideHandler(ProvideContentHandler provideHandler)
           
 
Methods inherited from class fr.inria.oadymppac.parsing.gentra4cp.handlers.FasterTopLevelContentHandler
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.gentra4cp.handlers.FasterContentHandler
addContextOffset, addElement, buildElementHandler, buildListenerManager, endDocument, getContextOffset, startDocument
 
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, getListenerList, getListeners, getListeners, getListeners, inside, into, isDelegating, processingInstruction, removeListener, removeListener, removeListener, setElementMap, setHierarchyHandler, 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
 

Constructor Detail

FasterTraceContentHandler

public FasterTraceContentHandler()
Method Detail

addDefaultListener

public void addDefaultListener(EventListener solverListener)
Specified by:
addDefaultListener in interface ListenerHandler
Overrides:
addDefaultListener in class FasterTopLevelContentHandler

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.