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 / TestNode.h < prev    next >
C/C++ Source or Header  |  1998-11-23  |  3KB  |  108 lines
  1. // $Id: TestNode.h,v 1.10 1998/11/23 17:43:35 zeller Exp $
  2. // VSL if..then..else..fi construct
  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. #ifndef _DDD_TestNode_h
  30. #define _DDD_TestNode_h
  31.  
  32. #ifdef __GNUG__
  33. #pragma interface
  34. #endif
  35.  
  36.  
  37. // A TestNode implements an if-then-else-fi construct.
  38.  
  39. // A TestNode contains a List of length 3.  Upon evaluation, the wird
  40. // first list elem is evaluated.  If it is != 0, the result is the
  41. // second list element; otherise, the third element in the list.
  42.  
  43.  
  44. #include "assert.h"
  45. #include <iostream.h>
  46.  
  47. #include "VSLNode.h"
  48. #include "ListNode.h"
  49. #include "CallNode.h"
  50. #include "TrueNode.h"
  51.  
  52.  
  53.  
  54. // TestNode
  55.  
  56. class TestNode: public CallNode {
  57. public:
  58.     DECLARE_TYPE_INFO
  59.  
  60. private:
  61.     ListNode *_test() const  { return (ListNode *)arg(); }
  62.     ListNode *_true() const  { return (ListNode *)(_test()->tail()); }
  63.     ListNode *_false() const { return (ListNode *)(_true()->tail()); }
  64.  
  65. protected:
  66.     void dump(ostream& s) const;
  67.     void _dumpTree(ostream& s) const;
  68.  
  69.     TestNode(const TestNode& node):
  70.     CallNode(node)
  71.     {}
  72.  
  73.     // Dummy functions (never called)
  74.     char *func_name() const       { assert(0); return "test"; }
  75.     const Box *call(Box *) const  { assert(0); return 0; }
  76.  
  77. public:
  78.     // Constructor
  79.     TestNode(VSLNode *tst, VSLNode *t, VSLNode *f, 
  80.          char *type = "TestNode")
  81.     : CallNode(new FixListNode(tst, t, f), type)
  82.     {}
  83.  
  84.     // Resources
  85.     VSLNode *&test()     { return _test()->head();  }
  86.     VSLNode *&thetrue()  { return _true()->head();  }
  87.     VSLNode *&thefalse() { return _false()->head(); }
  88.  
  89.     VSLNode *test() const     { return _test()->head();  }
  90.     VSLNode *thetrue() const  { return _true()->head();  }
  91.     VSLNode *thefalse() const { return _false()->head(); }
  92.  
  93.     // Copy
  94.     VSLNode *dup() const { return new TestNode(*this); }
  95.  
  96.     const Box *_eval(ListBox *arglist) const;
  97.     
  98.     int foldConsts(VSLDef *cdef, VSLNode** node);
  99.     int resolveDefs(VSLDef *cdef, bool complain_recursive);
  100.  
  101.     bool isTestNode() const { return true; }
  102.  
  103.     // Representation invariant
  104.     bool OK() const;
  105. };
  106.  
  107. #endif
  108.