Class RecoverTester

java.lang.Object

org.h2.store.RecoverTester

All Implemented Interfaces:

Recorder

public class RecoverTester
extends Object
implements Recorder

A tool that simulates a crash while writing to the database, and then verifies the database doesn't get corrupt.

Field Summary

Fields

Modifier and Type	Field	Description
private static final RecoverTester	instance
private final HashSet<String>	knownErrors
private final long	maxFileSize
private String	testDatabase
private int	testEvery
private boolean	testing
private int	verifyCount
private int	writeCount

Fields inherited from interface Recorder

CREATE_NEW_FILE, CREATE_TEMP_FILE, DELETE, OPEN_OUTPUT_STREAM, RENAME, TRUNCATE, WRITE

Constructor Summary

Constructors

Constructor	Description
RecoverTester()

Method Summary

Modifier and Type	Method	Description
static void	init(String recoverTest)	Initialize the recover test.
void	log(int op, String fileName, byte[] data, long x)	Record the method.
void	setTestEvery(int testEvery)
private void	testDatabase(String fileName, PrintWriter out)

Methods inherited from class Object

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

Field Details

instance

private static final RecoverTester instance

testDatabase

private String testDatabase

writeCount

private int writeCount

testEvery

private int testEvery

maxFileSize

private final long maxFileSize

verifyCount

private int verifyCount

knownErrors

private final HashSet<String> knownErrors

testing

private volatile boolean testing

Constructor Details

RecoverTester

public RecoverTester()

Method Details

init

public static void init(String recoverTest)

Initialize the recover test.

Parameters:

recoverTest - the value of the recover test parameter

log

public void log(int op,
 String fileName,
 byte[] data,
 long x)

Description copied from interface: Recorder

Record the method.

Specified by:

log in interface Recorder

Parameters:

op - the operation

fileName - the file name or file name list

data - the data or null

x - the value or 0

testDatabase

private void testDatabase(String fileName,
 PrintWriter out)

setTestEvery

public void setTestEvery(int testEvery)