Package | Description |
---|---|
gov.nasa.jpf.annotation | |
java.lang.annotation | |
org.junit |
Modifier and Type | Class and Description |
---|---|
interface |
FilterField
Indicates that a field in the model should not be considered during
state matching.
|
interface |
FilterFrame
USE CAREFULLY - Indicates that the stack frame of a method should not,
in specified ways, be considered during state matching.
|
interface |
JPFConfig
annotation that can be used to change JPF config properties
from within the SuT
using such annotations should NOT make the SuT JPF dependent
|
interface |
MJI |
Modifier and Type | Class and Description |
---|---|
interface |
Inherited |
interface |
Retention |
Modifier and Type | Class and Description |
---|---|
interface |
After
same as org.junit.Test - we don't want to pull the whole of JUnit
into our JPF classpath just because we run TestJPF derived classes
|
interface |
AfterClass
same as org.junit.Test - we don't want to pull the whole of JUnit
into our JPF classpath just because we run TestJPF derived classes
|
interface |
Before
same as org.junit.Test - we don't want to pull the whole of JUnit
into our JPF classpath just because we run TestJPF derived classes
|
interface |
BeforeClass
same as org.junit.Test - we don't want to pull the whole of JUnit
into our JPF classpath just because we run TestJPF derived classes
|
interface |
Ignore
same as org.junit.Test - we don't want to pull the whole of JUnit
into our JPF classpath just because we run TestJPF derived classes
|
interface |
Test |