A C D E G I J L M N O P R S T U V W

S

safeRefresh() - Method in class com.javapathfinder.vjp.verify.view.TraceTable

Safely refresh the trace table.

safeSelectLast() - Method in class com.javapathfinder.vjp.verify.view.TraceTable

A thread safe way to select the last transition

save() - Method in class com.javapathfinder.vjp.config.editors.ModePropertyConfiguration

Saves the properties stored in this configuration to the corresponding file.

save(IProgressMonitor) - Method in class com.javapathfinder.vjp.config.editors.ModePropertyConfiguration

Saves the properties stored in this configuration to the corresponding file.

saveProperties() - Method in class com.javapathfinder.vjp.config.editors.ModePropertyEditorComposite

Saves the properties being modified to the configuration file

searchFinished(Search) - Method in class com.javapathfinder.vjp.verify.VJPListener

selectionChanged(IAction, ISelection) - Method in class com.javapathfinder.vjp.delegates.ConfigFileActionDelegate

selectionChanged(IAction, ISelection) - Method in class com.javapathfinder.vjp.delegates.JavaClassLaunchDelegate

selectionChanged(IAction, ISelection) - Method in class com.javapathfinder.vjp.delegates.VJPButtonActionDelegate

selectionChanged(SelectionChangedEvent) - Method in class com.javapathfinder.vjp.verify.view.VJPView

Fires when the ExecutionTable selection changes

selectLast() - Method in class com.javapathfinder.vjp.verify.view.TraceTable

Sets the selection to be last transition, then makes the transition visible

setActivePart(IAction, IWorkbenchPart) - Method in class com.javapathfinder.vjp.delegates.ConfigFileActionDelegate

setActivePart(IAction, IWorkbenchPart) - Method in class com.javapathfinder.vjp.delegates.JavaClassLaunchDelegate

setFocus() - Method in class com.javapathfinder.vjp.verify.view.VJPView

setName(String) - Method in class com.javapathfinder.vjp.config.editors.Property

Set the name of this property

setProperty(String, String) - Method in class com.javapathfinder.vjp.config.editors.ModePropertyConfiguration

Sets the given property as a User defined property.

setProperty(Property) - Method in class com.javapathfinder.vjp.config.editors.ModePropertyConfiguration

Sets the given property as a User defined property.

setProperty(Property, String) - Method in class com.javapathfinder.vjp.config.editors.ModePropertyConfiguration

Sets the given property as a User defined property.

setRunDelayMillis(int) - Method in class com.javapathfinder.vjp.verify.VJPListener

How long to delay between each transition when runing in milliseconds

setStepRun(boolean) - Method in class com.javapathfinder.vjp.verify.VerifyJob

Sets whether the verification should just run or step.

setToDefaultValue(Property) - Method in class com.javapathfinder.vjp.config.editors.ModePropertyConfiguration

Remove the user defined value of a setting and set it back to its default value

setTransitionInfo(TraceTable.TransitionInfo) - Method in class com.javapathfinder.vjp.verify.view.TransitionView

The transition information that this view will display

setValue(String) - Method in class com.javapathfinder.vjp.config.editors.Property

Set the value of this property

setVerifyJob(VerifyJob) - Method in class com.javapathfinder.vjp.verify.view.VJPView

Set the job that this view is associated with

setVJPDefault(String, String) - Method in class com.javapathfinder.vjp.config.editors.ModePropertyConfiguration

Set the VJP default value for a property

setVJPDefaults(IJavaProject) - Method in class com.javapathfinder.vjp.config.editors.ModePropertyConfiguration

Sets the VJP default properties for this configuration based on the the project given.

start(BundleContext) - Method in class com.javapathfinder.vjp.VJP

Used by Eclipse to start the plugin.

stateAdvanced(Transition, int, boolean, boolean) - Method in class com.javapathfinder.vjp.verify.view.TraceTable

Called when the state has advanced

stateAdvanced(Search) - Method in class com.javapathfinder.vjp.verify.VJPListener

stateBacktrack() - Method in class com.javapathfinder.vjp.verify.view.TraceTable

Backtrack from the current state

stateBacktracked(Search) - Method in class com.javapathfinder.vjp.verify.VJPListener

stepText - Static variable in class com.javapathfinder.vjp.verify.view.ControlPanel

stepToolTip - Static variable in class com.javapathfinder.vjp.verify.view.ControlPanel

stop(BundleContext) - Method in class com.javapathfinder.vjp.VJP

Used by Eclipse to stop the plugin.