|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.jface.wizard.Wizard
org.gcn.plinguaplugin.simulatorCreator.SimulatorCreatorDisplayer
public class SimulatorCreatorDisplayer
This class provides an user interface for creating simulators for P-systems
Field Summary |
---|
Fields inherited from class org.eclipse.jface.wizard.Wizard |
---|
DEFAULT_IMAGE |
Constructor Summary | |
---|---|
SimulatorCreatorDisplayer(org.gcn.plinguacore.util.psystem.Psystem psystem,
java.lang.String name)
Creates a new SimulatorCreatorDisplayer instance which creates a simulator for the Psystem instance given as argument |
Method Summary | |
---|---|
void |
addPages()
|
boolean |
canFinish()
|
boolean |
getOpenSimulationConsole()
Gets a boolean representing if a simulation console will be shown when the simulator is created |
org.gcn.plinguacore.util.psystem.Psystem |
getPsystem()
Gets the Psystem instance |
PsystemController |
getPsystemController()
Gets the PsystemController instance used by this instance |
java.lang.String |
getPsystemName()
Gets the file name where the original P-system is encoded |
java.lang.String |
getSelectedFile()
Gets the route of the file where the simulator file will be created |
java.lang.String |
getSelectedSimulator()
Gets the ID of the simulator to create |
void |
init(org.eclipse.ui.IWorkbench workbench,
org.eclipse.jface.viewers.IStructuredSelection selection)
|
boolean |
performFinish()
Creates the simulator for the Psystem instance according to the user interface parameters |
protected void |
reportError(java.lang.String route,
java.lang.Exception exception)
Reports if there were an error while creating the simulator file |
void |
setAlternativeSteps(boolean alternativeSteps)
Sets if the simulator to create can execute alternative steps |
void |
setOpenSimulationConsole(boolean openSimulationConsole)
Sets if a simulation console will be shown when the simulator is created |
void |
setPsystem(org.gcn.plinguacore.util.psystem.Psystem psystem)
Sets the Psystem instance for this instance |
void |
setPsystemName(java.lang.String psystemName)
Sets the file name where the original P-system is encoded |
void |
setSelectedFile(java.lang.String simulatorRoute)
Sets the route of the file where the simulator file will be created |
void |
setSelectedSimulator(java.lang.String simulatorID)
Sets the ID of the simulator to create |
void |
setStepsBack(boolean stepsBack)
Sets if the simulator to create can execute steps back |
Methods inherited from class org.eclipse.jface.wizard.Wizard |
---|
addPage, createPageControls, dispose, getContainer, getDefaultPageImage, getDialogSettings, getNextPage, getPage, getPageCount, getPages, getPreviousPage, getShell, getStartingPage, getTitleBarColor, getWindowTitle, isHelpAvailable, needsPreviousAndNextButtons, needsProgressMonitor, performCancel, setContainer, setDefaultPageImageDescriptor, setDialogSettings, setForcePreviousAndNextButtons, setHelpAvailable, setNeedsProgressMonitor, setTitleBarColor, setWindowTitle |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.eclipse.jface.wizard.IWizard |
---|
createPageControls, dispose, getContainer, getDefaultPageImage, getDialogSettings, getNextPage, getPage, getPageCount, getPages, getPreviousPage, getStartingPage, getTitleBarColor, getWindowTitle, isHelpAvailable, needsPreviousAndNextButtons, needsProgressMonitor, performCancel, setContainer |
Constructor Detail |
---|
public SimulatorCreatorDisplayer(org.gcn.plinguacore.util.psystem.Psystem psystem, java.lang.String name)
SimulatorCreatorDisplayer
instance which creates a simulator for the Psystem
instance given as argument
psystem
- the Psystem
instance to provide a simulator forname
- the name of the P-System to create a simulator forMethod Detail |
---|
public PsystemController getPsystemController()
PsystemController
instance used by this instance
PsystemController
instance used by this instancepublic void addPages()
addPages
in interface org.eclipse.jface.wizard.IWizard
addPages
in class org.eclipse.jface.wizard.Wizard
Wizard.addPages()
public void setStepsBack(boolean stepsBack)
stepsBack
- the boolean representing if the simulator to create can execute steps backpublic void setAlternativeSteps(boolean alternativeSteps)
alternativeSteps
- the boolean representing if the simulator to create can execute alternative stepspublic boolean performFinish()
Psystem
instance according to the user interface parameters
performFinish
in interface org.eclipse.jface.wizard.IWizard
performFinish
in class org.eclipse.jface.wizard.Wizard
public void setOpenSimulationConsole(boolean openSimulationConsole)
openSimulationConsole
- a boolean representing if a simulation console will be shown when the simulator is createdpublic boolean getOpenSimulationConsole()
public void init(org.eclipse.ui.IWorkbench workbench, org.eclipse.jface.viewers.IStructuredSelection selection)
init
in interface org.eclipse.ui.IWorkbenchWizard
IWorkbenchWizard.init(org.eclipse.ui.IWorkbench, org.eclipse.jface.viewers.IStructuredSelection)
public void setPsystem(org.gcn.plinguacore.util.psystem.Psystem psystem)
Psystem
instance for this instance
psystem
- the Psystem
instance to be setpublic org.gcn.plinguacore.util.psystem.Psystem getPsystem()
Psystem
instance
Psystem
instancepublic void setSelectedSimulator(java.lang.String simulatorID)
simulatorID
- the ID of the simulator to createpublic java.lang.String getSelectedSimulator()
public java.lang.String getSelectedFile()
public void setSelectedFile(java.lang.String simulatorRoute)
simulatorRoute
- the route of the file where the simulator will be createdpublic boolean canFinish()
canFinish
in interface org.eclipse.jface.wizard.IWizard
canFinish
in class org.eclipse.jface.wizard.Wizard
Wizard.canFinish()
protected void reportError(java.lang.String route, java.lang.Exception exception)
route
- the file route where the simulator were expected to be createdexception
- the exception launched as a result of the file creationpublic void setPsystemName(java.lang.String psystemName)
psystemName
- the file name where the original P-system is encodedpublic java.lang.String getPsystemName()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |