Main menu:

Site search

Categories

Archive

Archive for November, 2007

Double-click on a label = hide

GROOVE offers quite some functionality for showing and hiding nodes and edges. Most of these features are accessed from the right mouse-button menu of the elements of a graph or the elements in the labels-list on the right side of the interface. By doubleclicking on one of the labels in this list, all edges with […]

Display Format

Production Rules
A GROOVE production rule is itself a graph combining four kinds of elements (i.e., nodes and edges). They are distinguished by color and shape. An example containing all types of elements is in the next picture (which represents the adding of an Object to a Buffer, becoming the last element of the Buffer).

Reader nodes […]

Yourkit Profiler logo

The development of the tool was assisted by the use
of the Yourkit Java Profiler.
yWorks logo
The javadoc documentation is generated
using the yDoc doclet by yWorks.