public class ReplSession
extends java.io.Writer
| Constructor and Description |
|---|
ReplSession() |
ReplSession(Language language) |
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
void |
flush() |
void |
write(char[] cbuf,
int off,
int len) |
void |
write(int c) |
void |
write(java.lang.String str,
int off,
int len) |
public ReplSession()
public ReplSession(Language language)
public void write(int c)
write in class java.io.Writerpublic void write(char[] cbuf,
int off,
int len)
write in class java.io.Writerpublic void write(java.lang.String str,
int off,
int len)
write in class java.io.Writerpublic void flush()
flush in interface java.io.Flushableflush in class java.io.Writerpublic void close()
close in interface java.io.Closeableclose in interface java.lang.AutoCloseableclose in class java.io.Writer