kawa

Class DomTermBackend

java.lang.Object

org.domterm.Backend

kawa.DomTermBackend

All Implemented Interfaces:

java.lang.Runnable

public class DomTermBackend
extends org.domterm.Backend
implements java.lang.Runnable

An implementation of DomTerm's Backend that runs a Kawa REPL.

Field Summary

Fields

Modifier and Type	Field and Description
static ThreadLocation<DomTermBackend>	instance
int	ncols
int	nrows
int	pixh
int	pixw

Fields inherited from class org.domterm.Backend

lineEditingMode, termWriter, verbosity, versionInfo

Constructor Summary

Constructors

Constructor and Description
DomTermBackend()
DomTermBackend(Language language, Environment penvironment, boolean shared)

Method Summary

Modifier and Type	Method and Description
void	close(boolean isLast)
static void	loadStyleSheet(java.lang.String name, java.lang.String fname)
void	processInputCharacters(java.lang.String text)
void	reportEvent(java.lang.String name, java.lang.String str)
void	run()
void	run(java.io.Writer out)
void	setWindowSize(int nrows, int ncols, int pixh, int pixw)

Methods inherited from class org.domterm.Backend

addVersionInfo, generateSessionName, getVersionInfo, isCanonicalMode, isEchoingMode, sendInputMode, sendSessionName, sendSessionName, setAutomaticNewline

Methods inherited from class java.lang.Object

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

Field Detail

instance

public static final ThreadLocation<DomTermBackend> instance

nrows

public volatile int nrows

ncols

public volatile int ncols

pixw

public volatile int pixw

pixh

public volatile int pixh

Constructor Detail

DomTermBackend

public DomTermBackend(Language language,
                      Environment penvironment,
                      boolean shared)

DomTermBackend

public DomTermBackend()

Method Detail

reportEvent

public void reportEvent(java.lang.String name,
                        java.lang.String str)

Overrides:

reportEvent in class org.domterm.Backend

run

public void run()

Specified by:

run in interface java.lang.Runnable

run

public void run(java.io.Writer out)
         throws java.lang.Exception

Specified by:

run in class org.domterm.Backend

Throws:

java.lang.Exception

processInputCharacters

public void processInputCharacters(java.lang.String text)

Specified by:

processInputCharacters in class org.domterm.Backend

setWindowSize

public void setWindowSize(int nrows,
                          int ncols,
                          int pixh,
                          int pixw)

Overrides:

setWindowSize in class org.domterm.Backend

close

public void close(boolean isLast)

Overrides:

close in class org.domterm.Backend

loadStyleSheet

public static void loadStyleSheet(java.lang.String name,
                                  java.lang.String fname)
                           throws java.io.IOException

Throws:

java.io.IOException