Package edu.berkeley.cs.jqf.fuzz.ei

Class ExecutionIndex

java.lang.Object

edu.berkeley.cs.jqf.fuzz.ei.ExecutionIndex

All Implemented Interfaces:

Comparable<ExecutionIndex>

public class ExecutionIndex
extends Object
implements Comparable<ExecutionIndex>

An execution index represents a unique point in a program's execution.

This class uses a call-stack-with-counts representation of execution indexes, which was first introduced in the paper A randomized dynamic program analysis technique for detecting real deadlocks by Joshi et al. in PLDI 2009.

The execution index is a basically a wrapper around an integer array of even length, in which every pair of elements represents an IID of a call site and its associated count.

Author:

Rohan Padhye

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ExecutionIndex.Prefix
static class	ExecutionIndex.Suffix

Constructor Summary

Constructors

Constructor	Description
ExecutionIndex(int[] ei)
ExecutionIndex(ExecutionIndex.Prefix prefix, ExecutionIndex.Suffix suffix)

Method Summary

Modifier and Type	Method	Description
int	compareTo(ExecutionIndex other)
boolean	equals(Object other)
ExecutionIndex.Suffix	getCommonSuffix(ExecutionIndex other)
ExecutionIndex.Prefix	getPrefixOfSuffix(ExecutionIndex.Suffix suffix)
ExecutionIndex.Suffix	getSuffixOfPrefix(ExecutionIndex.Prefix prefix)
int	hashCode()
boolean	hasPrefix(ExecutionIndex.Prefix prefix)
int	oneSuffixSize()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

ExecutionIndex

public ExecutionIndex(int[] ei)

ExecutionIndex

public ExecutionIndex(ExecutionIndex.Prefix prefix,
 ExecutionIndex.Suffix suffix)

Method Details

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object other)

Overrides:

equals in class Object

compareTo

public int compareTo(ExecutionIndex other)

Specified by:

compareTo in interface Comparable<ExecutionIndex>

toString

public String toString()

Overrides:

toString in class Object

oneSuffixSize

public int oneSuffixSize()

getCommonSuffix

public ExecutionIndex.Suffix getCommonSuffix(ExecutionIndex other)

getPrefixOfSuffix

public ExecutionIndex.Prefix getPrefixOfSuffix(ExecutionIndex.Suffix suffix)

getSuffixOfPrefix

public ExecutionIndex.Suffix getSuffixOfPrefix(ExecutionIndex.Prefix prefix)

hasPrefix

public boolean hasPrefix(ExecutionIndex.Prefix prefix)