gov.nasa.jpf.rtsj.test
Class TestClientStubs

java.lang.Object
  gov.nasa.jpf.rtsj.test.TestClientStubs

public class TestClientStubs

extends java.lang.Object

Author:

gary TO DO: convert to static methods, so instances are not repeatedly created

Constructor Summary

TestClientStubs()

Method Summary

void	clearActivePhaseCost() Clear the active phase cost accumulator
long	getActivePhaseCostMillis()
long	getActivePhaseCostNanos()
int	getInstructionCount()
long	getThreadRunCostMillis()
long	getThreadRunCostNanos()
double	log(double a)
long	millisSinceEpoch()
double	nextDouble() Draw next double from principal random number generator
double	nextGaussian() Draw next Gaussian (normal) double from principal random number generator
int	nextInt(int n) Return an integer derived from the next pseudo random number draw.
void	printExecutionStatistics() Print statistics of this run (path, if executing under JPF).
void	turnOffInvokeTracing() Turn off tracing of invoke byte codes (if running under JPF).
void	turnOnInvokeTracing() Turn on tracing of invoke byte codes (if running under JPF).

Methods inherited from class java.lang.Object

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

Constructor Detail

TestClientStubs

public TestClientStubs()

Method Detail

getInstructionCount

public int getInstructionCount()

Returns:

the test client's instruction count

millisSinceEpoch

public long millisSinceEpoch()

Returns:

millis since epoch start (Jan. 1, 1970?).

nextInt

public int nextInt(int n)

Return an integer derived from the next pseudo random number draw.

Parameters:

n - the upper limit (non-inclusive) of the range

Returns:

a random int in [0, limit)

nextGaussian

public double nextGaussian()

Draw next Gaussian (normal) double from principal random number generator

Returns:

the next Gaussian

nextDouble

public double nextDouble()

Draw next double from principal random number generator

Returns:

next double

log

public double log(double a)

Parameters:

a -

Returns:

log(a)

getActivePhaseCostMillis

public long getActivePhaseCostMillis()

Returns:

the test client's active phase cost millis

getActivePhaseCostNanos

public long getActivePhaseCostNanos()

Returns:

the test client's active phase cost nanos

getThreadRunCostMillis

public long getThreadRunCostMillis()

Returns:

the test client's active phase cost millis

getThreadRunCostNanos

public long getThreadRunCostNanos()

Returns:

the test client's active phase cost nanos

printExecutionStatistics

public void printExecutionStatistics()

Print statistics of this run (path, if executing under JPF).

clearActivePhaseCost

public void clearActivePhaseCost()

Clear the active phase cost accumulator

turnOnInvokeTracing

public void turnOnInvokeTracing()

Turn on tracing of invoke byte codes (if running under JPF).

turnOffInvokeTracing

public void turnOffInvokeTracing()

Turn off tracing of invoke byte codes (if running under JPF).