gov.nasa.jpf.rtsj.test
Class TestClient.StackFrame

java.lang.Object
  gov.nasa.jpf.rtsj.test.TestClient.StackFrame

Enclosing class:

TestClient

class TestClient.StackFrame

extends java.lang.Object

An internal class for frames on the backtracking stack maintained by this class for backtracking quantitative observations when the JPF JVM backtracks

Author:

gary

Constructor Summary

(package private)

TestClient.StackFrame(AbsoluteTime totalCost, int instructionCount, int objectsCreated, int objectsReleased, int threadsStarted, int threadsTerminated, int classesLoaded, int[] byteCodeCounts, java.util.HashMap threadCosts, java.util.HashMap threadIndexToName, java.util.HashMap threadNameToIndex, AbsoluteTime activePhaseCost, int lastThreadIndex)

Method Summary

(package private) AbsoluteTime	getActivePhaseCost()
(package private) int[]	getByteCodeCounts()
(package private) int	getClassesLoaded()
(package private) int	getInstructionCount()
(package private) int	getLastThreadIndex()
(package private) int	getObjectsCreated()
(package private) int	getObjectsReleased()
(package private) java.util.HashMap	getThreadCosts()
(package private) java.util.HashMap	getThreadIndexToName()
(package private) java.util.HashMap	getThreadNameToIndex()
(package private) int	getThreadsStarted()
(package private) int	getThreadsTerminated()
(package private) AbsoluteTime	getTotalCost()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestClient.StackFrame

TestClient.StackFrame(AbsoluteTime totalCost,
                      int instructionCount,
                      int objectsCreated,
                      int objectsReleased,
                      int threadsStarted,
                      int threadsTerminated,
                      int classesLoaded,
                      int[] byteCodeCounts,
                      java.util.HashMap threadCosts,
                      java.util.HashMap threadIndexToName,
                      java.util.HashMap threadNameToIndex,
                      AbsoluteTime activePhaseCost,
                      int lastThreadIndex)

Method Detail

getTotalCost

AbsoluteTime getTotalCost()

Returns:

the total cost

getInstructionCount

int getInstructionCount()

Returns:

the instruction count

getObjectsCreated

int getObjectsCreated()

Returns:

the objects created count

getObjectsReleased

int getObjectsReleased()

Returns:

the objects released count

getThreadsStarted

int getThreadsStarted()

Returns:

the threads started count

getThreadsTerminated

int getThreadsTerminated()

Returns:

the threads terminated count

getClassesLoaded

int getClassesLoaded()

getByteCodeCounts

int[] getByteCodeCounts()

getThreadCosts

java.util.HashMap getThreadCosts()

Returns:

the thread cost hash map

getThreadIndexToName

java.util.HashMap getThreadIndexToName()

Returns:

the thread name hash map

getThreadNameToIndex

java.util.HashMap getThreadNameToIndex()

getActivePhaseCost

AbsoluteTime getActivePhaseCost()

getLastThreadIndex

int getLastThreadIndex()