org.processmining.multilayeralignment.algorithms

Enum ReplayAlgorithm.Debug

java.lang.Object

java.lang.Enum<ReplayAlgorithm.Debug>

org.processmining.multilayeralignment.algorithms.ReplayAlgorithm.Debug

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<ReplayAlgorithm.Debug>

Enclosing interface:

ReplayAlgorithm

public static enum ReplayAlgorithm.Debug
extends java.lang.Enum<ReplayAlgorithm.Debug>

Debug levels for the replayer. Replay level NONE does not produce any output. Replay level NORMAL provides some output to the selected stream (normally System.out). Replay level STATS writes statistics in a standard format to the stream. This should be used with a filewriter stream to collect statistics in experiments. DOT writes a dot compatible output tot the stream. This can be used to obtain the search graphs and should be used for small graphs only.

Author:

bfvdonge

Enum Constant Summary

Enum Constants

Enum Constant and Description
DOT
NONE
NORMAL
STATS

Method Summary

Modifier and Type	Method and Description
static java.io.PrintStream	getOutputStream() Returns the output stream currently set.
void	print(ReplayAlgorithm.Debug db, java.lang.String s)
void	println(ReplayAlgorithm.Debug db)
void	println(ReplayAlgorithm.Debug db, java.lang.String s)
static void	setOutputStream(java.io.PrintStream out) Sets the output stream.
static ReplayAlgorithm.Debug	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static ReplayAlgorithm.Debug[]	values() Returns an array containing the constants of this enum type, in the order they are declared.
void	writeEdgeTraversed(ReplayAlgorithm algorithm, int fromMarking, int transition, int toMarking)
void	writeEdgeTraversed(ReplayAlgorithm algorithm, int fromMarking, int transition, int toMarking, java.lang.String extra) Should be called when an edge is traversed in the search from marking with ID fromMarking to marking with ID toMarking though firing transition.
void	writeMarkingReached(ReplayAlgorithm algorithm, int marking)
void	writeMarkingReached(ReplayAlgorithm algorithm, int marking, java.lang.String extra)

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

DOT

public static final ReplayAlgorithm.Debug DOT

NORMAL

public static final ReplayAlgorithm.Debug NORMAL

NONE

public static final ReplayAlgorithm.Debug NONE

STATS

public static final ReplayAlgorithm.Debug STATS

Method Detail

values

public static ReplayAlgorithm.Debug[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (ReplayAlgorithm.Debug c : ReplayAlgorithm.Debug.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static ReplayAlgorithm.Debug valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null

writeEdgeTraversed

public void writeEdgeTraversed(ReplayAlgorithm algorithm,
                               int fromMarking,
                               int transition,
                               int toMarking,
                               java.lang.String extra)

Should be called when an edge is traversed in the search from marking with ID fromMarking to marking with ID toMarking though firing transition.

Parameters:

algorithm -

fromMarking -

transition -

toMarking -

extra -

writeMarkingReached

public void writeMarkingReached(ReplayAlgorithm algorithm,
                                int marking,
                                java.lang.String extra)

writeEdgeTraversed

public void writeEdgeTraversed(ReplayAlgorithm algorithm,
                               int fromMarking,
                               int transition,
                               int toMarking)

writeMarkingReached

public void writeMarkingReached(ReplayAlgorithm algorithm,
                                int marking)

println

public void println(ReplayAlgorithm.Debug db,
                    java.lang.String s)

println

public void println(ReplayAlgorithm.Debug db)

print

public void print(ReplayAlgorithm.Debug db,
                  java.lang.String s)

setOutputStream

public static void setOutputStream(java.io.PrintStream out)

Sets the output stream. User can change this from System.out to capture file output.

Parameters:

out -

getOutputStream

public static java.io.PrintStream getOutputStream()

Returns the output stream currently set.

Returns: