mars.venus.editors
Interface MARSTextEditingArea
- All Known Implementing Classes:
- GenericTextArea, JEditBasedTextArea
public interface MARSTextEditingArea
Specifies capabilities that any test editor used in MARS must have.
TEXT_NOT_FOUND
static final int TEXT_NOT_FOUND
- See Also:
- Constant Field Values
TEXT_FOUND
static final int TEXT_FOUND
- See Also:
- Constant Field Values
TEXT_REPLACED_FOUND_NEXT
static final int TEXT_REPLACED_FOUND_NEXT
- See Also:
- Constant Field Values
TEXT_REPLACED_NOT_FOUND_NEXT
static final int TEXT_REPLACED_NOT_FOUND_NEXT
- See Also:
- Constant Field Values
copy
void copy()
cut
void cut()
doFindText
int doFindText(java.lang.String find,
boolean caseSensitive)
doReplace
int doReplace(java.lang.String find,
java.lang.String replace,
boolean caseSensitive)
doReplaceAll
int doReplaceAll(java.lang.String find,
java.lang.String replace,
boolean caseSensitive)
getCaretPosition
int getCaretPosition()
getDocument
javax.swing.text.Document getDocument()
getSelectedText
java.lang.String getSelectedText()
getSelectionEnd
int getSelectionEnd()
getSelectionStart
int getSelectionStart()
select
void select(int selectionStart,
int selectionEnd)
selectAll
void selectAll()
getText
java.lang.String getText()
getUndoManager
javax.swing.undo.UndoManager getUndoManager()
paste
void paste()
replaceSelection
void replaceSelection(java.lang.String str)
setCaretPosition
void setCaretPosition(int position)
setEditable
void setEditable(boolean editable)
setSelectionEnd
void setSelectionEnd(int pos)
setSelectionStart
void setSelectionStart(int pos)
setText
void setText(java.lang.String text)
setFont
void setFont(java.awt.Font f)
getFont
java.awt.Font getFont()
requestFocusInWindow
boolean requestFocusInWindow()
getFontMetrics
java.awt.FontMetrics getFontMetrics(java.awt.Font f)
setBackground
void setBackground(java.awt.Color c)
setEnabled
void setEnabled(boolean enabled)
grabFocus
void grabFocus()
redo
void redo()
revalidate
void revalidate()
setSourceCode
void setSourceCode(java.lang.String code,
boolean editable)
setCaretVisible
void setCaretVisible(boolean vis)
setSelectionVisible
void setSelectionVisible(boolean vis)
undo
void undo()
discardAllUndoableEdits
void discardAllUndoableEdits()
setLineHighlightEnabled
void setLineHighlightEnabled(boolean highlight)
setCaretBlinkRate
void setCaretBlinkRate(int rate)
setTabSize
void setTabSize(int chars)
updateSyntaxStyles
void updateSyntaxStyles()
getOuterComponent
java.awt.Component getOuterComponent()