Authors: Chris Bak and Glyn Faulkner (May 14th 2015)
GP 2 is a graph programming language. Graph programs consist of two text files. The first is a specification of the graph program, namely a set of graph transformation rules and a procedural-style command sequence to organise rule application. The second describes an initial host graph to which the graph program is applied. These text files can be written in a text editor. A graphical editor is under development to construct programs visually. Graph programs are executed by either passing them to an interpreter, or by compiling to native code.
The Compiler directory contains a C compiler that translates GP 2 textual programs to executable C code. Instructions for building and running the compiler are contained in the directory.
The Haskell directory contains a reference interpreter for GP 2 implemented in Haskell, a compiler that generates OILR Machine instructions (see below), and several ancillary tools for viewing and testing GP 2 host graphs.
Typing make in the Haskell directory produces the following binaries:
gp2: The GP2 reference interpreter.
gp2c: The OILR machine compiler, which generates a C file that can be compiled and linked against the OILR Machine runtime.
ViewGraph: A host graph visualiser (using GraphViz as a back-end).
IsoChecker: A standalone host graph comparison tool, which checks whether two host graphs are isomorphic.
The OILR machine is a specialised graph language abstract machine.
Typing make in the OilrMachine directory builds the OILR runtime, oilrrt.a using a simplistic graph representation.
To build the OILR runtime using the full graph data structure:
make -f Makefile.gp2
Compile a GP 2 program to C:
gp2c prog.gp2 graph.host
To compile a GP 2 program generated by gp2c, you will need the runtime static library, and the two header files oilrrt.h and oilrinst.h.
gcc -o prog prog.c oilrrt.a