fr.inria.oadymppac.parsing.info
Class EventInfo
java.lang.Object
fr.inria.oadymppac.parsing.info.BasicInfo
fr.inria.oadymppac.parsing.info.EventInfo
- All Implemented Interfaces:
- java.lang.Cloneable, DTDEventAttributes, EventAttributes, Info
- Direct Known Subclasses:
- AnnotationInfo, AwakeInfo, BackToInfo, ChoicePointInfo, FailureInfo, NewConstraintInfo, NewStageInfo, NewVariableInfo, PostInfo, ReduceInfo, RejectInfo, RemoveInfo, RestoreInfo, ScheduleInfo, SolutionInfo, SolvedInfo, StageAttributesInfo, StateInfo, SuspendInfo
- public abstract class EventInfo
- extends BasicInfo
- implements EventAttributes, java.lang.Cloneable
- Author:
- raf
Fields inherited from interface fr.inria.oadymppac.parsing.event.Info |
logger |
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.Info |
getInfoType |
EventInfo
public EventInfo()
getChrono
public int getChrono()
- Specified by:
getChrono
in interface EventAttributes
- Returns:
- Returns the chrono.
setChrono
public void setChrono(int chrono)
- Specified by:
setChrono
in interface EventAttributes
- Parameters:
chrono
- The chrono to set.
getContext
public java.lang.String getContext()
- Specified by:
getContext
in interface EventAttributes
- Returns:
- Returns the context.
setContext
public void setContext(java.lang.String context)
- Specified by:
setContext
in interface EventAttributes
- Parameters:
context
- The context to set.
getDepth
public int getDepth()
- Specified by:
getDepth
in interface EventAttributes
- Returns:
- Returns the depth.
setDepth
public void setDepth(int depth)
- Specified by:
setDepth
in interface EventAttributes
- Parameters:
depth
- The depth to set.
getFile
public java.lang.String getFile()
- Specified by:
getFile
in interface EventAttributes
- Returns:
- Returns the file.
setFile
public void setFile(java.lang.String file)
- Specified by:
setFile
in interface EventAttributes
- Parameters:
file
- The file to set.
getLine
public int getLine()
- Specified by:
getLine
in interface EventAttributes
- Returns:
- Returns the line.
setLine
public void setLine(int line)
- Specified by:
setLine
in interface EventAttributes
- Parameters:
line
- The line to set.
getTime
public long getTime()
- Specified by:
getTime
in interface EventAttributes
- Returns:
- Returns the time.
setTime
public void setTime(long time)
- Specified by:
setTime
in interface EventAttributes
- Parameters:
time
- The time to set.