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

G

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

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

getConfigFileProperties(IFile) - Static method in class com.javapathfinder.vjp.config.editors.ModePropertyConfiguration

Loads this configuration with the properties contained in configuration file associated.

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

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

getDefault() - Static method in class com.javapathfinder.vjp.VJP

Returns the shared instance

getDefaultProperties(IJavaProject) - Static method in class com.javapathfinder.vjp.DefaultProperties

Creates a HashMap containing the VJP default key/value pairs for certain properties.

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

Returns an object array containing all of the properties listed by the JPF defaults and the VJP defaults.

getDeleteFileButton() - Method in class com.javapathfinder.vjp.config.ConfigFileBar

Returns the button labeled "Delete"

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

getFile() - Method in class com.javapathfinder.vjp.config.editors.ModePropertyFileDialog

Gets the file chosen from the dialog.

getFileProject() - Method in class com.javapathfinder.vjp.config.editors.ModePropertyFileDialog

Returns the project that contains the chosen file Null if this was saved outside of any project.

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

The IFile associated to this configuration.

getInfoPanel() - Method in class com.javapathfinder.vjp.config.LaunchDialog

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

returns the mode property configuration this editor is modifying.

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

The name of this property.

getNewFileButton() - Method in class com.javapathfinder.vjp.config.ConfigFileBar

Returns the button labeled "New"

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

Retrieves a Property object for the property of this name.

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

Retrieves a value for the property of this name.

getResetButton() - Method in class com.javapathfinder.vjp.verify.view.ControlPanel

getResourceURL(String) - Static method in class com.javapathfinder.vjp.VJP

Gives a URL that points to the resource given by the path

getRootPath() - Static method in class com.javapathfinder.vjp.VJP

Gives an absolute path to the root of the VJP plugin directory

getRunButton() - Method in class com.javapathfinder.vjp.verify.view.ControlPanel

getStepButton() - Method in class com.javapathfinder.vjp.verify.view.ControlPanel

getTabName() - Method in class com.javapathfinder.vjp.config.editors.defaultproperties.DefaultPropertiesTab

returns the name of this tab (non-Javadoc)

getTabName() - Method in class com.javapathfinder.vjp.config.editors.userdefined.UserDefinedPropertiesTab

The name to be displayed on the User Defined Properties tab.

getThreadImage() - Static method in class com.javapathfinder.vjp.verify.view.TraceTable

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

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

getTree() - Method in class com.javapathfinder.vjp.config.LaunchDialog

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

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

Returns all Properties that are only defined by the user and not found in jpf.properties or defined by VJP

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

The value of this property.

getView() - Static method in class com.javapathfinder.vjp.verify.view.VJPView

Finds a currently opened VJP view or creates a new one.

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