fr.inria.oadymppac.parsing.gentra4cp.event.attributes
Interface EventAttributes
- All Superinterfaces:
- DTDEventAttributes
- All Known Subinterfaces:
- AnnotationEvent, AwakeEvent, BackToEvent, ChoicePointEvent, EndStageEvent, FailureEvent, NewConstraintEvent, NewStageEvent, NewVariableEvent, PostEvent, ReduceEvent, RejectEvent, RemoveEvent, RestoreEvent, ResumeStageEvent, ScheduleEvent, SolutionEvent, SolvedEvent, StartStageEvent, StateEvent, SuspendEvent, SuspendStageEvent
- All Known Implementing Classes:
- BasicAnnotationEvent, BasicAwakeEvent, BasicBackToEvent, BasicChoicePointEvent, BasicEndStageEvent, BasicEvent, BasicFailureEvent, BasicNewConstraintEvent, BasicNewStageEvent, BasicNewVariableEvent, BasicPostEvent, BasicReduceEvent, BasicRejectEvent, BasicRemoveEvent, BasicRestoreEvent, BasicResumeStageEvent, BasicScheduleEvent, BasicSolutionEvent, BasicSolvedEvent, BasicStartStageEvent, BasicStateEvent, BasicSuspendEvent, BasicSuspendStageEvent, DefaultAnnotationEvent, DefaultAwakeEvent, DefaultBackToEvent, DefaultChoicePointEvent, DefaultEndStageEvent, DefaultFailureEvent, DefaultNewConstraintEvent, DefaultNewStageEvent, DefaultNewVariableEvent, DefaultPostEvent, DefaultReduceEvent, DefaultRejectEvent, DefaultRemoveEvent, DefaultRestoreEvent, DefaultResumeStageEvent, DefaultScheduleEvent, DefaultSolutionEvent, DefaultSolvedEvent, DefaultStartStageEvent, DefaultSuspendEvent, DefaultSuspendStageEvent, EventInfo
- public interface EventAttributes
- extends DTDEventAttributes
- Author:
- raf
CHRONO_NONE
public static final int CHRONO_NONE
- See Also:
- Constant Field Values
CONTEXT_NONE
public static final java.lang.String CONTEXT_NONE
- See Also:
- Constant Field Values
DEPTH_NONE
public static final int DEPTH_NONE
- See Also:
- Constant Field Values
FILE_NONE
public static final java.lang.String FILE_NONE
- See Also:
- Constant Field Values
LINE_NONE
public static final int LINE_NONE
- See Also:
- Constant Field Values
TIME_NONE
public static final long TIME_NONE
- See Also:
- Constant Field Values
getChrono
public int getChrono()
- Returns:
- Returns the chrono.
setChrono
public void setChrono(int chrono)
- Parameters:
chrono
- The chrono to set.
getContext
public java.lang.String getContext()
- Returns:
- Returns the context.
setContext
public void setContext(java.lang.String context)
- Parameters:
context
- The context to set.
getDepth
public int getDepth()
- Returns:
- Returns the depth.
setDepth
public void setDepth(int depth)
- Parameters:
depth
- The depth to set.
getFile
public java.lang.String getFile()
- Returns:
- Returns the file.
setFile
public void setFile(java.lang.String file)
- Parameters:
file
- The file to set.
getLine
public int getLine()
- Returns:
- Returns the line.
setLine
public void setLine(int line)
- Parameters:
line
- The line to set.
getTime
public long getTime()
- Returns:
- Returns the time.
setTime
public void setTime(long time)
- Parameters:
time
- The time to set.