read String -- read from a file

read String -- read from a file

Synopsis:

Usage: s = read p

Function: read -- read from a file

Input:

p, an instance of class String: a string containing a prompt to be displayed for the user

Output:

s, an instance of class String: a string obtained by reading from the standard input file stdio.