TerminalIOExtras.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
By Ch. Jacobi, September 23, 1985 11:20:07 am PDT
Last edited by Ch. Jacobi, September 23, 1985 1:50:45 pm PDT
DIRECTORY
Rope USING [ROPE];
TerminalIOExtras: CEDAR DEFINITIONS =
BEGIN
Additional functionality for TerminalIO.
TimeOut: SIGNAL;
RequestRopeWithTimeout:
PROC [text: Rope
.ROPE ←
NIL, timeOut:
NAT ← 0]
RETURNS [Rope
.ROPE];
--Requests user to type in a rope
--timeOut in seconds.
--may raise TerminalIO.UserAbort or TimeOut; no resume possible.
END.