jack.plugin
Class JackDefaultSpecEditor

java.lang.Object
  jack.plugin.JackDefaultSpecEditor

public class JackDefaultSpecEditor

extends java.lang.Object

Control allowing to edit the default values added when clauses are not specified.

Author:

A. Requet, L. Burdy

Constructor Summary

JackDefaultSpecEditor(org.eclipse.swt.widgets.Shell s)

Method Summary

boolean	checkFields(boolean display_dialog) Checks that the text fields contains parseable JML.
void	createWidgets(org.eclipse.swt.widgets.Composite parent)
void	performDefaults() Sets all the fields to default values.
boolean	performOk(org.eclipse.core.resources.IProject project) Updates the changes in the interface to the project properties.
void	updateControls(org.eclipse.core.resources.IProject project) Updates the state of the controls depending on the state of the given project.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JackDefaultSpecEditor

public JackDefaultSpecEditor(org.eclipse.swt.widgets.Shell s)

Method Detail

createWidgets

public void createWidgets(org.eclipse.swt.widgets.Composite parent)

performDefaults

public void performDefaults()

Sets all the fields to default values.

updateControls

public void updateControls(org.eclipse.core.resources.IProject project)

Updates the state of the controls depending on the state of the given project.

Parameters:

project -

checkFields

public boolean checkFields(boolean display_dialog)

Checks that the text fields contains parseable JML. Return true if the fields are Ok, false otherwise.

Parameters:

display_dialog - indicates wether an error dialog should be displayed in case of error.

Returns:

true if there is no problem within the field, false otherwise.

performOk

public boolean performOk(org.eclipse.core.resources.IProject project)

Updates the changes in the interface to the project properties.