public abstract class Widgets extends Object
| Modifier and Type | Field and Description |
|---|---|
protected static String |
AP_BACKWARD_DELETE_CHAR |
protected static String |
AP_INSERT |
static String |
AUTOPAIR_TOGGLE |
static String |
AUTOSUGGEST_TOGGLE |
protected org.jline.reader.LineReader |
reader |
static String |
TAILTIP_PANE |
static String |
TAILTIP_TOGGLE |
protected static String |
TT_ACCEPT_LINE |
| Constructor and Description |
|---|
Widgets(org.jline.reader.LineReader reader) |
| Modifier and Type | Method and Description |
|---|---|
void |
addDescription(List<org.jline.utils.AttributedString> desc)
Add description text to the terminal status bar
|
void |
addWidget(String name,
org.jline.reader.Widget widget)
Add widget to the LineReader
|
void |
aliasWidget(String orig,
String alias)
Create alias to widget
|
List<String> |
args()
Parse lineReader buffer and returns its arguments
|
org.jline.reader.Buffer |
buffer()
Get lineReader's buffer
|
void |
callWidget(String name)
Call widget.
|
void |
clearDescription()
Clears terminal status bar
|
void |
clearTailTip()
Clears command line command hint
|
String |
currChar()
Access lineReader's buffer and return its current character
|
void |
destroyDescription()
Remove terminal status bar
|
void |
executeWidget(String name)
Bind widget to ctrl-alt-x and execute it
|
boolean |
existsWidget(String name)
Test if widget exists
|
org.jline.keymap.KeyMap<org.jline.reader.Binding> |
getKeyMap()
Get lineReader's Main KeyMap
|
String |
getWidget(String name)
Resolve widget name if its alias is given as method parameter.
|
void |
initDescription(int size)
Initialize terminal status bar
|
String |
lastBinding()
Get lineReader's last binding
|
org.jline.reader.Parser |
parser()
Get lineReader's parser
|
String |
prevChar()
Access lineReader buffer and return its previous character
|
void |
putString(String string)
Write the string parameter to the lineReader's buffer
|
void |
replaceBuffer(org.jline.reader.Buffer buffer)
Replace lineReader buffer
|
void |
setErrorIndex(int errorIndex)
Set errorIndex to the lineReader's highlighter
|
void |
setErrorPattern(Pattern errorPattern)
Set errorPattern to the lineReader's highlighter
|
void |
setSuggestionType(org.jline.reader.LineReader.SuggestionType type)
Set lineReader's autosuggestion type
|
void |
setTailTip(String tailTip)
Set lineReader's command hint to be added in the command line
|
String |
tailTip()
Get lineReader's command hint
|
public static final String TAILTIP_TOGGLE
public static final String TAILTIP_PANE
public static final String AUTOPAIR_TOGGLE
public static final String AUTOSUGGEST_TOGGLE
protected static final String AP_INSERT
protected static final String AP_BACKWARD_DELETE_CHAR
protected static final String TT_ACCEPT_LINE
protected final org.jline.reader.LineReader reader
public void addWidget(String name, org.jline.reader.Widget widget)
name - the name of widgetwidget - widgetpublic void callWidget(String name)
name - widget namepublic void executeWidget(String name)
name - widget namepublic void aliasWidget(String orig, String alias)
orig - widget original namealias - alias namepublic String getWidget(String name)
name - widget name or aliaspublic boolean existsWidget(String name)
name - widget name or its aliaspublic org.jline.reader.Parser parser()
public org.jline.keymap.KeyMap<org.jline.reader.Binding> getKeyMap()
public org.jline.reader.Buffer buffer()
public void replaceBuffer(org.jline.reader.Buffer buffer)
buffer - buffer that will be copied to the LineReader Bufferpublic List<String> args()
public String prevChar()
public String currChar()
public String lastBinding()
public void putString(String string)
string - string to be writtenpublic String tailTip()
public void setTailTip(String tailTip)
tailTip - command hintpublic void setErrorPattern(Pattern errorPattern)
errorPattern - error patternpublic void setErrorIndex(int errorIndex)
errorIndex - error indexpublic void clearTailTip()
public void setSuggestionType(org.jline.reader.LineReader.SuggestionType type)
type - autosuggestion typepublic void addDescription(List<org.jline.utils.AttributedString> desc)
desc - description textpublic void clearDescription()
public void initDescription(int size)
size - Terminal status bar size in rowspublic void destroyDescription()
Copyright © 2023. All rights reserved.