4.3BSD/usr/contrib/B/src/bsmall/B1tex.c

/* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1984. */
/* $Header: B1tex.c,v 1.1 84/06/28 00:48:59 timo Exp $ */

/* B texts */
#include "b.h"
#include "b1obj.h"
#include "B1tlt.h" /* for Cts */

Visible value mk_text(m) string m; {
	value v; intlet len= strlen(m);
	v= grab_tex(len);
	strcpy(Str(v), m);
	return v;
}

Visible bool character(v) value v; {
	if (Is_text(v) && Length(v) == 1) return Yes;
	else return No;
}

Visible char charval(v) value v; {
	if (!Is_text(v) || Length(v) != 1) error("value not a character");
	return *Str(v);
}

Visible string strval(v) value v; {
	return Str(v);
}

Visible value concat(s, t) value s, t; {
	value c;
	if (s->type != Tex) error("in t^u, t is not a text");
	else if (t->type != Tex) error("in t^u, t is a text, but u is not");
	c= grab_tex(Length(s)+Length(t));
	strcpy(Str(c), Str(s)); strcpy(Str(c)+Length(s), Str(t));
	return c;
}

Hidden Procedure concato(s, t) value *s; string t; {
	if ((*s)->type != Tex) error("attempt to join text with non-text");
	xtndtex(s, strlen(t));
	strcat(Str(*s), t);
}

Visible value trim(v, B, C) value v; intlet B, C; {
	intlet len= Length(v), k; value w;
	string vp= Str(v)+B, wp;
	if (v->type != Tex) error("trim (@ or |) applied to non-text");
	if (B < 0 || C < 0 || B+C > len)
		error("trim (@ or |) out of bounds");
	w= grab_tex(len-=(B+C)); wp= Str(w);
	Overall *wp++= *vp++; *wp= '\0';
	return w;
}

Visible value repeat(x, y) value x, y; {
	value r; intlet i= propintlet(intval(y)); intlet xl= Length(x), p, q;
	string rp, xp;
	if (x->type != Tex) error("in t^^n, t is not a text");
	if (i < 0) error("in t^^n, n is negative");
	r= grab_tex(propintlet(i*xl)); rp= Str(r);
	for (p= 0; p < i; p++) {
		xp= Str(x);
		for (q= 0; q < xl; q++) *rp++= *xp++;
	}
	*rp= '\0';
	return r;
}

#define Left 'L'
#define Right 'R'
#define Centre 'C'

Hidden value adj(x, y, side) value x, y; literal side; {
	value r, v= convert(x, Yes, Yes); int i= intval(y);
	intlet lv= Length(v), la, k, ls, rs;
	string rp, vp;
	la= propintlet(i) - lv;
	if (la <= 0) return v;
	r= grab_tex(lv+la); rp= Str(r); vp= Str(v);

	if (side == Left) { ls= 0; rs= la; }
	else if (side == Centre) { ls= la/2; rs= (la+1)/2; }
	else { ls= la; rs= 0; }

	for (k= 0; k < ls; k++) *rp++= ' ';
	for (k= 0; k < lv; k++) *rp++= *vp++;
	for (k= 0; k < rs; k++) *rp++= ' ';
	*rp= 0;
	release(v);
	return r;
}

Visible value adjleft(x, y) value x, y; {
	return adj(x, y, Left);
}

Visible value centre(x, y) value x, y; {
	return adj(x, y, Centre);
}

Visible value adjright(x, y) value x, y; {
	return adj(x, y, Right);
}

/* For reasons of efficiency, wri does not always call convert but writes
   directly on the standard output. Modifications in convert should
   be mirrored by changes in wri and vice versa. */

Visible value convert(v, coll, outer) value v; bool coll, outer; {
	literal type= v->type; intlet len= Length(v), k; value *vp= Ats(v);
	value t, cv;
	switch (type) {
	case Num: 
		return mk_text(convnum(v));
	case Tex:
		if (outer) return copy(v);
		else {string tp= (string) vp; char cs[2];
			cs[1]= '\0';
			t= mk_text("'");
			Overall {
				cs[0]= *tp++;
				concato(&t, cs);
				if (cs[0] == '\'' || cs[0] == '`')
					concato(&t, cs);
			}
			concato(&t, "'");
			return t;
		}
	case Com:
		outer&= coll;
		t= mk_text(coll ? "" : "(");
		Overall {
			concato(&t, Str(cv= convert(*vp++, No, outer)));
			release(cv);
			if (k != len-1) concato(&t, outer ? " " : ", ");
		}
		if (!coll) concato(&t, ")");
		return t;
	case Lis: case ELT:
		t= mk_text("{");
		Overall {
			concato(&t, Str(cv= convert(*vp++, No, No)));
			release(cv);
			if (k != len-1) concato(&t, "; ");
		}
		concato(&t, "}");
		return t;
	case Tab:
		t= mk_text("{");
		Overall {
			concato(&t, "[");
			concato(&t, Str(cv= convert(Cts(*vp), Yes, No)));
			release(cv);
			concato(&t, "]: ");
			concato(&t, Str(cv= convert(Dts(*vp++), No, No)));
			release(cv);
			if (k != len-1) concato(&t, "; ");
		}
		concato(&t, "}");
		return t;
	default:
		syserr("converting value of unknown type");
		return (value) Dummy;
	}
}