@Deprecated
public interface ReplayResultArray
Modifier and Type | Method and Description |
---|---|
void |
addReplay(int index,
org.processmining.plugins.petrinet.replayresult.PNRepResult replay)
Deprecated.
Adds the given replay at the given index in the array.
|
int |
addReplay(org.processmining.plugins.petrinet.replayresult.PNRepResult replay)
Deprecated.
Adds the given replay to the array.
|
void |
exportToFile(org.processmining.framework.plugin.PluginContext context,
java.io.File file)
Deprecated.
|
org.processmining.plugins.petrinet.replayresult.PNRepResult |
getReplay(int index)
Deprecated.
Returns the replay at the given index
|
int |
getSize()
Deprecated.
|
void |
importFromStream(org.processmining.framework.plugin.PluginContext context,
java.io.InputStream input,
java.lang.String parent)
Deprecated.
|
void |
init()
Deprecated.
Initializes the array.
|
void |
removeReplay(int index)
Deprecated.
Removes the replay from the given index from the array, if valid.
|
int |
removeReplay(org.processmining.plugins.petrinet.replayresult.PNRepResult replay)
Deprecated.
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