org.jbpt.petri.log

Class Trace

java.lang.Object

org.jbpt.petri.log.Trace

All Implemented Interfaces:

IEntityModel<TraceEntry>

public class Trace
extends Object
implements IEntityModel<TraceEntry>

Simple data structure to represent a single trace of a Petri net.

Author:

matthias.weidlich

Field Summary

Fields

Modifier and Type	Field and Description
protected String	id The id of the trace.
protected Set<String>	labels A set of all labels in the trace.
protected List<TraceEntry>	trace The trace as a list of trace entries.

Constructor Summary

Constructors

Constructor and Description
Trace(List<TraceEntry> trace) Create the trace structure.
Trace(String[] trace)

Method Summary

Methods

Modifier and Type	Method and Description
Collection<TraceEntry>	getEntities()
String	getId()
Set<String>	getLabelsOfTrace() Returns the set of labels that are observed in the trace
int	getLength() Returns the length of the trace
List<TraceEntry>	getTraceAsList() Returns the trace as a list of strings
void	setId(String id)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

id

protected String id

The id of the trace.

trace

protected List<TraceEntry> trace

The trace as a list of trace entries.

labels

protected Set<String> labels

A set of all labels in the trace.

Constructor Detail

Trace

public Trace(List<TraceEntry> trace)

Create the trace structure.

Parameters:

trace, - a list of strings to represent the trace

Trace

public Trace(String[] trace)

Method Detail

getTraceAsList

public List<TraceEntry> getTraceAsList()

Returns the trace as a list of strings

Returns:

the trace as a list of strings

getEntities

public Collection<TraceEntry> getEntities()

Specified by:

getEntities in interface IEntityModel<TraceEntry>

getLabelsOfTrace

public Set<String> getLabelsOfTrace()

Returns the set of labels that are observed in the trace

Returns:

the set of trace labels

getLength

public int getLength()

Returns the length of the trace

Returns:

the length of the trace

getId

public String getId()

setId

public void setId(String id)