public class StateBasedWithParametersCommand
extends org.eclipse.core.commands.AbstractHandler
implements java.lang.Runnable
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
COMMAND_ID |
Constructor and Description |
---|
StateBasedWithParametersCommand() |
Modifier and Type | Method and Description |
---|---|
static void |
displayMessage(org.eclipse.swt.widgets.Shell parent,
java.lang.String message,
int kind) |
java.lang.Object |
execute(org.eclipse.core.commands.ExecutionEvent event) |
static java.lang.String |
getModelPath() |
void |
run() |
java.lang.String |
runStateBased(java.lang.String modelPath,
java.lang.String parametersFilePath,
java.lang.String resultAnalysisPathFile)
Runs the state based analysis
|
public static final java.lang.String COMMAND_ID
public java.lang.Object execute(org.eclipse.core.commands.ExecutionEvent event) throws org.eclipse.core.commands.ExecutionException
execute
in interface org.eclipse.core.commands.IHandler
org.eclipse.core.commands.ExecutionException
public java.lang.String runStateBased(java.lang.String modelPath, java.lang.String parametersFilePath, java.lang.String resultAnalysisPathFile) throws java.io.IOException
modelPath
- the absolute path of the CHESS model fileresultAnalysisPathFile
- the absolute path of the analysis result filejava.io.IOException
public static void displayMessage(org.eclipse.swt.widgets.Shell parent, java.lang.String message, int kind)
public void run()
run
in interface java.lang.Runnable
public static java.lang.String getModelPath()