gov.nasa.jpf.symbc.veritesting.VeritestingUtil

Class RegionHitExactHeuristic

java.lang.Object

gov.nasa.jpf.symbc.veritesting.VeritestingUtil.RegionHitExactHeuristic

public class RegionHitExactHeuristic
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
(package private) boolean	active
(package private) long	estimatedPathCount
static java.lang.String	formatString
(package private) gov.nasa.jpf.vm.MethodInfo	methodInfo
(package private) int	pathCount
(package private) java.lang.String	regionKey
(package private) gov.nasa.jpf.vm.Instruction	targetInstruction

Constructor Summary

Constructors

Constructor and Description
RegionHitExactHeuristic(java.lang.String regionKey, gov.nasa.jpf.vm.Instruction targetInstruction, gov.nasa.jpf.vm.MethodInfo methodInfo, int pathCount)

Method Summary

Modifier and Type	Method and Description
boolean	equal(RegionHitExactHeuristic regionHitExactHeuristic)
gov.nasa.jpf.vm.MethodInfo	getMethodInfo()
int	getPathCount()
java.lang.String	getRegionKey()
boolean	getRegionStatus()
gov.nasa.jpf.vm.Instruction	getTargetInstruction()
void	incrementPathCount()
java.lang.String	print()
void	setActiveState(boolean state)
void	setEstimatedPathCount(long c)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

regionKey

java.lang.String regionKey

targetInstruction

gov.nasa.jpf.vm.Instruction targetInstruction

methodInfo

gov.nasa.jpf.vm.MethodInfo methodInfo

active

boolean active

pathCount

int pathCount

estimatedPathCount

long estimatedPathCount

formatString

public static final java.lang.String formatString

See Also:

Constant Field Values

Constructor Detail

RegionHitExactHeuristic

public RegionHitExactHeuristic(java.lang.String regionKey,
                               gov.nasa.jpf.vm.Instruction targetInstruction,
                               gov.nasa.jpf.vm.MethodInfo methodInfo,
                               int pathCount)

Method Detail

getMethodInfo

public gov.nasa.jpf.vm.MethodInfo getMethodInfo()

getPathCount

public int getPathCount()

getRegionStatus

public boolean getRegionStatus()

getRegionKey

public java.lang.String getRegionKey()

getTargetInstruction

public gov.nasa.jpf.vm.Instruction getTargetInstruction()

incrementPathCount

public void incrementPathCount()

setEstimatedPathCount

public void setEstimatedPathCount(long c)

equal

public boolean equal(RegionHitExactHeuristic regionHitExactHeuristic)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

print

public java.lang.String print()

setActiveState

public void setActiveState(boolean state)