Uses of Class
gov.nasa.jpf.rtsj.test.TestClientStubs

Packages that use TestClientStubs

javax.realtime.DSS

Uses of TestClientStubs in javax.realtime.DSS

Fields in javax.realtime.DSS declared as TestClientStubs

static TestClientStubs

DSS.testClient A fixed instance of TestClient used when running under JPF to hold main program state variables, e.g., accumulator variables maintained by JVM listeners.