prop-src/dataflow.ph

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //
   3 //  This file contains the interface of the dataflow analyzer generator.
   4 //
   5 ///////////////////////////////////////////////////////////////////////////////
   6 #ifndef dataflow_analyzer_generator_h
   7 #define dataflow_analyzer_generator_h
   8
   9 #include "basics.ph"
  10 #include "codegen.h"
  11 #include "classdef.h"
  12
  13 ///////////////////////////////////////////////////////////////////////////////
  14 //
  15 //  Forward type definitions
  16 //
  17 ///////////////////////////////////////////////////////////////////////////////
  18 datatype Ty and Exp;
  19
  20 ///////////////////////////////////////////////////////////////////////////////
  21 //
  22 //  Datatype 'Domain' is denotes the structure of an abstract domain.
  23 //
  24 ///////////////////////////////////////////////////////////////////////////////
  25 datatype Domain : public Loc =
  26     UNITdom                 // unit
  27   | FINSETdom    Ty         // finite set of a type
  28   | LIFTdom      Domain     // lifted domain
  29   | SUMdom       Domains    // sum domain
  30   | PRODUCTdom   Domains    // product domain
  31
  32 where type Domains = List<Domain>  // a sequence of domains.
  33 ;
  34
  35 ///////////////////////////////////////////////////////////////////////////////
  36 //
  37 //  Pretty printing methods
  38 //
  39 ///////////////////////////////////////////////////////////////////////////////
  40 extern ostream& operator << (ostream&, Domain);
  41
  42 ///////////////////////////////////////////////////////////////////////////////
  43 //
  44 //  Dataflow class definitions
  45 //
  46 ///////////////////////////////////////////////////////////////////////////////
  47 class DataflowClass : public ClassDefinition
  48 {  DataflowClass(const DataflowClass&);
  49    void operator = (const DataflowClass&);
  50 public:
  51    DataflowClass(Id, Inherits, TyQual, Decls);
  52   ~DataflowClass();
  53    virtual void gen_class_interface(CodeGen&);
  54 };
  55
  56 ///////////////////////////////////////////////////////////////////////////////
  57 //
  58 //  The interface of the dataflow analyzer compiler.
  59 //
  60 ///////////////////////////////////////////////////////////////////////////////
  61 class DataflowCompiler : public virtual CodeGen {
  62     DataflowCompiler(const DataflowCompiler&);
  63     void operator = (const DataflowCompiler&);
  64 public:
  65    ////////////////////////////////////////////////////////////////////////////
  66    //
  67    //  Constructor and destructor
  68    //
  69    ////////////////////////////////////////////////////////////////////////////
  70              DataflowCompiler ();
  71     virtual ~DataflowCompiler ();
  72
  73 };
  74
  75 #endif