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 / builtin.vsl < prev    next >
Text File  |  1997-10-03  |  4KB  |  118 lines
  1. // $Id: builtin.vsl,v 1.5 1997/10/03 10:44:31 zeller Exp $
  2. // Builtin VSL functions
  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. // Internal names
  30.  
  31. // Operators
  32. __op_halign(...);        // &   -- horizontal alignment
  33. __op_valign(...);        // |   -- vertical alignment
  34. __op_ualign(...);        // ^   -- transparent alignment
  35. __op_talign(...);        // ~   -- textual alignment
  36. __op_plus(...);            // +   -- box arithmetic
  37. __op_mult(...);            // *   -- box arithmetic
  38. __op_cons(...);            // ::  -- list concatenation
  39. __op_minus(a, b);        // -   -- box arithmetic
  40. __op_div(a, b);            // /   -- box arithmetic
  41. __op_mod(a, b);            // %   -- box arithmetic
  42. __op_eq(a, b);            // =   -- box arithmetic
  43. __op_ne(a, b);            // !=  -- box arithmetic
  44. __op_gt(a, b);            // >   -- box arithmetic
  45. __op_ge(a, b);            // >=  -- box arithmetic
  46. __op_lt(a, b);            // <   -- box arithmetic
  47. __op_le(a, b);            // <=  -- box arithmetic
  48. __op_not(a);            // not -- box arithmetic
  49.  
  50. // Functions
  51. __hspace(box);                  // Horizontal space
  52. __vspace(box);            // Vertical space
  53. __hfix(box);            // Fix horizontal extent
  54. __vfix(box);            // Fix vertical extent
  55. __rise(linethickness);        // Diagonal `/'
  56. __fall(linethickness);        // Diagonal `\`
  57. __arc(start, length, linethickness); // Arc
  58. __square(box);            // A square with BOX size
  59. __tag(box);            // A tag box
  60. __string(box);            // The string in BOX
  61. __font(box, font);        // Set the font of BOX to FONT
  62. __fontfix(box);            // Freeze the font of BOX
  63. __background(box, color);    // Display BOX using COLOR as background
  64. __foreground(box, color);    // Display BOX using COLOR as foreground
  65.  
  66. // Constants
  67. __fill();            // Stretchable white space
  68. __rule();            // Stretchable black space
  69. __diag();            // Diagnostic box
  70.  
  71. // Error handling
  72. __fail(...);            // Issue an error message
  73. __undef();            // A box standing for `undefined content'
  74.  
  75.  
  76. // Public names
  77.  
  78. // Operators
  79. (&)(...)   = __op_halign(...);
  80. (|)(...)   = __op_valign(...);
  81. (^)(...)   = __op_ualign(...);
  82. (~)(...)   = __op_talign(...);
  83. (+)(...)   = __op_plus(...);
  84. (*)(...)   = __op_mult(...);
  85. (::)(...)  = __op_cons(...);
  86. (-)(a, b)  = __op_minus(a, b);
  87. (/)(a, b)  = __op_div(a, b);
  88. (%)(a, b)  = __op_mod(a, b);
  89. (=)(a, b)  = __op_eq(a, b);
  90. (<>)(a, b) = __op_ne(a, b);
  91. (>)(a, b)  = __op_gt(a, b);
  92. (>=)(a, b) = __op_ge(a, b);
  93. (<)(a, b)  = __op_lt(a, b);
  94. (<=)(a, b) = __op_le(a, b);
  95. (not)(a)   = __op_not(a);
  96.  
  97. // Other functions
  98. hspace(box)                       = __hspace(box);
  99. vspace(box)                       = __vspace(box);
  100. hfix(box)                         = __hfix(box);
  101. vfix(box)                         = __vfix(box);
  102. rise(linethickness)               = __rise(linethickness);
  103. fall(linethickness)               = __fall(linethickness);
  104. arc(start, length, linethickness) = __arc(start, length, linethickness);
  105. square(box)                       = __square(box);
  106. tag(box)                          = __tag(box);
  107. string(box)                       = __string(box);
  108. font(box, font)                   = __font(box, font);
  109. fontfix(box)                      = __fontfix(box);
  110. background(box, color)            = __background(box, color);
  111. foreground(box, color)            = __foreground(box, color);
  112. fill()                            = __fill();
  113. rule()                            = __rule();
  114. diag()                            = __diag();
  115. fail()                            = __fail();
  116. fail(message)                     = __fail(message);
  117. undef()                           = __undef();
  118.