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 / symbols.vsl < prev    next >
Text File  |  1998-11-23  |  2KB  |  49 lines
  1. // $Id: symbols.vsl,v 1.6 1998/11/23 13:53:03 zeller Exp $
  2. // VSL symbols
  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.  
  31. // Symbol sizes
  32. _symbol_size(x) = x;
  33. _symbol_size()  = square(vspace("A")) - 3;
  34.  
  35. symbol_size(...) = even(_symbol_size(...)) - 1;
  36.  
  37. // Some local definitions
  38. vrule_symbol(...) = vrule() & vspace(symbol_size(...));
  39. hrule_symbol(...) = hrule() | hspace(symbol_size(...));
  40.  
  41. // Lattice symbols
  42. bot(...) = whiteframe(hcenter(vrule_symbol(...)) | hrule_symbol(...));
  43. top(...) = whiteframe(hrule_symbol(...) | hcenter(vrule_symbol(...)));
  44.  
  45. cup(...) = whiteframe(
  46.     vrule_symbol(...) & hfill() & vrule_symbol(...) | hrule_symbol(...));
  47. cap(...) = whiteframe(
  48.     hrule_symbol(...) | vrule_symbol(...) & hfill() & vrule_symbol(...));
  49.