com.oracle.graal.debug

Class Fingerprint

java.lang.Object

com.oracle.graal.debug.Fingerprint

All Implemented Interfaces:

AutoCloseable

public class Fingerprint
extends Object
implements AutoCloseable

Facility for fingerprinting execution.

Field Summary

Fields

Modifier and Type	Field and Description
private static int	BREAKPOINT_EVENT
private static ThreadLocal<Fingerprint>	current
static boolean	ENABLED Determines whether fingerprinting is enabled.
static String	ENABLED_PROPERTY_NAME
private List<String>	events
private int	index
private static int	MAX_EVENT_TAIL_IN_ERROR_MESSAGE

Constructor Summary

Constructors

Constructor and Description
Fingerprint() Creates an object to record a fingerprint.
Fingerprint(Fingerprint toVerifyAgainst) Creates an object to verify execution matches a given fingerprint.
Fingerprint(List<String> toVerifyAgainst) Creates an object to verify execution matches a given fingerprint.

Method Summary

Modifier and Type	Method and Description
void	close() Finishes fingerprint recording or verification for the current thread.
private void	event(String entry)
Collection<String>	getEvents()
private int	nextEventId()
Fingerprint	open() Starts fingerprint recording or verification for the current thread.
static void	submit(String format, Object... args) Submits an execution event for the purpose of recording or verifying a fingerprint.
private String	tail()

Methods inherited from class java.lang.Object

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

Field Detail

ENABLED_PROPERTY_NAME

public static final String ENABLED_PROPERTY_NAME

See Also:

Constant Field Values

ENABLED

public static final boolean ENABLED

Determines whether fingerprinting is enabled. This is set by the "jvmci.fingerprint" system property when this class is initialized.

current

private static final ThreadLocal<Fingerprint> current

events

private final List<String> events

index

private int index

BREAKPOINT_EVENT

private static final int BREAKPOINT_EVENT

MAX_EVENT_TAIL_IN_ERROR_MESSAGE

private static final int MAX_EVENT_TAIL_IN_ERROR_MESSAGE

Constructor Detail

Fingerprint

public Fingerprint()

Creates an object to record a fingerprint.

Fingerprint

public Fingerprint(List<String> toVerifyAgainst)

Creates an object to verify execution matches a given fingerprint.

Parameters:

toVerifyAgainst - the fingerprint events to verify against

Fingerprint

public Fingerprint(Fingerprint toVerifyAgainst)

Creates an object to verify execution matches a given fingerprint.

Parameters:

toVerifyAgainst - the fingerprint to verify against

Method Detail

getEvents

public Collection<String> getEvents()

open

public Fingerprint open()

Starts fingerprint recording or verification for the current thread. At most one fingerprint object can be active for any thread.

close

public void close()

Finishes fingerprint recording or verification for the current thread.

Specified by:

close in interface AutoCloseable

submit

public static void submit(String format,
                          Object... args)

Submits an execution event for the purpose of recording or verifying a fingerprint. This must only be called if ENABLED is true.

nextEventId

private int nextEventId()

tail

private String tail()

event

private void event(String entry)