fr.inria.oadymppac.parsing.gentra4cp
Class TraceContentHandler

java.lang.Object
  extended byorg.xml.sax.helpers.DefaultHandler
      extended byfr.inria.oadymppac.parsing.ContentHandlerImpl
          extended byfr.inria.oadymppac.parsing.DefaultContentHandler
              extended byfr.inria.oadymppac.parsing.gentra4cp.TopLevelContentHandler
                  extended byfr.inria.oadymppac.parsing.gentra4cp.TraceContentHandler
All Implemented Interfaces:
org.xml.sax.ContentHandler, ContentHandler, org.xml.sax.DTDHandler, ElementDelegationHandler, ElementHandler, ElementHierarchyHandling, org.xml.sax.EntityResolver, org.xml.sax.ErrorHandler, EventListenerManager, 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

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.gentra4cp.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, CFG_NEWCONSTRAINT_UPDATE_INVALID, CFG_NEWVARIABLE_STATE, CFG_NEWVARIABLE_VARDOMAIN, CFG_REDUCE_DELTA, 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
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.gentra4cp.TopLevelContentHandler
addAnnotationListener, addAwakeListener, addBackToListener, addChoiceConstraintListener, addChoicePointListener, addConstraintListener, addDeltaListener, addFailureListener, addNewConstraintListener, addNewConstraintListener, addNewVariableListener, addPostListener, addReduceListener, addRejectListener, addRemoveListener, addRestoreListener, addScheduleListener, addSolutionListener, addSolvedListener, addStateListener, addStateListener, addSuspendListener, addUpdateListener, addValueListListener, addVarDomainListener, addVariableListener
 
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

TraceContentHandler

public TraceContentHandler()
Method Detail

setDefaultConfiguration

public void setDefaultConfiguration(EventListener solverListener)
Overrides:
setDefaultConfiguration 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)