public interface ReplayResultArray
Modifier and Type | Method and Description |
---|---|
void |
addReplay(int index,
org.processmining.plugins.petrinet.replayresult.PNRepResult replay)
Adds the given replay at the given index in the array.
|
int |
addReplay(org.processmining.plugins.petrinet.replayresult.PNRepResult replay)
Adds the given replay to the array.
|
void |
exportToFile(org.processmining.framework.plugin.PluginContext context,
java.io.File file) |
org.processmining.plugins.petrinet.replayresult.PNRepResult |
getReplay(int index)
Returns the replay at the given index
|
int |
getSize() |
void |
importFromStream(org.processmining.framework.plugin.PluginContext context,
java.io.InputStream input,
java.lang.String parent) |
void |
init()
Initializes the array.
|
void |
removeReplay(int index)
Removes the replay from the given index from the array, if valid.
|
int |
removeReplay(org.processmining.plugins.petrinet.replayresult.PNRepResult replay)
Removes the first occurrence of the given replay from the array.
|
void init()
int addReplay(org.processmining.plugins.petrinet.replayresult.PNRepResult replay)
replay
- The given replay.int removeReplay(org.processmining.plugins.petrinet.replayresult.PNRepResult replay)
replay
- The given replay.void addReplay(int index, org.processmining.plugins.petrinet.replayresult.PNRepResult replay)
index
- The given index.replay
- The given replay.void removeReplay(int index)
index
- The given index.org.processmining.plugins.petrinet.replayresult.PNRepResult getReplay(int index)
index
- The given index.int getSize()
void importFromStream(org.processmining.framework.plugin.PluginContext context, java.io.InputStream input, java.lang.String parent) throws java.lang.Exception
java.lang.Exception
void exportToFile(org.processmining.framework.plugin.PluginContext context, java.io.File file) throws java.io.IOException
java.io.IOException