org.processmining.logalignment.models

Interface ReplayResultArray

All Known Implementing Classes:

ReplayResultArrayImpl

public interface ReplayResultArray

Method Summary

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.

Method Detail

init

void init()

Initializes the array.

addReplay

int addReplay(org.processmining.plugins.petrinet.replayresult.PNRepResult replay)

Adds the given replay to the array.

Parameters:

replay - The given replay.

Returns:

The index of the added replay.

removeReplay

int removeReplay(org.processmining.plugins.petrinet.replayresult.PNRepResult replay)

Removes the first occurrence of the given replay from the array.

Parameters:

replay - The given replay.

Returns:

The index of the removed replay, if present. -1 if not present.

addReplay

void addReplay(int index,
               org.processmining.plugins.petrinet.replayresult.PNRepResult replay)

Adds the given replay at the given index in the array.

Parameters:

index - The given index.

replay - The given replay.

removeReplay

void removeReplay(int index)

Removes the replay from the given index from the array, if valid.

Parameters:

index - The given index.

getReplay

org.processmining.plugins.petrinet.replayresult.PNRepResult getReplay(int index)

Returns the replay at the given index

Parameters:

index - The given index.

Returns:

The replay at the given index, if valid. null if not valid.

getSize

int getSize()

importFromStream

void importFromStream(org.processmining.framework.plugin.PluginContext context,
                      java.io.InputStream input,
                      java.lang.String parent)
               throws java.lang.Exception

Throws:

java.lang.Exception

exportToFile

void exportToFile(org.processmining.framework.plugin.PluginContext context,
                  java.io.File file)
           throws java.io.IOException

Throws:

java.io.IOException