home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 1999 March / PCWK3A99.iso / Linux / DDD331 / DDD-3_1_.000 / DDD-3_1_ / ddd-3.1.1 / ddd / VSLNode.C < prev    next >
Encoding:
C/C++ Source or Header  |  1998-11-23  |  3.0 KB  |  151 lines
  1. // $Id: VSLNode.C,v 1.8 1998/11/23 17:43:45 zeller Exp $
  2. // VSL Nodes
  3.  
  4. // Copyright (C) 1995 Technische Universitaet Braunschweig, Germany.
  5. // Written by Andreas Zeller <zeller@ips.cs.tu-bs.de>.
  6. // 
  7. // This file is part of DDD.
  8. // 
  9. // DDD is free software; you can redistribute it and/or
  10. // modify it under the terms of the GNU General Public
  11. // License as published by the Free Software Foundation; either
  12. // version 2 of the License, or (at your option) any later version.
  13. // 
  14. // DDD is distributed in the hope that it will be useful,
  15. // but WITHOUT ANY WARRANTY; without even the implied warranty of
  16. // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  17. // See the GNU General Public License for more details.
  18. // 
  19. // You should have received a copy of the GNU General Public
  20. // License along with DDD -- see the file COPYING.
  21. // If not, write to the Free Software Foundation, Inc.,
  22. // 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  23. // 
  24. // DDD is the data display debugger.
  25. // For details, see the DDD World-Wide-Web page, 
  26. // `http://www.cs.tu-bs.de/softech/ddd/',
  27. // or send a mail to the DDD developers <ddd@ips.cs.tu-bs.de>.
  28.  
  29. char VSLNode_rcsid[] = 
  30.     "$Id: VSLNode.C,v 1.8 1998/11/23 17:43:45 zeller Exp $";
  31.  
  32. #ifdef __GNUG__
  33. #pragma implementation
  34. #endif
  35.  
  36.  
  37. #include "assert.h"
  38. #include <iostream.h>
  39.  
  40. #include "VSLLib.h"
  41. #include "VSEFlags.h"
  42.  
  43. #include "VSLNode.h"
  44.  
  45. DEFINE_TYPE_INFO_0(VSLNode)
  46.  
  47. // VSLNode
  48.  
  49. // Flag: Are side effects allowed?
  50. bool VSLNode::sideEffectsProhibited = false;
  51.  
  52.     // Flag: have side effects been observed?
  53. bool VSLNode::sideEffectsOccured    = false;
  54.  
  55. // Dump VSL expression
  56. ostream& operator << (ostream& s, const VSLNode& node)
  57. {
  58.     node.dump(s);
  59.     return s;
  60. }
  61.  
  62. // ...as tree
  63. void VSLNode::dumpTree(ostream& s) const
  64. {
  65.     static unsigned depth = 1;
  66.  
  67.     s << "\n";
  68.     for (unsigned i = 0; i < depth; i++)
  69.     s << "  ";
  70.  
  71.     depth++;
  72.     s << _type << "(";
  73.     _dumpTree(s);
  74.     s << ")";
  75.     depth--;
  76. }
  77.  
  78.  
  79. // Evaluate
  80. const Box *VSLNode::eval(ListBox *arglist) const
  81. {
  82.     if (VSEFlags::show_tiny_eval)
  83.     {
  84.     cout << "\n" << *this;
  85.     if (arglist)
  86.         cout << " " << *arglist;
  87.  
  88.     cout << ": ";
  89.     cout.flush();
  90.     }
  91.  
  92.     const Box *box = _eval(arglist);
  93.  
  94.     if (VSEFlags::show_tiny_eval)
  95.     {
  96.     cout << "\n" << *this;
  97.     if (arglist)
  98.         cout << " " << *arglist;
  99.  
  100.     if (box == 0)
  101.         cout << " FAILS";
  102.     else
  103.         cout << " = " << *box;
  104.  
  105.     cout.flush();
  106.     }
  107.  
  108.     return box;
  109. }
  110.  
  111.  
  112. // Compare boxes
  113.  
  114. bool VSLNode::bothSidesCanMatch = false;
  115.  
  116. bool VSLNode::operator == (const VSLNode &node) const
  117. {
  118.     if (VSEFlags::show_match_nodes)
  119.     {
  120.     cout << "\nNode match: " << *this << " ? " << node;
  121.     cout.flush();
  122.     }
  123.  
  124.     bool flag = (this == &node) || matches(node);
  125.  
  126.     if (bothSidesCanMatch)
  127.     flag = flag || node.matches(*this);
  128.  
  129.     if (VSEFlags::show_match_nodes)
  130.     {
  131.     if (flag)
  132.         cout << "\nNode match: " << *this << " == " << node;
  133.     else
  134.         cout << "\nNode match: " << *this << " != " << node;
  135.     
  136.     cout.flush();
  137.     }
  138.  
  139.     return flag;
  140. }
  141.  
  142.  
  143. // Debugging
  144.  
  145. // Representation invariant
  146. bool VSLNode::OK() const
  147. {
  148.     assert (_type != 0);
  149.     return true;
  150. }
  151.