Constant Field Values

Contents

• com.javapathfinder.*

com.javapathfinder.*

com.javapathfinder.vjp.VJP

public static final java.lang.String

PLUGIN_ID

"com.javapathfinder.vjp"

com.javapathfinder.vjp.config.editors.defaultproperties.DefaultPropertiesViewer

public static final java.lang.String	CHECKED_IMAGE	"checked"
public static final java.lang.String	CHECKED_IMAGE_PATH	"images/checked.gif"
public static final java.lang.String	DEFAULT_HEADER	"Default"
public static final int	DEFAULT_INDEX	0
public static final java.lang.String	NAME_HEADER	"Name"
public static final int	NAME_INDEX	1
public static final java.lang.String	UNCHECKED_IMAGE	"unchecked"
public static final java.lang.String	UNCHECKED_IMAGE_PATH	"images/unchecked.gif"
public static final java.lang.String	VALUE_HEADER	"Value"
public static final int	VALUE_INDEX	2

com.javapathfinder.vjp.verify.view.ControlPanel

public static final java.lang.String	resetText	"Reset"
public static final java.lang.String	resetToolTip	"Stop this JPF run."
public static final java.lang.String	runText	"Run"
public static final java.lang.String	runToolTip	"Let JPF run the verification"
public static final java.lang.String	stepText	"Step"
public static final java.lang.String	stepToolTip	"Take a single step in this verification"