JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Required |
Optional
Detail:
Element
org.junit
Annotation Type Ignore
@Target
(
value
=
METHOD
) public @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
Optional Element Summary
Optional Elements
Modifier and Type
Optional Element and Description
String
value
Element Detail
value
public abstract
String
value
Default:
""
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Required |
Optional
Detail:
Element