clqr-types-and-classes.mp

   1 % Copyright (C) 2010, 2014, 2018 Bert Burgemeister
   2 %
   3 % Permission is granted to copy, distribute and/or modify this
   4 % document under the terms of the GNU Free Documentation License,
   5 % Version 1.2; with no Invariant Sections, no Front-Cover Texts and
   6 % no Back-Cover Texts. For details see file COPYING.
   7 %
   8
   9 % prologues := 3 makes clqr-types-and-classes.1 viewable but uses the
  10 % wrong font for \A; use the following only when debugging.
  11
  12 %prologues := 3;
  13
  14 input boxes;
  15
  16 verbatimtex
  17 \documentclass[8pt,pagesize,twoside,footexclude,headexclude]{scrartcl}
  18 \input{clqr.packages}
  19 \input{clqr.macros}
  20 \begin{document}
  21 etex
  22
  23 def drawboxed_type (text items ) =
  24   begingroup
  25     pickup pencircle scaled .2;
  26     drawboxed(items);
  27   endgroup
  28 enddef;
  29
  30 def drawboxed_system_class (text items ) =
  31   begingroup
  32     pickup pencircle scaled 1;
  33     drawboxed(items);
  34   endgroup
  35 enddef;
  36
  37 def drawboxed_condition_type (text items ) =
  38   begingroup
  39     pickup pencircle xscaled 1.5 yscaled .2;
  40     drawboxed(items);
  41   endgroup
  42 enddef;
  43
  44 def drawboxed_class (text items ) =
  45   begingroup
  46     pickup pencircle xscaled .2 yscaled 1.5;
  47     drawboxed(items);
  48   endgroup
  49 enddef;
  50
  51 def halfdisc_e(expr point) =
  52   fill halfcircle scaled 4 rotated -90 shifted point --cycle
  53 enddef;
  54
  55 def halfdisc_n(expr point) =
  56   fill halfcircle scaled 4 shifted point --cycle
  57 enddef;
  58
  59 def halfdisc_s(expr point) =
  60   fill halfcircle scaled 4 rotated 180 shifted point --cycle
  61 enddef;
  62
  63 defaultdx := 2;
  64 defaultdy := 2;
  65
  66 % Main Figure:
  67
  68 beginfig(1);
  69
  70   boxit.t(btex \T etex);
  71   t.nw = (0,0);
  72   drawboxed_system_class(t);
  73
  74   boxjoin(a.sw+(0,-3) = b.nw);
  75   boxit.atom(btex \kwd{ATOM} etex);
  76   boxit.readtable(btex \kwd{READTABLE} etex);
  77   boxit.package(btex \kwd{PACKAGE} etex);
  78   boxit.symbol(btex \kwd{SYMBOL} etex);
  79   t.se+(12,0) = atom.nw;
  80   drawboxed_type(atom);
  81   drawboxed_system_class(readtable,package,symbol);
  82
  83   boxjoin(a.sw+(0,-3) = b.nw);
  84   boxit.keyword(btex \kwd{KEYWORD} etex);
  85   boxit.boolean_(btex \kwd{BOOLEAN} etex);
  86   symbol.sw+(35,-3) = keyword.nw;
  87   drawboxed_type(keyword,boolean_);
  88
  89   boxjoin(a.sw+(0,-3) = b.nw);
  90   boxit.restart(btex \kwd{RESTART} etex);
  91   boxit.random_state(btex \kwd{RANDOM-STATE} etex);
  92   boxit.hash_table(btex \kwd{HASH-TABLE} etex);
  93   boxit.structure_object(btex \kwd{STRUCTURE-OBJECT} etex);
  94   boxit.standard_object(btex \kwd{STANDARD-OBJECT} etex);
  95   boolean_.sw+(-35,-5) = restart.nw;
  96   drawboxed_system_class(restart,random_state,hash_table);
  97   drawboxed_class(structure_object,standard_object);
  98
  99   boxjoin()
 100   boxit.null(btex \kwd{NULL} etex);
 101   symbol.se+(15,0) = null.sw;
 102   drawboxed_system_class(null);
 103
 104   boxjoin();
 105   boxit.class(btex \kwd{CLASS} etex);
 106   standard_object.sw+(-10,-3) = class.nw ;
 107   drawboxed_system_class(class);
 108
 109   boxjoin(a.sw+(0,-3) = b.nw);
 110   boxit.built_in_class(btex \kwd{BUILT-IN-CLASS} etex);
 111   boxit.standard_class(btex \kwd{STANDARD-CLASS} etex);
 112   boxit.structure_class(btex \kwd{STRUCTURE-CLASS} etex);
 113   class.sw+(15,-3) = built_in_class.nw;
 114   drawboxed_system_class(built_in_class,standard_class,structure_class);
 115
 116   boxjoin(a.sw+(0,-3) = b.nw);
 117   boxit.method(btex \kwd{METHOD} etex);
 118   boxit.standard_method(btex \kwd{STANDARD-METHOD} etex);
 119   structure_class.sw+(-5,-6) = method.nw;
 120   drawboxed_system_class(method,standard_method);
 121
 122   boxjoin();
 123   boxit.method_combination(btex \kwd{METHOD-COMBINATION} etex);
 124   method_combination.nw = (xpart t.w,ypart standard_method.s - 3);
 125   drawboxed_system_class(method_combination);
 126
 127   boxjoin();
 128   boxit.character(btex \kwd{CHARACTER} etex);
 129   atom.ne+(23,-10) = character.nw;
 130   drawboxed_system_class(character);
 131
 132   boxjoin()
 133   boxit.function(btex \kwd{FUNCTION} \OP{\VAR{arg-types} \Op{\VAR{value-types}}} etex);
 134   function.nw = (205,-10);
 135   drawboxed_system_class(function);
 136
 137   boxjoin(a.sw+(0,-3) = b.nw);
 138   boxit.compiled_function(btex \kwd{COMPILED-FUNCTION} etex);
 139   boxit.generic_function(btex \kwd{GENERIC-FUNCTION} etex);
 140   boxit.standard_generic_function(btex \kwd{STANDARD-GENERIC-FUNCTION} etex);
 141   function.se+(0,-3) = compiled_function.ne;
 142   drawboxed_type(compiled_function);
 143   drawboxed_system_class(generic_function,standard_generic_function);
 144
 145   boxjoin(a.sw+(0,-3) = b.nw);
 146   boxit.pathname(btex \kwd{PATHNAME} etex);
 147   boxit.logical_pathname(btex \kwd{LOGICAL-PATHNAME} etex);
 148   pathname.nw = (345,-20);
 149   drawboxed_system_class(pathname,logical_pathname);
 150
 151   boxjoin(a.se+(0,-3) = b.ne);
 152   boxit.number(btex \kwd{NUMBER} etex);
 153   boxit.complex(btex \kwd{COMPLEX} \Op{\VAR{type}\DF{\kwd{\A}}} etex);
 154   boxit.real(btex \kwd{REAL} \OP{\VAR{lower-limit}\DF{\kwd{\A}} \Op{\VAR{upper-limit}\DF{\kwd{\A}}}} etex);
 155   number.nw = (433,-44);
 156   drawboxed_system_class(number,complex,real);
 157
 158   boxjoin()
 159   boxit.float(btex \kwd{FLOAT} \OP{\VAR{lower-limit}\DF{\kwd{\A}} \Op{\VAR{upper-limit}\DF{\kwd{\A}}}} etex);
 160   real.s+(15,-3) = float.n;
 161   drawboxed_system_class(float);
 162
 163   boxjoin(a.se+(0,-3) = b.ne);
 164   boxit.short_float(btex \kwd{SHORT-FLOAT} \OP{\VAR{lower-limit}\DF{\kwd{\A}} \Op{\VAR{upper-limit}\DF{\kwd{\A}}}} etex);
 165   boxit.single_float(btex \kwd{SINGLE-FLOAT} \OP{\VAR{lower-limit}\DF{\kwd{\A}} \Op{\VAR{upper-limit}\DF{\kwd{\A}}}} etex);
 166   boxit.double_float(btex \kwd{DOUBLE-FLOAT} \OP{\VAR{lower-limit}\DF{\kwd{\A}} \Op{\VAR{upper-limit}\DF{\kwd{\A}}}} etex);
 167   boxit.long_float(btex \kwd{LONG-FLOAT} \OP{\VAR{lower-limit}\DF{\kwd{\A}} \Op{\VAR{upper-limit}\DF{\kwd{\A}}}} etex);
 168   boxit.rational(btex \kwd{RATIONAL} \OP{\VAR{lower-limit}\DF{\kwd{\A}} \Op{\VAR{upper-limit}\DF{\kwd{\A}}}} etex);
 169   boxit.integer(btex \kwd{INTEGER} \OP{\VAR{lower-limit}\DF{\kwd{\A}} \Op{\VAR{upper-limit}\DF{\kwd{\A}}}} etex);
 170   float.se+(-15,-3) = short_float.ne;
 171   drawboxed_type(short_float,single_float,double_float,long_float);
 172   drawboxed_system_class(rational,integer);
 173
 174   boxjoin();
 175   boxit.ratio(btex \kwd{RATIO} etex);
 176   integer.sw+(0,-3) = ratio.nw;
 177   drawboxed_system_class(ratio);
 178
 179   boxjoin(a.e+(3,0) = b.w);
 180   boxit.signed_byte(btex \kwd{SIGNED-BYTE} \Op{\VAR{size}\DF{\kwd{\A}}} etex);
 181   boxit.fixnum(btex \kwd{FIXNUM} etex);
 182   boxit.bignum(btex \kwd{BIGNUM} etex);
 183   ratio.sw+(0,-3) = signed_byte.nw;
 184   drawboxed_type(signed_byte,fixnum,bignum);
 185
 186   boxjoin(a.e+(10,0) = b.w);
 187   boxit.unsigned_byte(btex \kwd{UNSIGNED-BYTE} \Op{\VAR{size}\DF{\kwd{\A}}} etex);
 188   boxit.bit(btex \kwd{BIT} etex);
 189   signed_byte.sw+(25,-3) = unsigned_byte.nw;
 190   drawboxed_type(unsigned_byte,bit);
 191
 192   boxjoin(a.ne+(20,0) = b.sw);
 193   boxit.list(btex \kwd{LIST} etex);
 194   boxit.sequence(btex \kwd{SEQUENCE} etex);
 195   list.sw = (143,-71);
 196   drawboxed_system_class(list,sequence);
 197
 198   boxjoin();
 199   boxit.cons(btex \kwd{CONS} \OP{\VAR{car-type}\DF{\kwd{\A}} \Op{\VAR{cdr-type}\DF{\kwd{\A}}}} etex);
 200   list.se+(0,-3) = cons.n;
 201   drawboxed_system_class(cons);
 202
 203   boxjoin(a.sw+(0,-3) = b.nw);
 204   boxit.array(btex \kwd{ARRAY} \OP{\VAR{type}\DF{\kwd{\A}} \Op{\VAR{rank}\DF{\kwd{\A}}\XOR(\OPn{\VAR{dimension}})}} etex);
 205   boxit.simple_array(btex \kwd{SIMPLE-ARRAY} \OP{\VAR{type}\DF{\kwd{\A}} \Op{\VAR{rank}\DF{\kwd{\A}}\XOR(\OPn{\VAR{dimension}})}} etex);
 206   boxit.vector(btex \kwd{VECTOR} \OP{\VAR{type}\DF{\kwd{\A}} \Op{\VAR{size}\DF{\kwd{\A}}}} etex);
 207   boxit.string_(btex \kwd{STRING} \Op{\VAR{size}\DF{\kwd{\A}}} etex);
 208   boxit.simple_string(btex \kwd{SIMPLE-STRING} \Op{\VAR{size}\DF{\kwd{\A}}} etex);
 209   boxit.base_string(btex \kwd{BASE-STRING} \Op{\VAR{size}\DF{\kwd{\A}}} etex);
 210   boxit.simple_base_string(btex \kwd{SIMPLE-BASE-STRING} \Op{\VAR{size}\DF{\kwd{\A}}} etex);
 211   boxit.simple_vector(btex \kwd{SIMPLE-VECTOR} \Op{\VAR{size}\DF{\kwd{\A}}} etex);
 212   boxit.bit_vector(btex \kwd{BIT-VECTOR} \Op{\VAR{size}\DF{\kwd{\A}}} etex);
 213   boxit.simple_bit_vector(btex \kwd{SIMPLE-BIT-VECTOR} \Op{\VAR{size}\DF{\kwd{\A}}} etex);
 214   cons.sw+(0,-3) = array.nw;
 215   drawboxed_system_class(array);
 216   drawboxed_type(simple_array);
 217   drawboxed_system_class(vector,string_);
 218   drawboxed_type(simple_string,base_string,simple_base_string,simple_vector);
 219   drawboxed_system_class(bit_vector);
 220   drawboxed_type(simple_bit_vector);
 221
 222   boxjoin();
 223   boxit.stream(btex \kwd{STREAM} etex);
 224   stream.ne = (315,-75);
 225   drawboxed_system_class(stream);
 226
 227   boxjoin(a.se+(0,-3) = b.ne);
 228   boxit.file_stream(btex \kwd{FILE-STREAM} etex);
 229   boxit.two_way_stream(btex \kwd{TWO-WAY-STREAM} etex);
 230   boxit.synonym_stream(btex \kwd{SYNONYM-STREAM} etex);
 231   boxit.string_stream(btex \kwd{STRING-STREAM} etex);
 232   boxit.broadcast_stream(btex \kwd{BROADCAST-STREAM} etex);
 233   boxit.concatenated_stream(btex \kwd{CONCATENATED-STREAM} etex);
 234   boxit.echo_stream(btex \kwd{ECHO-STREAM} etex);
 235   stream.se+(-33,-69) = file_stream.ne;
 236   drawboxed_system_class(file_stream,two_way_stream,synonym_stream,string_stream,broadcast_stream,concatenated_stream,echo_stream);
 237
 238   boxjoin(a.s+(0,-3) = b.n);
 239   boxit.extended_char(btex \kwd{EXTENDED-CHAR} etex);
 240   boxit.base_char(btex \kwd{BASE-CHAR} etex);
 241   character.e+(10,0) = extended_char.w;
 242   drawboxed_type(extended_char,base_char);
 243
 244   boxjoin();
 245   boxit.standard_char(btex \kwd{STANDARD-CHAR} etex);
 246   base_char.s+(5,-3) = standard_char.n;
 247   drawboxed_type(standard_char);
 248
 249 %% Conditions %%
 250
 251   boxjoin(a.sw+(0,-3) = b.nw);
 252   boxit.condition(btex \kwd{CONDITION} etex);
 253   boxit.serious_condition(btex \kwd{SERIOUS-CONDITION} etex);
 254   t.e+(400,0) = condition.w;
 255   drawboxed_condition_type(condition,serious_condition);
 256
 257   boxjoin(a.sw+(0,-3) = b.nw);
 258   boxit.storage_condition(btex \kwd{STORAGE-CONDITION} etex);
 259   boxit.simple_type_error(btex \kwd{SIMPLE-TYPE-ERROR} etex);
 260   serious_condition.e+(10,2) = storage_condition.w;
 261   drawboxed_condition_type(storage_condition,simple_type_error);
 262
 263   boxjoin()
 264   boxit.type_error(btex \kwd{TYPE-ERROR} etex);
 265   simple_type_error.sw+(15,-3) = type_error.nw;
 266   drawboxed_condition_type(type_error);
 267
 268   boxjoin();
 269   boxit.error(btex \kwd{ERROR}\\ etex);
 270   type_error.sw+(-15,-3) = error.nw;
 271   drawboxed_condition_type(error);
 272
 273   boxjoin(a.sw+(0,-3) = b.nw);
 274   boxit.program_error(btex \kwd{PROGRAM-ERROR} etex);
 275   boxit.control_error(btex \kwd{CONTROL-ERROR} etex);
 276   boxit.package_error(btex \kwd{PACKAGE-ERROR} etex);
 277   boxit.print_not_readable(btex \kwd{PRINT-NOT-READABLE} etex);
 278   boxit.stream_error(btex \kwd{STREAM-ERROR} etex);
 279   boxit.parse_error(btex \kwd{PARSE-ERROR} etex);
 280   boxit.cell_error(btex \kwd{CELL-ERROR} etex);
 281   boxit.file_error(btex \kwd{FILE-ERROR} etex);
 282   error.sw+(15,-3) = program_error.nw;
 283   drawboxed_condition_type(program_error,control_error,package_error,print_not_readable,stream_error,parse_error,cell_error,file_error);
 284
 285   boxjoin();
 286   boxit.arithmetic_error(btex \kwd{ARITHMETIC-ERROR} etex);
 287   file_error.sw+(-15,-3) = arithmetic_error.nw;
 288   drawboxed_condition_type(arithmetic_error);
 289
 290   boxjoin();
 291   boxit.simple_condition(btex \kwd{SIMPLE-CONDITION} etex);
 292   type_error.se+(10,-2) = simple_condition.w;
 293   drawboxed_condition_type(simple_condition);
 294
 295   boxjoin();
 296   boxit.warning(btex \kwd{WARNING} etex);
 297   condition.ne+(120,0) = warning.nw;
 298   drawboxed_condition_type(warning);
 299
 300   boxjoin(a.sw+(0,-3) = b.nw);
 301   boxit.style_warning(btex \kwd{STYLE-WARNING} etex);
 302   warning.sw+(0,-3) = style_warning.nw;
 303   drawboxed_condition_type(style_warning);
 304
 305   boxjoin(a.s+(0,-3) = b.n);
 306   boxit.simple_error(btex \kwd{SIMPLE-ERROR} etex);
 307   boxit.simple_warning(btex \kwd{SIMPLE-WARNING} etex);
 308   simple_condition.s+(7,-10) = simple_error.n;
 309   drawboxed_condition_type(simple_error,simple_warning);
 310
 311   boxjoin(a.se+(0,-3) = b.ne);
 312   boxit.end_of_file(btex  \kwd{END-OF-FILE} etex);
 313   boxit.reader_error(btex \kwd{READER-ERROR} etex);
 314   boxit.undefined_function(btex  \kwd{UNDEFINED-FUNCTION} etex);
 315   boxit.unbound_variable(btex  \kwd{UNBOUND-VARIABLE} etex);
 316   boxit.unbound_slot(btex  \kwd{UNBOUND-SLOT} etex);
 317   cell_error.e+(15,0) = undefined_function.w;
 318   drawboxed_condition_type(end_of_file,reader_error,unbound_variable,undefined_function,unbound_slot);
 319
 320   boxjoin(a.sw+(0,-3) = b.nw);
 321   boxit.division_by_zero(btex  \kwd{DIVISION-BY-ZERO} etex);
 322   boxit.floating_point_inexact(btex  \kwd{FLOATING-POINT-INEXACT} etex);
 323   boxit.floating_point_overflow(btex  \kwd{FLOATING-POINT-OVERFLOW} etex);
 324   boxit.floating_point_underflow(btex  \kwd{FLOATING-POINT-UNDERFLOW} etex);
 325   boxit.floating_point_invalid_operation(btex  \kwd{FLOATING-POINT-INVALID-OPERATION} etex);
 326   arithmetic_error.sw+(20,-3) = division_by_zero.nw;
 327   drawboxed_condition_type(division_by_zero,floating_point_inexact,floating_point_overflow,floating_point_underflow,floating_point_invalid_operation);
 328
 329   % The Arrows:
 330
 331   pickup pencircle scaled .3;
 332
 333   drawarrow t.e{right} ... character.n{down};
 334   drawarrow t.e{right} .. t.e+(121,0){right} .. tension 1.3 and 1.1 .. sequence.n{down};
 335   drawarrow t.e{right} .. t.e+(124,0){right} .. stream.w{right};
 336   drawarrow t.e{right} .. t.e+(126,0){right} .. tension .8 .. function.w{right};
 337   drawarrow t.e{right} .. t.e+(270,0){right} ... pathname.n{down};
 338   drawarrow t.e{right} .. t.e+(280,0){right} ... pathname.ne+(3,3) .. serious_condition.sw+(-3,-3) .. number.n{down};
 339   drawarrow t.e{right} .. condition.w{right};
 340
 341   drawarrow t.s{down} ... atom.w{right};
 342   drawarrow t.s{down} ... readtable.w{right};
 343   drawarrow t.s{down} ... package.w{right};
 344   drawarrow t.s{down} ... symbol.w{right};
 345
 346   drawarrow t.s{down} .. t.s+(0,-25){down} ... array.w+(0,3){right};
 347   drawarrow t.s{down} .. t.s+(0,-25){down} ... restart.w{right};
 348   drawarrow t.s{down} .. t.s+(0,-25){down} ... random_state.w{right};
 349   drawarrow t.s{down} .. t.s+(0,-25){down} ... hash_table.w{right};
 350   drawarrow t.s{down} .. t.s+(0,-25){down} ... structure_object.w{right};
 351   drawarrow t.s{down} .. t.s+(0,-25){down} ... standard_object.w{right};
 352   drawarrow t.s{down} .. t.s+(0,-25){down} ... method.w{right};
 353
 354
 355   drawarrow standard_object.s{down} .. class.e{left};
 356   drawarrow class.sw+(5,0){down} ... standard_class.w{right};
 357   drawarrow class.sw+(5,0){down} ... built_in_class.w{right};
 358   drawarrow class.sw+(5,0){down} ... structure_class.w{right};
 359   drawarrow t.s{down} -- (xpart t.s,ypart method_combination.nw);
 360
 361   drawarrow standard_object.s{down} .. built_in_class.ne+(2,2)  ... standard_class.e+(7,0) ... structure_class.se+(-2,-4) .. method.e{down} .. standard_method.ne+(-20,2){down} ... standard_method.ne+(-20,0){down} dashed evenly;
 362   halfdisc_e (method.e);
 363
 364   drawarrow vector.w{left} ... vector.sw+(-6,0) ... string_.w+(0,3){right};
 365   drawarrow string_.w+(0,-3){left} ... simple_string.w+(-8,0) ... base_string.w{right};
 366   drawarrow vector.w{left} ... base_string.w+(-12,0) ... bit_vector.w{right};
 367   drawarrow sequence.s{down} .. list.e{left};
 368   drawarrow list.w{left} ... cons.nw+(23,0){down};
 369
 370   drawarrow symbol.s{down} ... keyword.w{right};
 371   drawarrow symbol.s{down} ... boolean_.w{right};
 372
 373   drawarrow list.w{left} .. null.ne+(3,3) .. tension 1.5 .. symbol.e{down} .. null.w{right} dashed evenly;
 374   halfdisc_e(symbol.e);
 375
 376   path array_simple_array_dashed;
 377   pair array_simple_array_bifurcation,array_simple_array_common;
 378   array_simple_array_dashed = array.e{down} .. simple_array.ne+(2,1) .. simple_array.e{down};
 379   array_simple_array_bifurcation = directionpoint(10,1) of array_simple_array_dashed;
 380   array_simple_array_common = directionpoint(1,-1) of array_simple_array_dashed;
 381
 382   drawarrow sequence.s{down} .. cons.ne+(-1,4) .. array.ne+(2,1) .. array.e{down} .. array_simple_array_common{dir angle(1,-1)} .. array_simple_array_bifurcation{dir angle(10,1)} .. simple_array.ne+(15,5) .. simple_array.se+(15,0) .. vector.e+(0,5){left} dashed evenly;
 383   drawarrow sequence.s{down} .. cons.ne+(-1,4) .. array.ne+(2,1) .. array.e{down} .. simple_array.ne+(2,1) .. simple_array.e{down} .. simple_array.se+(2,-1) .. tension 2 .. vector.e+(0,-3){down} .. vector.se+(2,-1){dir -60} .. simple_base_string.se+(5,0) .. simple_vector.e{left} dashed evenly;
 384   drawarrow sequence.s{down} .. cons.ne+(-1,4) .. array.ne+(2,1) .. array.e{down} .. simple_array.ne+(2,1) .. simple_array.e{down} .. simple_array.se+(2,-1) .. tension 2 .. vector.e+(0,-3){down} .. vector.se+(2,-1){dir -60} .. simple_base_string.se+(10,0) .. simple_vector.se+(0,-3) .. bit_vector.e{down} .. simple_bit_vector.ne+(-10,2){down} ... simple_bit_vector.ne+(-10,0){down} dashed evenly;
 385   drawarrow sequence.s{down} .. cons.ne+(-1,4) .. array.ne+(2,1) .. array.e{down} .. simple_array.ne+(2,1) .. simple_array.e{down} .. simple_array.se+(2,-1) .. tension 2 .. vector.e+(0,-3){down} .. vector.se+(2,-1){dir -60} .. tension 1.3 .. string_.e{down} .. tension 1.3 .. simple_string.ne+(2,1)  .. simple_string.e{down}  .. simple_string.se+(2,1) .. base_string.e{down} .. simple_base_string.ne+(-10,2){down} ... simple_base_string.ne+(-10,0){down} dashed evenly;
 386   halfdisc_e(array.e);
 387   halfdisc_e(simple_array.e);
 388   halfdisc_e(vector.e+(0,-3));
 389   halfdisc_e(string_.e);
 390   halfdisc_e(simple_string.e);
 391   halfdisc_e(base_string.e);
 392   halfdisc_e(bit_vector.e);
 393
 394   drawarrow array.w+(0,-3){left} ... array.sw+(-7,-3).. simple_array.w{right};
 395
 396   drawarrow character.e{right} .. extended_char.w{right};
 397   drawarrow character.e{right} .. extended_char.sw+(-1,-3) .. base_char.w{right};
 398   drawarrow base_char.e{right} .. standard_char.ne+(-5,0){down};
 399
 400   drawarrow function.s+(-20,0){down} ... compiled_function.w{right};
 401   drawarrow function.s+(-20,0){down} ... generic_function.w{right};
 402   drawarrow generic_function.e{right} ... standard_generic_function.ne+(-25,0){down};
 403
 404   drawarrow number.w{left} ... complex.n+(-10,0){down};
 405   drawarrow number.w{left} ... real.n+(-12,0){down};
 406
 407   drawarrow real.w{left} ... double_float.nw+(-3,3) ... rational.w+(0,3){right};
 408   drawarrow real.e{right} .. float.ne+(-5,0){down};
 409
 410   drawarrow float.se+(-5,0){down} ... short_float.e{left};
 411   drawarrow float.se+(-5,0){down} ... single_float.e{left};
 412   drawarrow float.se+(-5,0){down} ... double_float.e{left};
 413   drawarrow float.se+(-5,0){down} ... long_float.e{left};
 414
 415   drawarrow rational.w+(0,-3){left} ... rational.sw+(-5,0) ... integer.w{right};
 416   drawarrow rational.w+(0,-3){left} ... integer.w+(-10,0) ... ratio.w{right};
 417
 418   drawarrow (xpart fixnum.n,ypart.integer.s){down} .. signed_byte.ne+(-5,0){down};
 419   drawarrow (xpart fixnum.n,ypart.integer.s){down} .. fixnum.n{down};
 420   drawarrow (xpart fixnum.n,ypart integer.s){down} .. bignum.nw+(5,0){down};
 421
 422   drawarrow signed_byte.sw+(10,0){down} ... unsigned_byte.w{right};
 423   drawarrow unsigned_byte.e{right} ... bit.w{right};
 424
 425   drawarrow stream.s{down} ... file_stream.e{left};
 426   drawarrow stream.s{down} ... two_way_stream.e{left};
 427   drawarrow stream.s{down} ... synonym_stream.e{left};
 428   drawarrow stream.s{down} ... string_stream.e{left};
 429   drawarrow stream.s{down} ... concatenated_stream.e{left};
 430   drawarrow stream.s{down} ... broadcast_stream.e{left};
 431   drawarrow stream.s{down} ... echo_stream.e{left};
 432
 433   drawarrow pathname.e{right} .. logical_pathname.ne+(-15,0){down};
 434
 435   drawarrow condition.e{right} .. condition.e+(95,0){right} .. (xpart warning.w,ypart condition.e){right};
 436   drawarrow condition.e{right} .. condition.e+(95,0){right} .. simple_condition.n+(-15,0){down};
 437   drawarrow condition.e{right} ... serious_condition.ne+(-10,0){down};
 438
 439   drawarrow (xpart warning.e,ypart condition.e){right} .. style_warning.ne+(-10,0){down};
 440
 441   drawarrow serious_condition.e{right} .. storage_condition.w{right};
 442   drawarrow serious_condition.se+(-10,0){down} .. tension 1.3 .. error.w{right};
 443
 444   drawarrow error.sw+(5,0){down} ... parse_error.w{right};
 445   drawarrow error.sw+(5,0){down} ... program_error.w{right};
 446   drawarrow error.sw+(5,0){down} ... control_error.w{right};
 447   drawarrow error.nw+(5,0){up}   ... type_error.w{right};
 448   drawarrow error.sw+(5,0){down} ... cell_error.w{right};
 449   drawarrow error.sw+(5,0){down} ... stream_error.w{right};
 450   drawarrow error.sw+(5,0){down} ... package_error.w{right};
 451   drawarrow error.sw+(5,0){down} ... file_error.w{right};
 452   drawarrow error.sw+(5,0){down} ... print_not_readable.w{right};
 453   drawarrow error.sw+(5,0){down} ... arithmetic_error.nw+(5,0){down};
 454
 455   drawarrow stream_error.e{right} .. end_of_file.w{right};
 456
 457   drawarrow cell_error.e{right} .. undefined_function.w{right};
 458   drawarrow cell_error.e{right} .. unbound_variable.w{right};
 459   drawarrow cell_error.e{right} .. tension 1.3 .. unbound_variable.sw+(-3,-3) .. unbound_slot.w{right};
 460
 461   drawarrow arithmetic_error.sw+(5,0){down} ... division_by_zero.w{right};
 462   drawarrow arithmetic_error.sw+(5,0){down} ... floating_point_inexact.w{right};
 463   drawarrow arithmetic_error.sw+(5,0){down} ... floating_point_invalid_operation.w{right};
 464   drawarrow arithmetic_error.sw+(5,0){down} ... floating_point_overflow.w{right};
 465   drawarrow arithmetic_error.sw+(5,0){down} ... floating_point_underflow.w{right};
 466
 467   drawarrow stream_error.e{right} .. stream_error.se+(3,-2) .. parse_error.e{down} .. tension 1.5 .. reader_error.w{right} dashed evenly;
 468
 469   halfdisc_e(parse_error.e);
 470
 471   drawarrow (xpart warning.e,ypart condition.e){right} .. style_warning.e+(6,0) .. tension 1.3 .. simple_condition.ne+(2,1) .. simple_condition.e{down} .. simple_condition.se+(2,-1) .. simple_warning.e{left} dashed evenly;
 472   drawarrow error.e{right} .. tension 1.5 .. simple_condition.sw+(-1,-2) .. simple_condition.sw+(5,0){right} .. simple_condition.sw+(12,-2){right} ... simple_error.n{down} dashed evenly;
 473   drawarrow type_error.e{right} .. simple_condition.nw+(-1,2) .. simple_condition.nw+(5,0){right} .. simple_type_error.e{left} dashed evenly;
 474
 475   halfdisc_e(simple_condition.e);
 476   halfdisc_s(simple_condition.sw+(5,0));
 477   halfdisc_n(simple_condition.nw+(5,0));
 478
 479 endfig;
 480
 481 % Legend:
 482
 483 beginfig(2);
 484   boxit.type(btex \rule{1.5em}{0pt}\rule{0pt}{1ex} etex);
 485   type.ne = (0,0);
 486   type.dx = 0;
 487   type.dy = 0;
 488   drawboxed_type(type);
 489 endfig;
 490
 491 beginfig(3);
 492   boxit.system_class(btex \rule{1.5em}{0pt}\rule{0pt}{1ex} etex);
 493   system_class.ne = (0,0);
 494   system_class.dx = 0;
 495   system_class.dy = 0;
 496   drawboxed_system_class(system_class);
 497 endfig;
 498
 499 beginfig(4);
 500   boxit.class(btex \rule{1.5em}{0pt}\rule{0pt}{1ex} etex);
 501   class.ne = (0,0);
 502   class.dx = 0;
 503   class.dy = 0;
 504   drawboxed_class(class);
 505 endfig;
 506
 507 beginfig(5);
 508   boxit.condition_type(btex \rule{1.5em}{0pt}\rule{0pt}{1ex} etex);
 509   condition_type.ne = (0,0);
 510   condition_type.dx = 0;
 511   condition_type.dy = 0;
 512   drawboxed_condition_type(condition_type);
 513 endfig;
 514
 515
 516 verbatimtex
 517 \end{document}
 518 etex
 519
 520 end