next up previous contents
Next: Defining Types for Graph Up: Editing Previous: The AGG Graphical User   Contents

Creating and Deleting Graph Grammars and their Components

In menu File, a new graph grammar may be created by clicking on menu entry New GraGra. A new graph grammar named $GraGra$ is created, together with the start graph named $Graph$ and one rule named $Rule$ by default. These new components are shown in the tree view window where the default names can be changed by clicking on the name text field twice. The default edit mode is the $Draw$ mode, and the new empty start graph and the empty rule $Rule0$ have been loaded into their graphical editors where graphs may be drawn. Using pop-up menus one can modify the structure of a grammar elements and obtain their functionalities.
To create a new rule for the currently selected graph grammar, the pop-up menu of GraGra has to be used choosing item New Rule. To create a new negative application condition (NAC) for the currently selected rule, the pop-up menu of Rule has to be used choosing New NAC item. Such pop-up menus will appear after pressing the right mouse button when the cursor points to the corresponding node of the grammar tree. Again, the newly created items are added to the tree view where they can be renamed or selected for editing. A graph grammar is closed by selecting item Close in menu File while the graph grammar to be closed is selected (highlighted in the tree view) or using the pop-up menu of GraGra. A rule or a NAC is deleted by selecting the item Delete of the appropriate pop-up menu.
A grammar may contain a type graph. It can be created by selecting the item New Type Graph of the pop-up menu of GraGra. The pop-up menu of type graph is visited to decide how the type graph should be used during editing graphs and applying rules.
Moreover, a grammar may contain some atomic graph constraints and logical constraints (formulae) based on atomic graph constraints. The pop-up menu of GraGra allows creating and checking such components and their own pop-up menus - editing and deleting.


next up previous contents
Next: Defining Types for Graph Up: Editing Previous: The AGG Graphical User   Contents
Olga Runge 2006-08-16