fr.inria.oadymppac.parsing.gentra4cp.event.header
Class DefaultSolverEvent

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

public class DefaultSolverEvent
extends AbstractEvent
implements SolverEvent

Author:
raf

Field Summary
 
Fields inherited from interface fr.inria.oadymppac.parsing.gentra4cp.event.header.attributes.SolverAttributes
SOLVER_NONE
 
Constructor Summary
DefaultSolverEvent()
           
 
Method Summary
 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.AbstractEvent
getValue, init
 
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
getValue, init
 

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 AbstractEvent

reset

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