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

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

ReplSession()

ReplSession(Language language)

Method Summary

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 class java.io.Writer