output.c

操作系统源代码

/* Copyright (c) 1985 Ceriel J.H. Jacobs */

/*
 * Handle output to screen
 */

# ifndef lint
static char rcsid[] = "$Header: output.c,v 7.1 87/04/07 14:05:46 ceriel Exp $";
# endif

# define _OUTPUT_

# include "in_all.h"
# include "output.h"
# include "main.h"

# define OBUFSIZ 64*128

static char _outbuf[OBUFSIZ];

VOID
flush() {			/* Flush output buffer, by writing it */
	register char *p = _outbuf;

	_ocnt = OBUFSIZ;
	if (_optr) (VOID) write(1, p, _optr - p);
	_optr = p;
}

VOID
nflush() {			/* Flush output buffer, ignoring it */

	_ocnt = OBUFSIZ;
	_optr = _outbuf;
}

int
fputch(ch) char ch; {		/* print a character */
	putch(ch);
}

VOID
putline(s) register char *s; {	/* Print string s */

	if (!s) return;
	while (*s) {
		putch(*s++);
	}
}

/*
 * A safe version of putline. All control characters are echoed as ^X
 */

VOID
cputline(s) char *s; {
	register c;

	while (c = *s++) {
		if ((unsigned) c > 0177) c &= 0177;
		if (c < ' ' || c == 0177) {
			putch('^');
			c ^= 0100;
		}
		putch(c);
	}
}

/*
 * Simple minded routine to print a number
 */

VOID
prnum(n) long n; {

	putline(getnum(n));
}

static char *
fillnum(n, p)
	long n;
	char *p;
{
	if (n >= 10) {
		p = fillnum(n / 10, p);
	}
	*p++ = (int) (n % 10) + '0';
	*p = '\0';
	return p;
}

char *
getnum(n)
	long n;
{
	static char buf[20];

	fillnum(n, buf);
	return buf;
}