public class UserSettings
extends java.lang.Object
Constructor and Description |
---|
UserSettings() |
Modifier and Type | Method and Description |
---|---|
static boolean |
getAnalyseOnSave() |
static int |
getAnalyserMaxMarkings() |
static boolean |
getAutoIncrementVersionOnSave() |
static boolean |
getBehaviouralAnalysis() |
static boolean |
getCancelCasesOnUpload() |
static boolean |
getCancellationAnalysis() |
static boolean |
getCheckForUpdatesOnStart() |
static java.lang.String |
getDecompositionAttributesFilePath() |
static java.awt.Font |
getDefaultFont() |
static java.awt.Color |
getDefaultTextColour() |
static java.lang.String |
getEngineHost() |
static java.lang.String |
getEnginePassword() |
static int |
getEnginePort() |
static java.lang.String |
getEngineUri() |
static java.lang.String |
getEngineUserid() |
static boolean |
getExtendedCoverability() |
static boolean |
getFileBackupOnSave() |
static FileSaveOptions |
getFileSaveOptions() |
static boolean |
getFileVersioningOnSave() |
static java.lang.String |
getFontFamily() |
static int |
getFontSize() |
static int |
getFontStyle() |
static int |
getFrameHeight() |
static java.awt.Point |
getFrameLocation() |
static int |
getFrameWidth() |
static int |
getInternalFrameHeight() |
static int |
getInternalFrameWidth() |
static java.awt.Color |
getJoinFillColour() |
static boolean |
getKeepAnalysisDialogOpen() |
static java.lang.String |
getLastDownloadedToPath() |
static java.lang.String |
getLastSaveOrLoadPath() |
static boolean |
getLaunchCaseOnUpload() |
static java.lang.String |
getMostRecentFileName() |
static java.awt.Color |
getNetBackgroundColour() |
static boolean |
getOrJoinAnalysis() |
static boolean |
getOrJoinCycleAnalysis() |
static boolean |
getPostUpdatesCompleted() |
static boolean |
getReloadLastSpecOnStartup() |
static boolean |
getResetNetAnalysis() |
static java.lang.String |
getResourceHost() |
static java.lang.String |
getResourcePassword() |
static int |
getResourcePort() |
static java.lang.String |
getResourceUri() |
static java.lang.String |
getResourceUserid() |
static java.util.prefs.Preferences |
getSettings() |
static boolean |
getShowFileOptionsDialogOnSave() |
static boolean |
getShowGrid() |
static boolean |
getShowObservations() |
static boolean |
getShowPropertyDescriptions() |
static boolean |
getShowToolTips() |
static boolean |
getSoundnessAnalysis() |
static java.awt.Color |
getSplitFillColour() |
static boolean |
getStructuralAnalysis() |
static java.lang.String |
getTaskIconsFilePath() |
static boolean |
getUnloadPreviousOnUpload() |
static boolean |
getUseResetReductionRules() |
static boolean |
getUseYawlReductionRules() |
static java.lang.String |
getVariableAttributesFilePath() |
static boolean |
getVerifyOnSave() |
static java.awt.Color |
getVertexBackgroundColour() |
static boolean |
getViewPluginToolbar(java.lang.String barName) |
static boolean |
getWeakSoundnessAnalysis() |
static boolean |
getWofyawlAnalysis() |
static java.lang.String |
getWofyawlFilePath() |
static boolean |
hasRunOnce() |
static java.util.List<java.lang.String> |
loadRecentFileList() |
static void |
pushRecentFile(java.lang.String fullFileName) |
static void |
removeRecentFile(int pos) |
static void |
setAnalyseOnSave(boolean analyse) |
static void |
setAnalyserMaxMarkings(int maxMarkings) |
static void |
setAutoIncrementVersionOnSave(boolean autoInc) |
static void |
setBehaviouralAnalysis(boolean behavioural) |
static void |
setCancelCasesOnUpload(boolean cancel) |
static void |
setCancellationAnalysis(boolean cancel) |
static void |
setCheckForUpdatesOnStart(boolean check) |
static void |
setDecompositionAttributesFilePath(java.lang.String path) |
static void |
setDefaultTextColour(java.awt.Color colour) |
static void |
setEngineHost(java.lang.String host) |
static void |
setEnginePassword(java.lang.String password) |
static void |
setEnginePort(int port) |
static void |
setEngineUri(java.lang.String uri) |
static void |
setEngineUserid(java.lang.String id) |
static void |
setExtendedCoverability(boolean extended) |
static void |
setFileBackupOnSave(boolean backup) |
static void |
setFileVersioningOnSave(boolean versioning) |
static void |
setFontFamily(java.lang.String name) |
static void |
setFontSize(int size) |
static void |
setFontStyle(int style) |
static void |
setFrameHeight(int height) |
static void |
setFrameLocation(int x,
int y) |
static void |
setFrameWidth(int width) |
static void |
setHasRunOnce(boolean hasRun) |
static void |
setInternalFrameHeight(int height) |
static void |
setInternalFrameWidth(int width) |
static void |
setJoinFillColour(java.awt.Color colour) |
static void |
setKeepAnalysisDialogOpen(boolean keepOpen) |
static void |
setLastDownloadedToPath(java.lang.String path) |
static void |
setLastSaveOrLoadPath(java.lang.String path) |
static void |
setLaunchCaseOnUpload(boolean launch) |
static void |
setMaxRecentFiles(int max) |
static void |
setNetBackgroundColour(java.awt.Color colour) |
static void |
setOrJoinAnalysis(boolean orJoin) |
static void |
setOrJoinCycleAnalysis(boolean cycle) |
static void |
setPostUpdatesCompleted(boolean completed) |
static void |
setReloadLastSpecOnStartup(boolean show) |
static void |
setResetNetAnalysis(boolean resetNet) |
static void |
setResourceHost(java.lang.String host) |
static void |
setResourcePassword(java.lang.String password) |
static void |
setResourcePort(int port) |
static void |
setResourceUri(java.lang.String uri) |
static void |
setResourceUserid(java.lang.String id) |
static void |
setShowFileOptionsDialogOnSave(boolean show) |
static void |
setShowGrid(boolean show) |
static void |
setShowObservations(boolean show) |
static void |
setShowPropertyDescriptions(boolean show) |
static void |
setShowToolTips(boolean show) |
static void |
setSoundnessAnalysis(boolean soundness) |
static void |
setSplitFillColour(java.awt.Color colour) |
static void |
setStructuralAnalysis(boolean structural) |
static void |
setTaskIconsFilePath(java.lang.String path) |
static void |
setUnloadPreviousOnUpload(boolean unload) |
static void |
setUseResetReductionRules(boolean use) |
static void |
setUseYawlReductionRules(boolean use) |
static void |
setVariableAttributesFilePath(java.lang.String path) |
static void |
setVerifyOnSave(boolean verify) |
static void |
setVertexBackgroundColour(java.awt.Color colour) |
static void |
setViewPluginToolbar(java.lang.String barName,
boolean view) |
static void |
setWeakSoundnessAnalysis(boolean weak) |
static void |
setWofyawlAnalysis(boolean wofyawl) |
static void |
setWofyawlFilePath(java.lang.String path) |
public static java.util.prefs.Preferences getSettings()
public static void setFrameWidth(int width)
public static int getFrameWidth()
public static void setFrameHeight(int height)
public static int getFrameHeight()
public static void setFrameLocation(int x, int y)
public static java.awt.Point getFrameLocation()
public static void setInternalFrameWidth(int width)
public static int getInternalFrameWidth()
public static void setInternalFrameHeight(int height)
public static int getInternalFrameHeight()
public static void setVerifyOnSave(boolean verify)
public static boolean getVerifyOnSave()
public static void setAnalyseOnSave(boolean analyse)
public static boolean getAnalyseOnSave()
public static void setAutoIncrementVersionOnSave(boolean autoInc)
public static boolean getAutoIncrementVersionOnSave()
public static void setFileBackupOnSave(boolean backup)
public static boolean getFileBackupOnSave()
public static void setFileVersioningOnSave(boolean versioning)
public static boolean getFileVersioningOnSave()
public static void setShowFileOptionsDialogOnSave(boolean show)
public static boolean getShowFileOptionsDialogOnSave()
public static void setReloadLastSpecOnStartup(boolean show)
public static boolean getReloadLastSpecOnStartup()
public static FileSaveOptions getFileSaveOptions()
public static void setResetNetAnalysis(boolean resetNet)
public static boolean getResetNetAnalysis()
public static void setSoundnessAnalysis(boolean soundness)
public static boolean getSoundnessAnalysis()
public static void setWeakSoundnessAnalysis(boolean weak)
public static boolean getWeakSoundnessAnalysis()
public static void setCancellationAnalysis(boolean cancel)
public static boolean getCancellationAnalysis()
public static void setOrJoinAnalysis(boolean orJoin)
public static boolean getOrJoinAnalysis()
public static void setShowObservations(boolean show)
public static boolean getShowObservations()
public static void setUseYawlReductionRules(boolean use)
public static boolean getUseYawlReductionRules()
public static void setUseResetReductionRules(boolean use)
public static boolean getUseResetReductionRules()
public static void setOrJoinCycleAnalysis(boolean cycle)
public static boolean getOrJoinCycleAnalysis()
public static void setWofyawlAnalysis(boolean wofyawl)
public static boolean getWofyawlAnalysis()
public static void setStructuralAnalysis(boolean structural)
public static boolean getStructuralAnalysis()
public static void setBehaviouralAnalysis(boolean behavioural)
public static boolean getBehaviouralAnalysis()
public static void setExtendedCoverability(boolean extended)
public static boolean getExtendedCoverability()
public static void setKeepAnalysisDialogOpen(boolean keepOpen)
public static boolean getKeepAnalysisDialogOpen()
public static void setAnalyserMaxMarkings(int maxMarkings)
public static int getAnalyserMaxMarkings()
public static void setEngineUserid(java.lang.String id)
public static java.lang.String getEngineUserid()
public static void setEnginePassword(java.lang.String password)
public static java.lang.String getEnginePassword()
public static java.lang.String getEngineHost()
public static void setEngineHost(java.lang.String host)
public static int getEnginePort()
public static void setEnginePort(int port)
public static java.lang.String getResourceHost()
public static void setResourceHost(java.lang.String host)
public static int getResourcePort()
public static void setResourcePort(int port)
public static void setEngineUri(java.lang.String uri)
public static java.lang.String getEngineUri()
public static void setResourceUserid(java.lang.String id)
public static java.lang.String getResourceUserid()
public static void setResourcePassword(java.lang.String password)
public static java.lang.String getResourcePassword()
public static void setResourceUri(java.lang.String uri)
public static java.lang.String getResourceUri()
public static void setDecompositionAttributesFilePath(java.lang.String path)
public static java.lang.String getDecompositionAttributesFilePath()
public static void setVariableAttributesFilePath(java.lang.String path)
public static java.lang.String getVariableAttributesFilePath()
public static void setTaskIconsFilePath(java.lang.String path)
public static java.lang.String getTaskIconsFilePath()
public static void setWofyawlFilePath(java.lang.String path)
public static java.lang.String getWofyawlFilePath()
public static void setShowGrid(boolean show)
public static boolean getShowGrid()
public static void setShowToolTips(boolean show)
public static boolean getShowToolTips()
public static void setShowPropertyDescriptions(boolean show)
public static boolean getShowPropertyDescriptions()
public static void setJoinFillColour(java.awt.Color colour)
public static java.awt.Color getJoinFillColour()
public static void setSplitFillColour(java.awt.Color colour)
public static java.awt.Color getSplitFillColour()
public static void setNetBackgroundColour(java.awt.Color colour)
public static java.awt.Color getNetBackgroundColour()
public static void setFontSize(int size)
public static int getFontSize()
public static void setFontStyle(int style)
public static int getFontStyle()
public static void setFontFamily(java.lang.String name)
public static java.lang.String getFontFamily()
public static java.awt.Font getDefaultFont()
public static java.awt.Color getDefaultTextColour()
public static void setDefaultTextColour(java.awt.Color colour)
public static java.awt.Color getVertexBackgroundColour()
public static void setVertexBackgroundColour(java.awt.Color colour)
public static void setLastSaveOrLoadPath(java.lang.String path)
public static java.lang.String getLastDownloadedToPath()
public static void setLastDownloadedToPath(java.lang.String path)
public static java.lang.String getLastSaveOrLoadPath()
public static boolean getUnloadPreviousOnUpload()
public static void setUnloadPreviousOnUpload(boolean unload)
public static boolean getCancelCasesOnUpload()
public static void setCancelCasesOnUpload(boolean cancel)
public static boolean getLaunchCaseOnUpload()
public static void setLaunchCaseOnUpload(boolean launch)
public static boolean getViewPluginToolbar(java.lang.String barName)
public static void setViewPluginToolbar(java.lang.String barName, boolean view)
public static void setCheckForUpdatesOnStart(boolean check)
public static boolean getCheckForUpdatesOnStart()
public static void setPostUpdatesCompleted(boolean completed)
public static boolean getPostUpdatesCompleted()
public static void setHasRunOnce(boolean hasRun)
public static boolean hasRunOnce()
public static void setMaxRecentFiles(int max)
public static java.lang.String getMostRecentFileName()
public static java.util.List<java.lang.String> loadRecentFileList()
public static void pushRecentFile(java.lang.String fullFileName)
public static void removeRecentFile(int pos)