| # any text: |
|---|
| comment until newline. |
| echo <text>: |
|---|
| display text on the screen. |
| debug ((error | warning | debug) // ,): |
|---|
| set debug mask. |
| include <filename>: |
|---|
| include commands from file <filename>. |
| stat: |
|---|
| query the graph for a status report. |
| quit: |
|---|
| exit from grshell. |
| new backend <filename> : (<text> // ,): |
|---|
| Make a new backend from library <filename> and give separated texts asparameters. |
| new graph <filename> <name>: |
|---|
| load a graph model and make a new graph with name <name>. |
| open graph <filename> <name>: |
|---|
| load a graph model and open a graph with name <name>. |
| new actions <filename>: |
|---|
| load an action model from library <filename> an instantiate it. |
| show backend <filename>: |
|---|
| show the parameters of a backend in a shared library <filename>. |
| show nodes [<type>]: |
|---|
| show all nodes. Give type for a restriction. |
| show node types: |
|---|
| list all node types. |
| show edge types: |
|---|
| show all edge types. |
| show actions: |
|---|
| show all actions. |
| show graph <unix-command>: |
|---|
| dump graph to an aux file and show it via <unix-command>. |
| show node <nid> attribute: |
|---|
| show all attributes of node <nid>. |
| show node attribute [<type>]: |
|---|
| show all node attributes. Give type for a restriction. |
| show edge <eid> attribute: |
|---|
| show all attributes of edge <eid>. |
| show edge attribute [<type>]: |
|---|
| show all edge attributes. Give type for a restriction. |
| grs ( <action> [ *' | '{'<count>'}'] )* : |
|---|
| Graph Rewrite Sequence: apply the rule <action> to the graph and repeat if requested <count> or '*' times. |
| new node <type>: |
|---|
| make a new node of type <type>. |
| new edge <type> <nid1> <nid2>: |
|---|
| make a new edge of type <type> from node id <nid1> to node id <nid2>. |
| delete node <nid>: |
|---|
| delete node with node id <nid>. |
| delete edge <eid>: |
|---|
| delete edge with edge id <eid>. |
| node type <type1> is <type2>: |
|---|
| check, if node type <type1> is a <type2>. |
| edge type <type1> is <type2>: |
|---|
| check, if edge type <type1> is a <type2>. |
| node <nid> -> <name>: |
|---|
| Retrieves attribute <name> of node <nid>. |
| node <nid> -> <name> = <value>: |
|---|
| Sets attribute <name> of node <nid> to <value>. |
| edge <eid> -> <name>: |
|---|
| Retrieves attribute <name> of edge <eid>. |
| edge <eid> -> <name> = <value>: |
|---|
| Sets attribute <name> of edge <eid> to <value>. |
| dump exclude node <type>: |
|---|
| Remove all nodes of <type> from dump. |
| edge color <type> = <color>: |
|---|
| Colors edges of <type> with color <color>. |
| node color <type> = <color>: |
|---|
| Colors nodes of <type> with color <color>. |
| edge label (ON|OFF): |
|---|
| enables/disables edge labels in graph dump. |
| group node <type>: |
|---|
| nodes of type <type> group other nodes by its incoming edges. |
| custom <what> <argument>: |
|---|
| execute a graph model dependent command. |
| complex: |
|---|
| uses rules to optimize the program graph with complex instructions. |
