|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.Visual.GraphicalPicture | +--ConForM.CoopnTools.CoKer.ScenarioVisual.ScenarioGraph
Scenario Graoh.
Fields inherited from interface javax.swing.undo.StateEditable |
RCSID |
Constructor Summary | |
ScenarioGraph(Scenario scenario,
CoopnSpec spec,
boolean isSemantics,
AspectMgr amgr,
javax.swing.JMenuItem[] specificHelpMenu,
CoopnEnv env)
Creates a new scenario graph, using an aspect and parameters asked in an interactive dialog. |
|
ScenarioGraph(Scenario scenario,
CoopnSpec spec,
boolean isSemantics,
java.lang.String aspectName,
boolean discriminatePartiallyExplored,
AspectMgr amgr,
javax.swing.JMenuItem[] specificHelpMenu,
CoopnEnv env)
Creates a new scenario graph. |
|
ScenarioGraph(Scenario scenario,
CoopnSpec spec,
boolean isSemantics,
java.lang.String aspectName,
boolean discriminatePartiallyExplored,
AspectMgr amgr,
javax.swing.JMenuItem[] specificFileMenu,
javax.swing.JMenuItem[] specificEditMenu,
javax.swing.JMenuItem[] specificViewMenu,
javax.swing.JMenu[] specificMenu,
javax.swing.JMenuItem[] specificHelpMenu,
javax.swing.Action[] specificAction,
CoopnEnv env)
Creates a new class model for a specificied list of modules, with a specified aspect name. |
Method Summary | |
ScenarioGraphicalTransition |
createGraphicalStep(GraphicalVisualRenderableGroup parent,
Step step,
java.lang.String stepName,
AbstractGraphicalShape startingState,
AbstractGraphicalShape endingState)
|
ScenarioGraphicalState |
createStateNode(GraphicalVisualRenderableGroup parent,
State state,
java.lang.String stateName,
boolean initial,
boolean totally)
|
void |
dispose()
Leave an enrichment graph. |
boolean |
isDiscriminatePartiallyExplored()
Look if the graph is complete. |
java.lang.String |
name()
Get the name of the graph. |
GraphicalPicture |
open()
Open a scenario graph using a dialog to configurate it. |
GraphicalPicture |
open(java.lang.String aspectName)
Open a scenario using a specified aspect name. |
GraphicalPicture |
open(java.lang.String aspectName,
boolean discriminatePartiallyExplored)
Open a scenario graph using a specified aspect name. |
boolean |
openPossible()
Look if the picture is able to perform an open. |
PackageMgr |
packageMgr()
Get the package manager used to access the package of the model associated to this picture. |
java.lang.String |
packageName()
Get the name of the package of the model associated to this picture; may be null iff no package. |
boolean |
reOpenPossible()
Look if the picture is able to perform a re-open. |
boolean |
saveAs(java.lang.String aspectName)
Save the aspect of the class model, as a particular aspect name. |
boolean |
saveAsPossible()
Look if the picture is able to save its aspect under a specified name. |
boolean |
savePossible()
Look if the picture is able to save its aspect. |
javax.swing.Action[] |
specificAction()
Get the specific actions to put in the tool bar. |
javax.swing.JMenuItem[] |
specificEditMenu()
Get the specific edit menu. |
javax.swing.JMenuItem[] |
specificFileMenu()
Get the specific file menu. |
javax.swing.JMenuItem[] |
specificHelpMenu()
Get the specific help menu. |
javax.swing.JMenu[] |
specificMenu()
Get the specific menus. |
javax.swing.JMenuItem[] |
specificViewMenu()
Get the specific view menu. |
java.lang.String |
title()
Get the title of the graph. |
void |
use()
Uses an enrichment graph. |
Methods inherited from class ConForM.CoopnTools.CoKer.Visual.GraphicalPicture |
actionOnMultipleClick, addComponent, boundingBox, componentChanged, components, deselect, export, paint, pointedElement, print, removeComponent, reOpen, restoreState, save, saveAspect, saveAspectAs, saveAspectAsPossible, saveAspectPossible, selectElement, selectInfo, selectLabel, setEditables, specificPictureAcceleratorKey, specificPictureAcceleratorKey2, specificPopup, storeState |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ScenarioGraph(Scenario scenario, CoopnSpec spec, boolean isSemantics, java.lang.String aspectName, boolean discriminatePartiallyExplored, AspectMgr amgr, javax.swing.JMenuItem[] specificHelpMenu, CoopnEnv env)
scenario
- the scenariospec
- the involved specificationisSemantics
- true iff this scenario is the semanticsaspectName
- the name of aspect to use; a NULL values
means the default aspect namesdiscriminatePartiallyExplored
- discriminates the partially explorated statesamgr
- the aspect managed to use; cannot be nullspecificHelpMenu
- the specific help menu, or nullenv
- the environment to use; cannot be nullpublic ScenarioGraph(Scenario scenario, CoopnSpec spec, boolean isSemantics, java.lang.String aspectName, boolean discriminatePartiallyExplored, AspectMgr amgr, javax.swing.JMenuItem[] specificFileMenu, javax.swing.JMenuItem[] specificEditMenu, javax.swing.JMenuItem[] specificViewMenu, javax.swing.JMenu[] specificMenu, javax.swing.JMenuItem[] specificHelpMenu, javax.swing.Action[] specificAction, CoopnEnv env)
scenario
- the scenariospec
- the involved specificationisSemantics
- true iff this scenario is the semanticsaspectName
- the name of aspect to use; a NULL values
means the default aspect namesdiscriminatePartiallyExplored
- discriminates the partially explorated statesamgr
- the aspect managed to use; cannot be nullspecificFileMenu
- the specific file menu itemsspecificEditMenu
- the specific edit menu itemsspecificViewMenu
- the specific view menu itemsspecificMenu
- the specific menuspecificHelpMenu
- the specific help menu, or nullspecificAction
- the specific toolbar actionsenv
- the environment to use; cannot be nullpublic ScenarioGraph(Scenario scenario, CoopnSpec spec, boolean isSemantics, AspectMgr amgr, javax.swing.JMenuItem[] specificHelpMenu, CoopnEnv env) throws java.lang.IllegalAccessException
scenario
- the scenariospec
- the involved specificationisSemantics
- true iff this scenario is the semanticsamgr
- the aspect managed to usespecificHelpMenu
- the specific help menuenv
- the environment to usejava.lang.IllegalAccessException
- the user cancelled the dialog.Method Detail |
public void use()
use
in class GraphicalPicture
public void dispose()
dispose
in class GraphicalPicture
public java.lang.String packageName()
packageName
in class GraphicalPicture
public PackageMgr packageMgr()
packageMgr
in class GraphicalPicture
public boolean reOpenPossible()
reOpenPossible
in class GraphicalPicture
public boolean openPossible()
openPossible
in class GraphicalPicture
public GraphicalPicture open(java.lang.String aspectName)
open
in class GraphicalPicture
aspectName
- the name of the aspect to usepublic GraphicalPicture open(java.lang.String aspectName, boolean discriminatePartiallyExplored)
aspectName
- the name of the aspect to usepublic GraphicalPicture open()
public boolean savePossible()
savePossible
in class GraphicalPicture
public boolean saveAsPossible()
saveAsPossible
in class GraphicalPicture
public boolean saveAs(java.lang.String aspectName)
saveAs
in class GraphicalPicture
aspectName
- the name of the aspect to use,
or null for default namepublic java.lang.String title()
title
in class GraphicalPicture
public java.lang.String name()
name
in class GraphicalPicture
public boolean isDiscriminatePartiallyExplored()
public javax.swing.JMenuItem[] specificFileMenu()
specificFileMenu
in class GraphicalPicture
public javax.swing.JMenuItem[] specificEditMenu()
specificEditMenu
in class GraphicalPicture
public javax.swing.JMenuItem[] specificViewMenu()
specificViewMenu
in class GraphicalPicture
public javax.swing.JMenuItem[] specificHelpMenu()
specificHelpMenu
in class GraphicalPicture
public javax.swing.JMenu[] specificMenu()
specificMenu
in class GraphicalPicture
public javax.swing.Action[] specificAction()
specificAction
in class GraphicalPicture
public ScenarioGraphicalState createStateNode(GraphicalVisualRenderableGroup parent, State state, java.lang.String stateName, boolean initial, boolean totally)
public ScenarioGraphicalTransition createGraphicalStep(GraphicalVisualRenderableGroup parent, Step step, java.lang.String stepName, AbstractGraphicalShape startingState, AbstractGraphicalShape endingState)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |