Package org.jacop.fz

Class ASTPrint

java.lang.Object
org.jacop.fz.ASTPrint

public class ASTPrint extends Object
ASTPrint.java

Prinitng of AST nodes generated bt jjtree

  • Field Details

    • indent

      private int indent
  • Constructor Details

    • ASTPrint

      public ASTPrint()
  • Method Details

    • indentString

      private String indentString()
    • print

      public void print(Node node)
    • dfs_visit

      private void dfs_visit(Node node)