public class ReplSession
extends java.io.Writer
Constructor and Description |
---|
ReplSession() |
ReplSession(Language language) |
public ReplSession()
public ReplSession(Language language)
public void write(int c)
write
in class java.io.Writer
public void write(char[] cbuf, int off, int len)
write
in class java.io.Writer
public void write(java.lang.String str, int off, int len)
write
in class java.io.Writer
public void flush()
flush
in interface java.io.Flushable
flush
in class java.io.Writer
public void close()
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class java.io.Writer