prop-src/visualize.cc

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //  This file is generated automatically using Prop (version 2.3.6),
   3 //  last updated on Nov 2, 1999.
   4 //  The original source file is "visualize.pcc".
   5 ///////////////////////////////////////////////////////////////////////////////
   6
   7 #line 1 "visualize.pcc"
   8 //////////////////////////////////////////////////////////////////////////////
   9 //
  10 //  This file implements the datatype definitions layout generator
  11 //  for visualizing datatype definitions using vcg.
  12 //
  13 //////////////////////////////////////////////////////////////////////////////
  14
  15 #include <stdarg.h>
  16 #include <iostream>
  17 #include <string.h>
  18 #include "options.h"
  19 #include "compiler.h"
  20 #include "visualize.h"
  21
  22 //////////////////////////////////////////////////////////////////////////////
  23 //
  24 //  Constructor and destructor for class PropVisualizer
  25 //
  26 //////////////////////////////////////////////////////////////////////////////
  27 PropVisualizer::PropVisualizer()
  28    : label_text(text_buffer,sizeof(text_buffer))
  29      { set_stream(label_text); }
  30
  31 PropVisualizer::~PropVisualizer() {}
  32
  33 va_list PropVisualizer::printer(char fmt, va_list arg)
  34 {  bug("%LPropVisualizer::printer %%%c",(int)fmt);
  35    return arg;
  36 }
  37
  38 //////////////////////////////////////////////////////////////////////////////
  39 //
  40 //  Method to make a label
  41 //
  42 //////////////////////////////////////////////////////////////////////////////
  43 void PropVisualizer::add_label(const char * fmt, ...)
  44 {  va_list arg;
  45    va_start (arg,fmt);
  46    outv(fmt,arg);
  47    va_end(arg);
  48 }
  49
  50 //////////////////////////////////////////////////////////////////////////////
  51 //
  52 //  Method to make a label.
  53 //
  54 //////////////////////////////////////////////////////////////////////////////
  55 void PropVisualizer::make_label()
  56 {  label_text << std::ends;
  57
  58    label(text_buffer);
  59
  60    // reset buffer
  61    //label_text.rdbuf()->seekpos(0);
  62    label_text.seekp(0);
  63 }
  64
  65 //////////////////////////////////////////////////////////////////////////////
  66 //
  67 //  This method takes a stream and prints out all the definitions
  68 //  currently processed as Graph Description Language (GDL).
  69 //
  70 //////////////////////////////////////////////////////////////////////////////
  71 void Compiler::print_definitions_as_GDL()
  72 {  PropVisualizer v;
  73
  74    const char * G = "Program definitions";
  75
  76    v . begin_graph(G);
  77
  78    ///////////////////////////////////////////////////////////////////////////
  79    //
  80    //  Specify the layout format
  81    //
  82    ///////////////////////////////////////////////////////////////////////////
  83    v . label(G)                          // the name of the graph
  84      . display_edge_labels(true)         // display labels on edges
  85      . xspace(40)                        // x distance between nodes
  86      . yspace(40)                        // y distance between nodes
  87      . layoutalgorithm(VCG::minbackward) // minimize back edges
  88      . color(VCG::lightblue)             // default color
  89    ;
  90
  91    ///////////////////////////////////////////////////////////////////////////
  92    //
  93    // Layout datatype definitions
  94    //
  95    ///////////////////////////////////////////////////////////////////////////
  96    v . visualize_datatype_definitions();
  97
  98    ///////////////////////////////////////////////////////////////////////////
  99    //
 100    // Layout type definitions
 101    //
 102    ///////////////////////////////////////////////////////////////////////////
 103
 104    ///////////////////////////////////////////////////////////////////////////
 105    //
 106    // Layout graph type definitions
 107    //
 108    ///////////////////////////////////////////////////////////////////////////
 109
 110    ///////////////////////////////////////////////////////////////////////////
 111    //
 112    // Finish constructing the graph and print out the entire GDL
 113    //
 114    ///////////////////////////////////////////////////////////////////////////
 115    v . end_graph(G);
 116
 117
 118    ///////////////////////////////////////////////////////////////////////////
 119    //
 120    // Finally output the graph
 121    //
 122    ///////////////////////////////////////////////////////////////////////////
 123    {  char vcg_file[256];
 124       strcpy(vcg_file, options.file_prefix);
 125       strcat(vcg_file, "vcg");
 126       std::ostream * F = open_output_file(vcg_file);
 127       msg("[Writing vcg output to %s]\n",vcg_file);
 128       v . print_GDL_on(*F);
 129       delete F;
 130    }
 131 }
 132 #line 124 "visualize.pcc"
 133 /*
 134 ------------------------------- Statistics -------------------------------
 135 Merge matching rules         = yes
 136 Number of DFA nodes merged   = 0
 137 Number of ifs generated      = 0
 138 Number of switches generated = 0
 139 Number of labels             = 0
 140 Number of gotos              = 0
 141 Adaptive matching            = enabled
 142 Fast string matching         = disabled
 143 Inline downcasts             = enabled
 144 --------------------------------------------------------------------------
 145 */