public class TimeStateAnnotation extends StateAnnotation
owner
Constructor and Description |
---|
TimeStateAnnotation(State state) |
Modifier and Type | Method and Description |
---|---|
StatisticsAnnotationProperty |
getElapsed() |
static java.lang.Iterable<java.lang.String> |
getNamesOfProperties() |
StatisticsAnnotationProperty |
getRemaining() |
StatisticsAnnotationProperty |
getSoujourn() |
getState
addProperty, getProperties, getProperty
public TimeStateAnnotation(State state)
public StatisticsAnnotationProperty getSoujourn()
public StatisticsAnnotationProperty getElapsed()
public StatisticsAnnotationProperty getRemaining()
public static java.lang.Iterable<java.lang.String> getNamesOfProperties()