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

Field Summary
static int CHRONO_NONE
           
static java.lang.String CONTEXT_NONE
           
static int DEPTH_NONE
           
static java.lang.String FILE_NONE
           
static int LINE_NONE
           
static long TIME_NONE
           
 
Fields inherited from interface fr.inria.oadymppac.parsing.gentra4cp.dtd.DTDEventAttributes
CHRONO, CONTEXT, DEPTH, FILE, LINE, TIME
 
Method Summary
 int getChrono()
           
 java.lang.String getContext()
           
 int getDepth()
           
 java.lang.String getFile()
           
 int getLine()
           
 long getTime()
           
 void setChrono(int chrono)
           
 void setContext(java.lang.String context)
           
 void setDepth(int depth)
           
 void setFile(java.lang.String file)
           
 void setLine(int line)
           
 void setTime(long time)
           
 

Field Detail

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
Method Detail

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.