main.blueJExt
Class PreferenceSetter
java.lang.Object
main.blueJExt.PreferenceSetter
- All Implemented Interfaces:
- PreferenceGenerator
- public class PreferenceSetter
- extends Object
- implements PreferenceGenerator
- Author:
- cbishop
TODO To change the template for this generated type comment go to Window -
Preferences - Java - Code Style - Code Templates
Constructor Summary |
PreferenceSetter(BlueJ bluej)
Construct the panel, and initialise it from any stored values |
CHECK_ROLES
public static final String CHECK_ROLES
- See Also:
- Constant Field Values
GIVE_REASON
public static final String GIVE_REASON
- See Also:
- Constant Field Values
SUGGEST_ROLE
public static final String SUGGEST_ROLE
- See Also:
- Constant Field Values
PreferenceSetter
public PreferenceSetter(BlueJ bluej)
- Construct the panel, and initialise it from any stored values
- Parameters:
bluej
- BlueJ object
getPanel
public JPanel getPanel()
- Specified by:
getPanel
in interface PreferenceGenerator
- Returns:
- JPanel preference panel
saveValues
public void saveValues()
- Save preferences for extension
- Specified by:
saveValues
in interface PreferenceGenerator
loadValues
public void loadValues()
- Load preferences for extension
- Specified by:
loadValues
in interface PreferenceGenerator
checkRoles
public boolean checkRoles()
- Returns:
- whether role checking is required
giveReason
public boolean giveReason()
- Returns:
- whether to give reason for incorrect role adjudication
suggestRole
public boolean suggestRole()
- Returns:
- whether to suggest correct role for variable