gnu.kawa.servlet

Class ReplSession

java.lang.Object

java.io.Writer

gnu.kawa.servlet.ReplSession

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.Appendable, java.lang.AutoCloseable

public class ReplSession
extends java.io.Writer

The server state for a browser-based "read-eval-print-loop" session.

Field Summary

Fields inherited from class java.io.Writer

lock

Constructor Summary

Constructors

Constructor and Description
ReplSession()
ReplSession(Language language)

Method Summary

Methods

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)

Methods inherited from class java.io.Writer

append, append, append, write, write

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ReplSession

public ReplSession()

ReplSession

public ReplSession(Language language)

Method Detail

write

public void write(int c)

Overrides:

write in class java.io.Writer

write

public void write(char[] cbuf,
         int off,
         int len)

Specified by:

write in class java.io.Writer

write

public void write(java.lang.String str,
         int off,
         int len)

Overrides:

write in class java.io.Writer

flush

public void flush()

Specified by:

flush in interface java.io.Flushable

Specified by:

flush in class java.io.Writer

close

public void close()

Specified by:

close in interface java.io.Closeable

Specified by:

close in interface java.lang.AutoCloseable

Specified by:

close in class java.io.Writer