diff options
Diffstat (limited to 'z16.c')
-rw-r--r-- | z16.c | 629 |
1 files changed, 629 insertions, 0 deletions
@@ -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 */ |