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 / vsllib / struct.vsl < prev    next >
Text File  |  1998-11-23  |  3KB  |  103 lines
  1. // $Id: struct.vsl,v 1.6 1998/11/23 13:53:02 zeller Exp $
  2. // Draw structograms
  3.  
  4. // Copyright (C) 1993 Technische Universitaet Braunschweig, Germany.
  5. // Written by Andreas Zeller <zeller@ips.cs.tu-bs.de>.
  6. // 
  7. // This file is part of the DDD Library.
  8. // 
  9. // The DDD Library is free software; you can redistribute it and/or
  10. // modify it under the terms of the GNU Library 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. // The DDD Library 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 Library General Public License for more details.
  18. // 
  19. // You should have received a copy of the GNU Library General Public
  20. // License along with the DDD Library -- see the file COPYING.LIB.
  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. #include "std.vsl"
  30. #include "tab.vsl"
  31. #include "slopes.vsl"
  32.  
  33. // Version
  34. struct_version() = "$Revision: 1.6 $";
  35.  
  36. // Structograms
  37.  
  38. // framedListStruct() creates a vertical list, separated by horizontal lines
  39.  
  40. _framedListStruct(stmt) = stmt;
  41. _framedListStruct(stmt, ...) = 
  42.   _framedListStruct(stmt)
  43. | hrule()
  44. | _framedListStruct(...);
  45.  
  46. framedListStruct(...) = 
  47.   vfix(_framedListStruct(...));
  48.  
  49.  
  50. // topLoopStruct() creates a while loop
  51.  
  52. topLoopStruct(cond, body) =
  53.   cond
  54. | indent(hrule() | vrule() & body);
  55.  
  56.  
  57. // bottomLoopStruct() creates a do-while loop
  58.  
  59. bottomLoopStruct(body, cond) =
  60.   indent(vrule() & body | hrule())
  61. | cond;
  62.  
  63.  
  64. // topBottomLoopStruct() creates a loop with entry and exit conditions
  65.  
  66. topBottomLoopStruct(cond1, body, cond2) =
  67.   cond1
  68. | indent(hrule() | vrule() & body | hrule())
  69. | cond2;
  70.  
  71.  
  72. // fallStruct() creates a box separated by a diagonal line `\'
  73. // riseStruct() creates a box separated by a diagonal line `/'
  74.  
  75. _fallStruct(sw, ne) =
  76.   fall() ^ sw_flush(sw) ^ ne_flush(ne) ^ (sw + ne + rulethickness()) 
  77. | hrule();
  78. fallStruct(sw, ne) = _fallStruct(sw, ne);
  79.  
  80. _riseStruct(nw, se) = 
  81.   rise() ^ nw_flush(nw) ^ se_flush(se) ^ (nw + se + rulethickness())
  82. | hrule();
  83. riseStruct(nw, se) = _riseStruct(nw, se);
  84.  
  85.  
  86. // testStruct() creates a test box
  87.  
  88. testStruct(cond, leftbody, rightbody, leftlabel, rightlabel) =
  89.  
  90.   let width = hspace(leftlabel | leftbody | rightlabel | rightbody | cond) in
  91.  
  92.   let height = vspace((leftlabel & rightlabel) | cond) in
  93.  
  94.   let ltop = width ^ fall() ^ sw_flush(leftlabel),
  95.       rtop = width ^ rise() ^ se_flush(rightlabel),
  96.       top = ((ltop & rtop) ^ n_flush(cond)) ^ height in
  97.  
  98.   let lbottom = leftbody ^ width,
  99.       rbottom = rightbody ^ width,
  100.       bottom = (lbottom & vrule() & rbottom) in
  101.  
  102.   top | hrule() | bottom;
  103.