View source

{{TopNavigation|chapter=Guided Tour}}

Using the {{gom}} option <code>--termgraph</code>, it is possible to automatically
generate from a signature the extended version for term-graphs.  As the {{tom}}
terms are implemented with maximal sharing, so are the term-graphs. Term-graphs
can be specified using label constructors.

{{note |  This example needs dot program, which is a part of Graphviz. It is mandatory to install it to make the Viewer run properly.}}

<source lang="tom">
import testlist.m.types.*;
import testlist.m.*;
import tom.library.sl.*;
import tom.library.utils.Viewer;

public class TestList {

  %include{sl.tom}

  %gom(--termgraph) {
    module m
      abstract syntax

      Term = a()
           | b()
           | c()
           | d()
 
      List = doublelinkedlist(previous:List,element:Term,next:List)
           | nil()
           | insert(element:Term,list:List)

      sort List: graphrules(Insert,Identity) {
       insert(x1,v:doublelinkedlist(p,x2,n)) -> l:doublelinkedlist(p,x1,v:doublelinkedlist(&l,x2,n))  
      }
  }

  public static void main(String[] args) {

    List abcd = (List) 
     `LabList("1", doublelinkedlist(nil(),a(),
       LabList("2",insert(b(),
         LabList("3",doublelinkedlist(RefList("1"),c(),
           doublelinkedlist(RefList("3"),d(),nil()))))))).expand();
    System.out.println("Original subject");
    Viewer.display(abcd);
    System.out.println("Insertion with term-graph rules from Gom");
    try {
      Viewer.display(`TopDown(List.Insert()).visit(abcd));
    } catch(VisitFailure e) {
      System.out.println("Unexcepted failure!");
    } 
  }

}
</source>

Users can define a system of term-graph rules and it is automatically compiled
in a basic {{tom}} strategy. These term-graph rewriting rules can then be
integrated in a more complex strategy using {{tom}} strategy combinators. As a
consequence, all {{tom}} features are available for term-graphs.

{{Navigation|chapter=Guided Tour}}
[[Category:Documentation]]