aboutsummaryrefslogtreecommitdiffstats
path: root/z16.c
diff options
context:
space:
mode:
Diffstat (limited to 'z16.c')
-rw-r--r--z16.c629
1 files changed, 629 insertions, 0 deletions
diff --git a/z16.c b/z16.c
new file mode 100644
index 0000000..d9984b0
--- /dev/null
+++ b/z16.c
@@ -0,0 +1,629 @@
+/*@z16.c:Size Adjustment:SetNeighbours(), CatAdjustSize()@********************/
+/* */
+/* THE LOUT DOCUMENT FORMATTING SYSTEM (VERSION 3.17) */
+/* COPYRIGHT (C) 1991, 1999 Jeffrey H. Kingston */
+/* */
+/* Jeffrey H. Kingston (jeff@cs.usyd.edu.au) */
+/* Basser Department of Computer Science */
+/* The University of Sydney 2006 */
+/* AUSTRALIA */
+/* */
+/* This program is free software; you can redistribute it and/or modify */
+/* it under the terms of the GNU General Public License as published by */
+/* the Free Software Foundation; either Version 2, or (at your option) */
+/* any later version. */
+/* */
+/* This program is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU General Public License for more details. */
+/* */
+/* You should have received a copy of the GNU General Public License */
+/* along with this program; if not, write to the Free Software */
+/* Foundation, Inc., 59 Temple Place, Suite 330, Boston MA 02111-1307 USA */
+/* */
+/* FILE: z16.c */
+/* MODULE: Size Adjustment */
+/* EXTERNS: FindShift(), SetNeighbours(), AdjustSize() */
+/* */
+/*****************************************************************************/
+#include "externs.h"
+
+
+/*****************************************************************************/
+/* */
+/* FULL_LENGTH FindShift(x, y, dim) */
+/* */
+/* x = @HShift y or @VShift y depending on dim. FindShift returns the */
+/* length of the shift measured from the mark of y to the mark of x. */
+/* This is negative if the mark of y is to the right of the mark of x. */
+/* */
+/*****************************************************************************/
+
+FULL_LENGTH FindShift(OBJECT x, OBJECT y, int dim)
+{ FULL_LENGTH len, res;
+ debug4(DSF, DD, "FindShift(%s, %s %s, %s)", Image(type(x)),
+ Image(type(y)), EchoObject(y), dimen(dim));
+
+ /* first determine the magnitude of the shift */
+ switch( units(shift_gap(x)) )
+ {
+ case FIXED_UNIT: len = width(shift_gap(x));
+ break;
+
+ case NEXT_UNIT: len = (size(y, dim) * width(shift_gap(x))) / FR;
+ break;
+
+ default: assert(FALSE, "FindShift: units");
+ break;
+ }
+
+ /* then calculate the shift depending on the shift type */
+ switch( shift_type(x) )
+ {
+ case GAP_ABS: res = len - back(y, dim);
+ break;
+
+ case GAP_INC: res = len;
+ break;
+
+ case GAP_DEC: res = - len;
+ break;
+
+ default: assert(FALSE, "FindShift: type");
+ break;
+ }
+
+ debug1(DSF, DD, "FindShift returning %s", EchoLength(res));
+ return res;
+} /* end FindShift */
+
+
+/*****************************************************************************/
+/* */
+/* SetNeighbours(link, ratm, pg, pdef, sg, sdef, side) */
+/* */
+/* This is a utility routine used by CatConstrained(), AdjustSize(), */
+/* BreakTable() and FlushGalley() for calculating size updates in objects. */
+/* Assuming that link is the link of a component of a VCAT etc., and that */
+/* ratm is TRUE if there is a marked component to the right of link, set */
+/* */
+/* pg to the gap separating link from the first definite object */
+/* to the left, or nilobj if none. If pg != nilobj, set pdef to */
+/* the preceding definite object; else pdef is undefined. */
+/* */
+/* sg to the gap separating link from the first definite object */
+/* to the right, or nilobj if none. if sg != nilobj, set sdef to */
+/* the succeeding definite object; else sdef is undefined. */
+/* */
+/* side to the side of the mark link is on; either BACK, ON or FWD. */
+/* */
+/*****************************************************************************/
+
+void SetNeighbours(OBJECT link, BOOLEAN ratm, OBJECT *pg, OBJECT *pdef,
+OBJECT *sg, OBJECT *sdef, int *side)
+{ OBJECT plink, slink;
+
+ /* find preceding definite; if it exists, set *pg */
+ *pg = nilobj;
+ for( plink = PrevDown(link); type(plink) == LINK; plink = PrevDown(plink) )
+ { Child(*pdef, plink);
+ if( type(*pdef) == SPLIT ? SplitIsDefinite(*pdef) : is_definite(type(*pdef)) )
+ { Child(*pg, PrevDown(link));
+ while( is_index(type(*pg)) )
+ { link = PrevDown(link);
+ Child(*pg, PrevDown(link));
+ }
+ assert( type(*pg) == GAP_OBJ, "SetNeighbours: type(*pg)!" );
+ break;
+ }
+ }
+
+ /* find succeeding definite; if it exists, set *sg */
+ *sg = nilobj;
+ for( slink = NextDown(link); type(slink) == LINK; slink = NextDown(slink) )
+ { Child(*sdef, slink);
+ if( type(*sdef) == SPLIT ? SplitIsDefinite(*sdef) : is_definite(type(*sdef)) )
+ { Child(*sg, PrevDown(slink));
+ while( is_index(type(*sg)) )
+ { slink = PrevDown(slink);
+ Child(*sg, PrevDown(slink));
+ }
+ assert( type(*sg) == GAP_OBJ, "SetNeighbours: type(*sg)!" );
+ break;
+ }
+ }
+
+ *side = ratm ? BACK : *pg == nilobj || mark(gap(*pg)) ? ON : FWD;
+ debug4(DSA, DD,
+ "SetNeighbours: ratm == %s, pg %s nilobj, sg %s nilobj, side == %s",
+ bool(ratm), *pg == nilobj ? "==" : "!=", *sg == nilobj ? "==" : "!=",
+ *side == BACK ? "BACK" : *side == ON ? "ON" : "FWD");
+} /* end SetNeighbours */
+
+
+/*****************************************************************************/
+/* */
+/* static CatAdjustSize(x, b, f, ratm, y, dim) */
+/* */
+/* Adjust the size of x to be *b, *f. Object x is known to lie in add-set */
+/* y; ratm is TRUE iff there is a mark to the right of x. Return the */
+/* new size of y in *b, *f. */
+/* */
+/*****************************************************************************/
+
+static void CatAdjustSize(OBJECT x, FULL_LENGTH *b, FULL_LENGTH *f, BOOLEAN ratm,
+OBJECT y, int dim)
+{ OBJECT link;
+ OBJECT pg, prec_def, sg, sd;
+ FULL_LENGTH beffect, feffect, seffect; int side;
+ int bb, ff;
+
+ debug6(DSA, DD, "CatAdjustSize(%s x, %s, %s, %s, %s y, %s)", Image(type(x)),
+ EchoLength(*b), EchoLength(*f), bool(ratm), Image(type(y)), dimen(dim));
+ debug2(DSA,DD, "x(%s,%s) =", EchoLength(back(x,dim)), EchoLength(fwd(x,dim)));
+ ifdebug(DSA, DD, DebugObject(x));
+ debug2(DSA,DD, "y(%s,%s) =", EchoLength(back(y,dim)), EchoLength(fwd(y,dim)));
+ ifdebug(DSA, DD, DebugObject(y));
+
+ /* DO_ADJUST ACAT is a special case because adjustment affects its size */
+ if( dim==COLM && type(y)==ACAT && display_style(save_style(y)) == DO_ADJUST )
+ { back(x, dim) = *b; fwd(x, dim) = *f;
+ *b = back(y, dim); *f = fwd(y, dim);
+ debug2(DSA, DD, "CatAdjustSize ACAT %s,%s", EchoLength(*b), EchoLength(*f));
+ return;
+ }
+
+ link = UpDim(x, dim);
+ SetNeighbours(link, ratm, &pg, &prec_def, &sg, &sd, &side);
+ { ifdebug(DSA, DD,
+ if( pg != nilobj && mode(gap(pg)) == NO_MODE )
+ { debug1(DSA, DD, "NO_MODE gap pg, is_indefinite(x) == %s, y =",
+ bool(is_indefinite(type(x))) );
+ ifdebug(DSA, DD, DebugObject(y));
+ }
+ if( sg != nilobj && mode(gap(sg)) == NO_MODE )
+ { debug1(DSA, DD, "NO_MODE gap sg, is_indefinite(x) == %s, y =",
+ bool(is_indefinite(type(x))) );
+ ifdebug(DSA, DD, DebugObject(y));
+ }
+ ); }
+ if( is_indefinite(type(x)) )
+ {
+ beffect = pg == nilobj ? *b :
+ MinGap(fwd(prec_def, dim), *b, *f, &gap(pg));
+
+ feffect = sg == nilobj ? *f :
+ MinGap(*f, back(sd, dim), fwd(sd, dim), &gap(sg));
+
+ seffect = pg == nilobj ? sg == nilobj ? 0 : back(sd, dim) :
+ sg == nilobj ? fwd(prec_def, dim) :
+ MinGap(fwd(prec_def, dim), back(sd,dim), fwd(sd,dim), &gap(sg));
+ }
+ else /* !is_indefinite(type(x)) */
+ {
+ beffect = pg == nilobj ? *b - back(x, dim) :
+ MinGap(fwd(prec_def, dim), *b, *f, &gap(pg)) -
+ MinGap(fwd(prec_def, dim), back(x, dim), fwd(x, dim), &gap(pg));
+
+ feffect = sg == nilobj ? *f - fwd(x, dim) :
+ MinGap(*f, back(sd, dim), fwd(sd, dim), &gap(sg)) -
+ MinGap(fwd(x, dim), back(sd, dim), fwd(sd, dim), &gap(sg));
+
+ seffect = 0;
+ }
+
+ debug3(DSA, D, " pg = %s, sg = %s, side = %s",
+ pg == nilobj ? AsciiToFull("<nil>") : EchoGap(&gap(pg)),
+ sg == nilobj ? AsciiToFull("<nil>") : EchoGap(&gap(sg)), Image(side));
+ debug3(DSA, D, " beffect = %s, feffect = %s, seffect = %s",
+ EchoLength(beffect), EchoLength(feffect), EchoLength(seffect));
+ back(x, dim) = *b; fwd(x, dim) = *f;
+ switch( side )
+ {
+ case BACK: bb = back(y, dim) + beffect + feffect - seffect;
+ ff = fwd(y, dim);
+ break;
+
+ case ON: bb = back(y, dim) + beffect - seffect;
+ ff = fwd(y, dim) + feffect;
+ break;
+
+ case FWD: bb = back(y, dim);
+ ff = fwd(y, dim) + beffect + feffect - seffect;
+ break;
+ }
+ *b = bb; *f = ff;
+ debug2(DSA, DD, "CatAdjustSize returning %s,%s", EchoLength(*b), EchoLength(*f));
+} /* end CatAdjustSize */
+
+
+/*@::AdjustSize()@************************************************************/
+/* */
+/* AdjustSize(x, b, f, dim) */
+/* */
+/* Adjust the size of object x, in dimension dim, to be b, f. If x is a */
+/* CLOSURE, the adjustment is from a CLOSURE to a definite object of size */
+/* b, f. */
+/* */
+/*****************************************************************************/
+
+void AdjustSize(OBJECT x, FULL_LENGTH b, FULL_LENGTH f, int dim)
+{ OBJECT y, link, tlink, lp, rp, z, index;
+ BOOLEAN ratm; FULL_LENGTH tb, tf, cby, cfy, rby, rfy;
+
+ SetLengthDim(dim);
+ debug6(DSA, D, "[ AdjustSize( %s(%s,%s), %s, %s, %s ), x =",
+ type(x) == CLOSURE ? SymName(actual(x)) : Image(type(x)),
+ EchoLength(back(x, dim)), EchoLength(fwd(x, dim)),
+ EchoLength(b), EchoLength(f), dimen(dim));
+ ifdebug(DSA, DD, DebugObject(x) );
+
+ while( b != back(x, dim) || f != fwd(x, dim) || is_indefinite(type(x)) )
+ { assert( Up(x) != x, "AdjustSize: Up(x) == x!" );
+ if( b < 0 || f < 0 )
+ Error(16, 5, "cannot recover from earlier errors", FATAL, &fpos(x));
+
+ /* these cases are unique because they have multiple parents */
+ if( type(x) == COL_THR || type(x) == ROW_THR )
+ { assert( (type(x)==COL_THR) == (dim==COLM), "AdjustSize: COL_THR!" );
+ back(x, dim) = b; fwd(x, dim) = f;
+ for( link = Up(x); link != x; link = NextUp(link) )
+ { Parent(y, link);
+ assert( type(y) == SPLIT, "AdjustSize: type(y) != SPLIT!") ;
+ AdjustSize(y, b, f, dim);
+ }
+ debug0(DSA, D, "] AdjustSize (thread case) returning.");
+ return;
+ }
+
+ link = UpDim(x, dim); ratm = FALSE;
+ for( tlink=NextDown(link); type(tlink) == LINK; tlink=NextDown(tlink) )
+ { Child(y, tlink);
+ if( type(y) == GAP_OBJ && mark(gap(y)) ) ratm = TRUE;
+ }
+ y = tlink;
+
+ debug5(DSA, D, " b = %s, f = %s, y = %s(%s,%s), x =",
+ EchoLength(b), EchoLength(f), Image(type(y)),
+ EchoLength(back(y, dim)), EchoLength(fwd(y, dim)));
+ ifdebug(DSA, DD, DebugObject(x) );
+
+ switch( type(y) )
+ {
+
+ case HEAD:
+
+ if( gall_dir(y) == COLM )
+ { back(x, dim) = b, fwd(x, dim) = f;
+ debug0(DSA, D, "] AdjustSize returning at horiz HEAD");
+ return;
+ }
+ else if( dim == ROWM )
+ { back(x, dim) = b, fwd(x, dim) = f;
+ debug0(DSA, D, "] AdjustSize ROWM returning at HEAD");
+ return;
+ }
+ else
+ {
+ /* let lp and rp be the gaps delimiting the */
+ /* components joined to x */
+ for( lp = PrevDown(link); lp != y; lp = PrevDown(lp) )
+ { Child(z, lp);
+ if( type(z) == GAP_OBJ && !join(gap(z)) ) break;
+ }
+ for( rp = NextDown(link); rp != y; rp = NextDown(rp) )
+ { Child(z, rp);
+ if( type(z) == GAP_OBJ && !join(gap(z)) ) break;
+ }
+
+ back(x, dim) = b; fwd(x, dim) = f;
+ if( lp == y && rp == y && !seen_nojoin(y) )
+ {
+ /* if whole object is joined, do this */
+ b = find_max(b, back(y, dim));
+ f = find_max(f, fwd(y, dim));
+ debug3(DSA, D, " under head %s, whole object joined, b = %s, f = %s)",
+ SymName(actual(y)), EchoLength(b), EchoLength(f));
+ }
+ else
+ {
+ /* if // or || is present, do this */
+ debug1(DSA, D, " [ under head %s with //, working out tb and tf:",
+ SymName(actual(y)));
+ tb = tf = 0;
+ for( link = NextDown(lp); link != rp; link = NextDown(link) )
+ { Child(z, link);
+ debugcond1(DSA, D, type(z) == GAP_OBJ,
+ " gap %s", EchoCatOp(VCAT, mark(gap(z)), join(gap(z))));
+ if( type(z) == GAP_OBJ || is_index(type(z)) ) continue;
+ debug6(DSA, D, " component %s %s(%s, %s) so tb = %s, tf = %s",
+ Image(type(z)), type(z) == CLOSURE ? SymName(actual(z)) : STR_EMPTY,
+ EchoLength(back(z, dim)), EchoLength(fwd(z, dim)),
+ EchoLength(tb), EchoLength(tf));
+ ifdebugcond(DSA, DD, dim == COLM && fwd(z, dim) > 20*CM, DebugObject(z));
+ tb = find_max(tb, back(z, dim));
+ tf = find_max(tf, fwd(z, dim));
+ }
+ b = 0; f = find_max(tb + tf, fwd(y, dim));
+ debug5(DSA, D, " ] under head %s with //, tb = %s, tf = %s, b = %s, f = %s",
+ SymName(actual(y)), EchoLength(tb), EchoLength(tf),
+ EchoLength(b), EchoLength(f));
+ }
+ if( back(y, dim) == b && fwd(y, dim) == f )
+ {
+ debug0(DSA, D, "] AdjustSize (COLM) returning at HEAD (no wider)");
+ return;
+ }
+ debug3(DSA, DD, "AdjustSize widening HEAD %s to b = %s, f = %s",
+ SymName(actual(y)), EchoLength(b), EchoLength(f));
+ ifdebugcond(DSA, DD, dim == COLM && f > 20*CM, DebugObject(y));
+ back(y, dim) = b; fwd(y, dim) = f;
+ if( Up(y) == y )
+ {
+ debug0(DSA, D, "] AdjustSize ret. at HEAD (no parent)" );
+ return;
+ }
+ Parent(index, Up(y));
+ if( type(index) != RECEIVING )
+ {
+ debug1(DSA,D, "] AdjustSize ret. at HEAD (%s)", Image(type(index)));
+ return;
+ }
+ assert(actual(index)!=nilobj, "AdjustSize: actual(index)==nilobj!" );
+ assert( type(actual(index)) == CLOSURE, "AdjustSize: index non-C!" );
+ if( actual(actual(index)) != GalleySym &&
+ actual(actual(index)) != ForceGalleySym )
+ {
+ debug0(DSA, D, "] AdjustSize ret. at HEAD (not @Galley, so root)" );
+ return;
+ }
+ y = actual(index);
+ debug3(DSA, DD, "AdjustSize jumping to y = %s of size %s,%s",
+ Image(type(y)), EchoLength(back(y, dim)), EchoLength(fwd(y, dim)));
+ }
+ break;
+
+
+ case SPLIT:
+ case HCONTRACT:
+ case VCONTRACT:
+ case HEXPAND:
+ case VEXPAND:
+ case ONE_COL:
+ case ONE_ROW:
+ case PLAIN_GRAPHIC:
+ case GRAPHIC:
+ case KERN_SHRINK:
+ case BACKGROUND:
+
+ back(x, dim) = b; fwd(x, dim) = f;
+ break;
+
+
+ case HSCALE:
+ case VSCALE:
+
+ back(x, dim) = b; fwd(x, dim) = f;
+ if( (dim==COLM) == (type(y)==HSCALE) )
+ { debug0(DSA, D, "] AdjustSize returning at HSCALE or VSCALE");
+ return;
+ }
+ break;
+
+
+ case HCOVER:
+ case VCOVER:
+
+ /* dubious, but not likely to arise in practice */
+ back(x, dim) = b; fwd(x, dim) = f;
+ if( (dim==COLM) == (type(y)==HCOVER) )
+ { debug0(DSA, D, "] AdjustSize returning at HCOVER or VCOVER");
+ return;
+ }
+ break;
+
+
+ case SCALE:
+
+ back(x, dim) = b; fwd(x, dim) = f;
+ if( dim == COLM )
+ { b *= bc(constraint(y)) / SF;
+ f *= bc(constraint(y)) / SF;
+ }
+ else
+ { b *= fc(constraint(y)) / SF;
+ f *= fc(constraint(y)) / SF;
+ }
+ break;
+
+
+ case ROTATE:
+
+ back(x, dim) = b; fwd(x, dim) = f;
+ RotateSize(&cby, &cfy, &rby, &rfy, x, sparec(constraint(y)));
+ if( cby != back(y, COLM) || cfy != fwd(y, COLM) )
+ AdjustSize(y, cby, cfy, COLM);
+ if( rby != back(y, ROWM) || rfy != fwd(y, ROWM) )
+ AdjustSize(y, rby, rfy, ROWM);
+ debug1(DSA, D, "] AdjustSize returning at %s.", Image(type(y)));
+ return;
+
+
+ case WIDE:
+ case HIGH:
+
+ if( (type(y) == WIDE) == (dim == COLM) )
+ { if( !FitsConstraint(b, f, constraint(y)) )
+ { Error(16, 2, "size constraint %s,%s,%s broken by %s,%s",
+ WARN, &fpos(y),
+ EchoLength(bc(constraint(y))), EchoLength(bfc(constraint(y))),
+ EchoLength(fc(constraint(y))), EchoLength(b), EchoLength(f));
+ SetConstraint(constraint(y), MAX_FULL_LENGTH, b+f, MAX_FULL_LENGTH);
+ }
+ back(x, dim) = b; fwd(x, dim) = f;
+ EnlargeToConstraint(&b, &f, &constraint(y));
+ }
+ else
+ { back(x, dim) = b;
+ fwd(x, dim) = f;
+ }
+ break;
+
+
+ case HLIMITED:
+ case VLIMITED:
+
+ if( (type(y) == HLIMITED) == (dim == COLM) )
+ {
+ /* ***
+ Parent(z, UpDim(y, dim));
+ if( type(z) == ROW_THR || type(z) == COL_THR )
+ {
+ SetConstraint(constraint(y), back(z,dim), size(z,dim), fwd(z,dim));
+ }
+ else
+ {
+ SetConstraint(constraint(y), back(y,dim), size(y,dim), fwd(y,dim));
+ }
+ if( !FitsConstraint(b, f, constraint(y)) )
+ { Error(16, 3, "%s of size %s,%s broken by %s,%s",
+ WARN, &fpos(y), Image(type(y)),
+ EchoLength(back(y, dim)), EchoLength(fwd(y, dim)),
+ EchoLength(b), EchoLength(f));
+ }
+ *** */
+ back(x, dim) = b; fwd(x, dim) = f;
+ }
+ else
+ { back(x, dim) = b;
+ fwd(x, dim) = f;
+ }
+ break;
+
+
+ case HSHIFT:
+ case VSHIFT:
+
+ back(x, dim) = b; fwd(x, dim) = f;
+ if( (type(y) == HSHIFT) == (dim == COLM) )
+ { tf = FindShift(y, x, dim);
+ b = find_min(MAX_FULL_LENGTH, find_max(0, b + tf));
+ f = find_min(MAX_FULL_LENGTH, find_max(0, f - tf));
+ }
+ break;
+
+
+ case COL_THR:
+ case ROW_THR:
+
+ assert( (type(y)==COL_THR) == (dim==COLM), "AdjustSize: COL_THR!" );
+ back(x, dim) = b; fwd(x, dim) = f;
+ b = find_max(b, back(y, dim));
+ f = find_max(f, fwd(y, dim));
+ break;
+
+
+ case VCAT:
+ case HCAT:
+ case ACAT:
+
+ if( (type(y) == VCAT) == (dim == ROWM) )
+ CatAdjustSize(x, &b, &f, ratm, y, dim);
+ else
+ {
+ /* let lp and rp be the gaps bracketing the components joined to x */
+ for( lp = PrevDown(link); lp != y; lp = PrevDown(lp) )
+ { Child(z, lp);
+ if( type(z) == GAP_OBJ && !join(gap(z)) ) break;
+ }
+ for( rp = NextDown(link); rp != y; rp = NextDown(rp) )
+ { Child(z, rp);
+ if( type(z) == GAP_OBJ && !join(gap(z)) ) break;
+ }
+
+ back(x, dim) = b; fwd(x, dim) = f;
+ if( lp == y && rp == y )
+ {
+ /* if whole object is joined, do this */
+ b = find_max(b, back(y, dim));
+ f = find_max(f, fwd(y, dim));
+ }
+ else
+ { /* if // or || is present, do this */
+ tb = tf = 0;
+ for( link = NextDown(lp); link != rp; link = NextDown(link) )
+ { Child(z, link);
+ if( type(z) == GAP_OBJ || is_index(type(z)) ) continue;
+ tb = find_max(tb, back(z, dim));
+ tf = find_max(tf, fwd(z, dim));
+ }
+ b = 0; f = find_max(tb + tf, fwd(y, dim));
+ }
+ }
+ break;
+
+
+ case START_HVSPAN:
+
+ Error(16, 4, "size adjustment of %s not implemented",
+ WARN, &fpos(y), Image(type(y)));
+ break;
+
+
+ case START_VSPAN:
+ case VSPAN:
+
+ if( dim == COLM )
+ {
+ back(x, dim) = b; fwd(x, dim) = f;
+ }
+ else Error(16, 4, "size adjustment of %s not implemented",
+ WARN, &fpos(y), Image(type(y)));
+ break;
+
+
+ case START_HSPAN:
+ case HSPAN:
+
+ if( dim == ROWM )
+ {
+ back(x, dim) = b; fwd(x, dim) = f;
+ }
+ else Error(16, 4, "size adjustment of %s not implemented",
+ WARN, &fpos(y), Image(type(y)));
+ break;
+
+
+ case HSPANNER:
+ case VSPANNER:
+
+ assert( (dim == COLM) == (type(y) == HSPANNER), "AdjustSize: span");
+ back(x, dim) = b; fwd(x, dim) = f;
+ debug5(DSC, D, " adjusting %s from (%s,%s) to (%s,%s)",
+ Image(type(y)), EchoLength(back(y, dim)), EchoLength(fwd(y, dim)),
+ EchoLength(b), EchoLength(f));
+ back(y, dim) = b; fwd(y, dim) = f;
+ debug1(DSA, D, "] AdjustSize returning at %s", Image(type(y)));
+ return;
+ break;
+
+
+ case WORD:
+ case QWORD:
+ case CLOSURE:
+ case NULL_CLOS:
+ case PAGE_LABEL:
+ case CROSS:
+ case FORCE_CROSS:
+ default:
+
+ assert1(FALSE, "AdjustSize:", Image(type(y)));
+ break;
+
+
+ } /* end switch */
+ x = y;
+ } /* end while */
+ debug0(DSA, D, "] AdjustSize returning.");
+} /* end AdjustSize */