fr.inria.oadymppac.parsing.gentra4cp
Class DefaultSolverEvent

java.lang.Object
  extended byfr.inria.oadymppac.parsing.event.EventImpl
      extended byfr.inria.oadymppac.parsing.gentra4cp.DefaultSolverEvent
All Implemented Interfaces:
java.lang.Cloneable, Event, SolverAttributes, SolverEvent

public class DefaultSolverEvent
extends EventImpl
implements SolverEvent

Author:
raf

Field Summary
 
Fields inherited from interface fr.inria.oadymppac.parsing.gentra4cp.event.header.SolverEvent
EVENT_TYPE
 
Fields inherited from interface fr.inria.oadymppac.parsing.gentra4cp.event.header.attributes.SolverAttributes
SOLVER_NONE
 
Fields inherited from interface fr.inria.oadymppac.parsing.event.Event
logger
 
Constructor Summary
DefaultSolverEvent()
           
 
Method Summary
 int getEventType()
           
 Info getInfo()
           
 java.lang.String getSolver()
           
 void init(ContentHandler handler, char[] ch, int start, int length)
           
 void reset()
           
 void setSolver(java.lang.String solver)
           
 
Methods inherited from class fr.inria.oadymppac.parsing.event.EventImpl
getAllAttributes, getAnyValue, getSource, init, setAllAttributes, setSource, terminate
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface fr.inria.oadymppac.parsing.event.Event
getAnyValue, getSource, init, setSource, terminate
 

Constructor Detail

DefaultSolverEvent

public DefaultSolverEvent()
Method Detail

getSolver

public java.lang.String getSolver()
Specified by:
getSolver in interface SolverEvent
Returns:
Returns the solver.

setSolver

public void setSolver(java.lang.String solver)
Specified by:
setSolver in interface SolverEvent
Parameters:
solver - The solver to set.

init

public void init(ContentHandler handler,
                 char[] ch,
                 int start,
                 int length)
Specified by:
init in interface Event
Overrides:
init in class EventImpl

reset

public void reset()
Specified by:
reset in interface Event
Overrides:
reset in class EventImpl

getInfo

public Info getInfo()
             throws java.lang.CloneNotSupportedException
Specified by:
getInfo in interface Event
Throws:
java.lang.CloneNotSupportedException

getEventType

public int getEventType()
Specified by:
getEventType in interface Event