ConForM.CoopnTools.CoKer.ScenarioVisual
Class ScenarioGraph

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.Visual.GraphicalPicture
        |
        +--ConForM.CoopnTools.CoKer.ScenarioVisual.ScenarioGraph
All Implemented Interfaces:
GraphicalVisualRenderable, GraphicalVisualRenderableGroup, javax.swing.undo.StateEditable

public class ScenarioGraph
extends GraphicalPicture

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

ScenarioGraph

public 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.
Parameters:
scenario - the scenario
spec - the involved specification
isSemantics - true iff this scenario is the semantics
aspectName - the name of aspect to use; a NULL values means the default aspect names
discriminatePartiallyExplored - discriminates the partially explorated states
amgr - the aspect managed to use; cannot be null
specificHelpMenu - the specific help menu, or null
env - the environment to use; cannot be null

ScenarioGraph

public 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. This method is devoted to specific sub-classes of class models, so they can do their job.
Parameters:
scenario - the scenario
spec - the involved specification
isSemantics - true iff this scenario is the semantics
aspectName - the name of aspect to use; a NULL values means the default aspect names
discriminatePartiallyExplored - discriminates the partially explorated states
amgr - the aspect managed to use; cannot be null
specificFileMenu - the specific file menu items
specificEditMenu - the specific edit menu items
specificViewMenu - the specific view menu items
specificMenu - the specific menu
specificHelpMenu - the specific help menu, or null
specificAction - the specific toolbar actions
env - the environment to use; cannot be null

ScenarioGraph

public ScenarioGraph(Scenario scenario,
                     CoopnSpec spec,
                     boolean isSemantics,
                     AspectMgr amgr,
                     javax.swing.JMenuItem[] specificHelpMenu,
                     CoopnEnv env)
              throws java.lang.IllegalAccessException
Creates a new scenario graph, using an aspect and parameters asked in an interactive dialog.
Parameters:
scenario - the scenario
spec - the involved specification
isSemantics - true iff this scenario is the semantics
amgr - the aspect managed to use
specificHelpMenu - the specific help menu
env - the environment to use
Throws:
java.lang.IllegalAccessException - the user cancelled the dialog.
Method Detail

use

public void use()
Uses an enrichment graph.
Overrides:
use in class GraphicalPicture

dispose

public void dispose()
Leave an enrichment graph. This method release the resources used by this graph, if it is not used any more.
Overrides:
dispose in class GraphicalPicture

packageName

public java.lang.String packageName()
Get the name of the package of the model associated to this picture; may be null iff no package.
Overrides:
packageName in class GraphicalPicture

packageMgr

public PackageMgr packageMgr()
Get the package manager used to access the package of the model associated to this picture.
Overrides:
packageMgr in class GraphicalPicture

reOpenPossible

public boolean reOpenPossible()
Look if the picture is able to perform a re-open.
Overrides:
reOpenPossible in class GraphicalPicture
Returns:
true iff reOpen is possible

openPossible

public boolean openPossible()
Look if the picture is able to perform an open.
Overrides:
openPossible in class GraphicalPicture
Returns:
true iff open is possible

open

public GraphicalPicture open(java.lang.String aspectName)
Open a scenario using a specified aspect name.
Overrides:
open in class GraphicalPicture
Parameters:
aspectName - the name of the aspect to use
Returns:
a new scenario graph, reflecting the same graph.

open

public GraphicalPicture open(java.lang.String aspectName,
                             boolean discriminatePartiallyExplored)
Open a scenario graph using a specified aspect name.
Parameters:
aspectName - the name of the aspect to use
Returns:
a new scenario graph, reflecting the same graph.

open

public GraphicalPicture open()
Open a scenario graph using a dialog to configurate it.
Returns:
a new class model, reflecting the same model (same modules).

savePossible

public boolean savePossible()
Look if the picture is able to save its aspect.
Overrides:
savePossible in class GraphicalPicture
Returns:
true iff save is possible

saveAsPossible

public boolean saveAsPossible()
Look if the picture is able to save its aspect under a specified name.
Overrides:
saveAsPossible in class GraphicalPicture
Returns:
true iff saveAs is possible

saveAs

public boolean saveAs(java.lang.String aspectName)
Save the aspect of the class model, as a particular aspect name.
Overrides:
saveAs in class GraphicalPicture
Parameters:
aspectName - the name of the aspect to use, or null for default name
Returns:
true iff the save succeeded.

title

public java.lang.String title()
Get the title of the graph.
Overrides:
title in class GraphicalPicture
Returns:
the title of the graph.

name

public java.lang.String name()
Get the name of the graph.
Overrides:
name in class GraphicalPicture
Returns:
the name of the graph.

isDiscriminatePartiallyExplored

public boolean isDiscriminatePartiallyExplored()
Look if the graph is complete.

specificFileMenu

public javax.swing.JMenuItem[] specificFileMenu()
Get the specific file menu.
Overrides:
specificFileMenu in class GraphicalPicture
Returns:
the specific file menu.

specificEditMenu

public javax.swing.JMenuItem[] specificEditMenu()
Get the specific edit menu.
Overrides:
specificEditMenu in class GraphicalPicture
Returns:
the specific edit menu.

specificViewMenu

public javax.swing.JMenuItem[] specificViewMenu()
Get the specific view menu.
Overrides:
specificViewMenu in class GraphicalPicture
Returns:
the specific view menu.

specificHelpMenu

public javax.swing.JMenuItem[] specificHelpMenu()
Get the specific help menu.
Overrides:
specificHelpMenu in class GraphicalPicture
Returns:
the specific help menu.

specificMenu

public javax.swing.JMenu[] specificMenu()
Get the specific menus.
Overrides:
specificMenu in class GraphicalPicture
Returns:
the name of the graph.

specificAction

public javax.swing.Action[] specificAction()
Get the specific actions to put in the tool bar.
Overrides:
specificAction in class GraphicalPicture
Returns:
the specific action. Any element member of the interface GraphicalVisualEditoredMenuItem has its editor set by the editor associated to this renderable.

createStateNode

public ScenarioGraphicalState createStateNode(GraphicalVisualRenderableGroup parent,
                                              State state,
                                              java.lang.String stateName,
                                              boolean initial,
                                              boolean totally)

createGraphicalStep

public ScenarioGraphicalTransition createGraphicalStep(GraphicalVisualRenderableGroup parent,
                                                       Step step,
                                                       java.lang.String stepName,
                                                       AbstractGraphicalShape startingState,
                                                       AbstractGraphicalShape endingState)