vis.H

Go to the documentation of this file.

// vis.H

/*
 * 9/17/97 WAH:  Created.
 * 3/5/98 WAH:   Added shape argument to AddNode.
 * 3/17/98 WAH:  Added textcolor and vertical and horizontal order
 *               arguments to AddNode; added textcolor and label to
 *               AddEdge.
 */

#ifndef LEGOUTIL_VISCFG_HEADER
#define LEGOUTIL_VISCFG_HEADER

#include <stdio.h>
#include "lego.H"

class dag;

#define VCG_INDENT (2)

class vcgWriter
{
  FILE *fp;
  int indent;

  void WriteIndent (void)
  {
    for (int i = 0; i < indent; i++)
      fputc (' ', fp);    
  } // end WriteIndent
public:
  vcgWriter (char *fname = NULL)
  {
    if (fname != NULL)
      {
        fp = fopen (fname, "w");
        if (fp == NULL)
          {
            LegoNonFatal ("vcgWriter", "Couldn't open %s - writing to stdout.",
                          fname);
            fp = stdout;
          } // end if
      } // end if
    else
      fp = stdout;
    indent = 0;
    return;
  } // end constructor
  ~vcgWriter() {if (fp != stdout) fclose (fp);}
  int IsValid (void) {return (fp != NULL);}

  void StartGraph (char *title, char *color = NULL, int folding = 0,
                   char *shape = NULL, int bw = 2)
  {
    char buffer[20];

    WriteIndent();
    fputs ("graph: {\n", fp);
    indent += VCG_INDENT;
    WriteIndent();
    fputs ("title: \"", fp);
    fputs (title, fp);
    fputs ("\"\n", fp);
    if (indent == VCG_INDENT)
      {
        WriteIndent();
        fputs ("near_edges: no\n", fp);
        WriteIndent();
        fputs ("display_edge_labels: yes\n", fp);
      } // end if
    if (color != NULL)
      {
        WriteIndent();
        fputs ("color: ", fp);
        fputs (color, fp);
        fputs ("\n", fp);
      } // end if
    if (folding != 0)
      {
        WriteIndent();
        fputs ("folding: 1\n", fp);
      } // end if
    if (bw != 2)
      {
        WriteIndent();
        fputs ("borderwidth: ", fp);
        sprintf (buffer, "%d", bw);
        fputs (buffer, fp);
        fputs ("\n", fp);
      }
    if (shape != NULL)
      {
        WriteIndent();
        fputs ("shape: ", fp);
        fputs (shape, fp);
        fputs ("\n", fp);
      } // end if
    return;
  } // end StartGraph

  void EndGraph (void)
  {
    indent -= VCG_INDENT;
    //    if (indent < 0) indent = 0;
    fputs ("}\n", fp);
  } // end EndGraph

  void AddNode (char *title, char *color, char *shape = NULL,
                char *textcolor = NULL, int vertorder = -1, int hororder = -1)
  {
    WriteIndent();
    fputs ("node: {\n", fp);
    indent += VCG_INDENT;
    WriteIndent();
    fputs ("title: \"", fp);
    fputs (title, fp);
    fputs ("\"\n", fp);
    WriteIndent();
    fputs ("color: ", fp);
    fputs (color, fp);
    fputs ("\n", fp);
    if (shape != NULL)
      {
        WriteIndent();
        fputs ("shape: ", fp);
        fputs (shape, fp);
        fputs ("\n", fp);
      } // end if
    if (textcolor != NULL)
      {
        WriteIndent();
        fputs ("textcolor: ", fp);
        fputs (textcolor, fp);
        fputs ("\n", fp);
      } // end if
    if (vertorder >= 0)
      {
        char numbuf[10];

        WriteIndent();
        fputs ("vertical_order: ", fp);
        sprintf (numbuf, "%d", vertorder);
        fputs (numbuf, fp);
        fputs ("\n", fp);
      } // end if
    WriteIndent();
    fputs ("horizontal_order: ", fp);
    if (hororder >= 0)
      {
        char numbuf[10];

        sprintf (numbuf, "%d", hororder);
        fputs (numbuf, fp);
        fputs ("\n", fp);
      } // end if
    else
      fputs ("2\n", fp);

    indent -= VCG_INDENT;
    WriteIndent();
    fputs ("}\n", fp);
  } // end AddNode

  void AddEdge (char *sn, char *tn, char *color = NULL, int backedge = 0,
                char *textcolor = NULL, char *label = NULL)
  {
    WriteIndent();
    if (!backedge)
      fputs ("edge: {\n", fp);
    else
      fputs ("backedge: {\n", fp);
    indent += VCG_INDENT;
    WriteIndent();
    fputs ("sourcename: \"", fp);
    fputs (sn, fp);
    fputs ("\"\n", fp);
    WriteIndent();
    fputs ("targetname: \"", fp);
    fputs (tn, fp);
    fputs ("\"\n", fp);
    if (color != NULL)
      {
        WriteIndent();
        fputs ("color: ", fp);
        fputs (color, fp);
        fputs ("\n", fp);
      } // end if
    if (textcolor != NULL)
      {
        WriteIndent();
        fputs ("textcolor: ", fp);
        fputs (textcolor, fp);
        fputs ("\n", fp);
      } // end if
    if (label != NULL)
      {
        WriteIndent();
        if (textcolor == NULL)
          {
            fputs ("textcolor: black\n", fp);
            WriteIndent();
          } // end if
        fputs ("label: \"", fp);
        fputs (label, fp);
        fputs ("\"\n", fp);
      } // end if
    indent -= VCG_INDENT;
    WriteIndent();
    fputs ("}\n", fp);
  } // end AddEdge

}; // end class vcgWriter

//HZ:
void DrawTreeRegCFG (legoRegion *region, char *fname = NULL, int bigname = 0);

void DrawProcCFG (legoProc *, char * = NULL, int = 0);
void DrawDAG (dag *, char * = NULL);


#endif // LEGOUTIL_VISCFG_HEADER

---