public class DomTermBackend
extends Backend
implements java.lang.Runnable
Modifier and Type | Field and Description |
---|---|
static ThreadLocation<DomTermBackend> |
instance |
int |
ncols |
int |
nrows |
int |
pixh |
int |
pixw |
Constructor and Description |
---|
DomTermBackend() |
DomTermBackend(Language language,
Environment penvironment,
boolean shared) |
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) |
public static final ThreadLocation<DomTermBackend> instance
public volatile int nrows
public volatile int ncols
public volatile int pixw
public volatile int pixh
public DomTermBackend(Language language, Environment penvironment, boolean shared)
public DomTermBackend()
public void reportEvent(java.lang.String name, java.lang.String str)
public void run()
run
in interface java.lang.Runnable
public void run(java.io.Writer out) throws java.lang.Exception
java.lang.Exception
public void processInputCharacters(java.lang.String text)
public void setWindowSize(int nrows, int ncols, int pixh, int pixw)
public void close(boolean isLast)
public static void loadStyleSheet(java.lang.String name, java.lang.String fname) throws java.io.IOException
java.io.IOException