gnu.kawa.servlet

Class ReplSession


public class ReplSession
extends java.lang.Object

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

Constructor Summary

ReplSession()
ReplSession(Language language)

Method Summary

void
appendOutputRaw(String str, char kind)
void
appendOutputRaw(String str, int off, int len, char kind)

Constructor Details

ReplSession

public ReplSession()

ReplSession

public ReplSession(Language language)

Method Details

appendOutputRaw

public void appendOutputRaw(String str,
                            char kind)

appendOutputRaw

public void appendOutputRaw(String str,
                            int off,
                            int len,
                            char kind)