public class read_line extends java.lang.Object
read_line()
static java.lang.Object
apply(gnu.kawa.io.InPort in, java.lang.String handling)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public read_line()
public static java.lang.Object apply(gnu.kawa.io.InPort in, java.lang.String handling) throws java.io.IOException
java.io.IOException