All Implemented Interfaces:

java.lang.Runnable

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

• 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

  All Methods

  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