com.mindbright.terminal
Interface Terminal
- All Known Implementing Classes:
- Terminal6530, TerminalVT100Style
public interface Terminal
Interface that defines a terminal emulator from the perspective
of a TerminalWindow.
Method Summary |
void |
clearLine()
|
void |
clearSaveLines()
|
void |
clearScreen()
|
void |
close()
|
void |
doClickSelect(int visTop,
int row,
int col,
java.lang.String selectDelims)
|
void |
fromHost(char c)
|
int |
getCols()
|
java.lang.String |
getDefaultProperty(java.lang.String key)
|
TerminalOption[] |
getOptions()
|
java.util.Properties |
getProperties()
|
java.lang.String |
getProperty(java.lang.String key)
|
boolean |
getPropsChanged()
|
int |
getRows()
|
java.lang.String |
getSelection(java.lang.String eol)
|
void |
keyHandler(char c,
int virtualKey,
int modifiers)
|
void |
mouseHandler(int visTop,
int x,
int y,
boolean press,
int modifiers)
|
void |
paste(java.lang.String selection)
|
void |
reset()
|
void |
resetClickSelect()
|
void |
resetSelection()
|
void |
ringBell()
|
SearchContext |
search(SearchContext lastContext,
java.lang.String key,
boolean reverse,
boolean caseSens)
|
void |
selectAll()
|
void |
setAttributeBold(boolean set)
|
void |
setCursorPos(int row,
int col)
|
void |
setDisplay(DisplayView display)
|
void |
setDumbMode(boolean dumb)
|
void |
setInputCharset(java.lang.String charset)
|
void |
setProperties(java.util.Properties newProps)
|
boolean |
setProperty(java.lang.String key,
java.lang.String value,
boolean forceSet)
|
void |
setPropsChanged(boolean value)
|
boolean |
setSaveLines(int lines)
|
void |
setSelection(int row1,
int col1,
int row2,
int col2)
|
void |
setSelection(int visTop,
int row1,
int col1,
int row2,
int col2)
|
boolean |
setSize(int rows,
int cols)
|
boolean |
setTerminalType(java.lang.String type)
|
void |
setTerminalWindow(TerminalWindow termWin)
|
void |
setUpdate(boolean enable)
|
java.lang.String |
terminalType()
|
GRAVITY_SOUTHWEST
static final int GRAVITY_SOUTHWEST
- See Also:
- Constant Field Values
GRAVITY_NORTHWEST
static final int GRAVITY_NORTHWEST
- See Also:
- Constant Field Values
terminalType
java.lang.String terminalType()
setTerminalType
boolean setTerminalType(java.lang.String type)
setDumbMode
void setDumbMode(boolean dumb)
reset
void reset()
close
void close()
getRows
int getRows()
getCols
int getCols()
paste
void paste(java.lang.String selection)
keyHandler
void keyHandler(char c,
int virtualKey,
int modifiers)
mouseHandler
void mouseHandler(int visTop,
int x,
int y,
boolean press,
int modifiers)
setInputCharset
void setInputCharset(java.lang.String charset)
fromHost
void fromHost(char c)
setUpdate
void setUpdate(boolean enable)
setSize
boolean setSize(int rows,
int cols)
setSaveLines
boolean setSaveLines(int lines)
clearSaveLines
void clearSaveLines()
doClickSelect
void doClickSelect(int visTop,
int row,
int col,
java.lang.String selectDelims)
getSelection
java.lang.String getSelection(java.lang.String eol)
setSelection
void setSelection(int visTop,
int row1,
int col1,
int row2,
int col2)
setSelection
void setSelection(int row1,
int col1,
int row2,
int col2)
selectAll
void selectAll()
resetSelection
void resetSelection()
resetClickSelect
void resetClickSelect()
setTerminalWindow
void setTerminalWindow(TerminalWindow termWin)
setDisplay
void setDisplay(DisplayView display)
setProperties
void setProperties(java.util.Properties newProps)
setProperty
boolean setProperty(java.lang.String key,
java.lang.String value,
boolean forceSet)
getProperties
java.util.Properties getProperties()
getProperty
java.lang.String getProperty(java.lang.String key)
getPropsChanged
boolean getPropsChanged()
setPropsChanged
void setPropsChanged(boolean value)
getDefaultProperty
java.lang.String getDefaultProperty(java.lang.String key)
getOptions
TerminalOption[] getOptions()
search
SearchContext search(SearchContext lastContext,
java.lang.String key,
boolean reverse,
boolean caseSens)
setAttributeBold
void setAttributeBold(boolean set)
clearScreen
void clearScreen()
ringBell
void ringBell()
setCursorPos
void setCursorPos(int row,
int col)
clearLine
void clearLine()