org.corfudb.generator

Class Correctness

java.lang.Object

org.corfudb.generator.Correctness

public class Correctness
extends Object

Created by rmichoud on 10/9/17.

Field Summary

Fields

Modifier and Type	Field and Description
static String	TX_ABORTED
static String	TX_END
static String	TX_START

Method Summary

Modifier and Type	Method and Description
static void	recordOperation(String operation, boolean transactionPrefix)
static void	recordTransactionMarkers(boolean version, String... fields) Record a transaction marker operation

Methods inherited from class java.lang.Object

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

Field Detail

TX_START

public static final String TX_START

See Also:

Constant Field Values

TX_END

public static final String TX_END

See Also:

Constant Field Values

TX_ABORTED

public static final String TX_ABORTED

See Also:

Constant Field Values

Method Detail

recordOperation

public static void recordOperation(String operation,
                                   boolean transactionPrefix)

recordTransactionMarkers

public static void recordTransactionMarkers(boolean version,
                                            String... fields)

Record a transaction marker operation

Parameters:

version - if we have a version to report

fields - fields to report