Uses of Interface
org.jline.reader.Widget
-
Packages that use Widget Package Description org.jline.builtins org.jline.console org.jline.console.impl org.jline.reader JLine 3.org.jline.reader.impl org.jline.widget -
-
Uses of Widget in org.jline.builtins
Method parameters in org.jline.builtins with type arguments of type Widget Modifier and Type Method Description static void
Commands. widget(LineReader reader, java.io.PrintStream out, java.io.PrintStream err, java.util.function.Function<java.lang.String,Widget> widgetCreator, java.lang.String[] argv)
-
Uses of Widget in org.jline.console
Classes in org.jline.console that implement Widget Modifier and Type Class Description static class
ConsoleEngine.WidgetCreator
-
Uses of Widget in org.jline.console.impl
Fields in org.jline.console.impl with type parameters of type Widget Modifier and Type Field Description private java.util.function.Function<java.lang.String,Widget>
Builtins. widgetCreator
Constructor parameters in org.jline.console.impl with type arguments of type Widget Constructor Description Builtins(java.nio.file.Path workDir, ConfigurationPath configPath, java.util.function.Function<java.lang.String,Widget> widgetCreator)
Builtins(java.util.function.Supplier<java.nio.file.Path> workDir, ConfigurationPath configPath, java.util.function.Function<java.lang.String,Widget> widgetCreator)
Builtins(java.util.Set<Builtins.Command> commands, java.nio.file.Path workDir, ConfigurationPath configpath, java.util.function.Function<java.lang.String,Widget> widgetCreator)
Builtins(java.util.Set<Builtins.Command> commands, java.util.function.Supplier<java.nio.file.Path> workDir, ConfigurationPath configpath, java.util.function.Function<java.lang.String,Widget> widgetCreator)
-
Uses of Widget in org.jline.reader
Methods in org.jline.reader that return types with arguments of type Widget Modifier and Type Method Description java.util.Map<java.lang.String,Widget>
LineReader. getBuiltinWidgets()
java.util.Map<java.lang.String,Widget>
LineReader. getWidgets()
-
Uses of Widget in org.jline.reader.impl
Fields in org.jline.reader.impl with type parameters of type Widget Modifier and Type Field Description protected java.util.Map<java.lang.String,Widget>
LineReaderImpl. builtinWidgets
protected java.util.Map<java.lang.String,Widget>
LineReaderImpl. widgets
Methods in org.jline.reader.impl that return Widget Modifier and Type Method Description protected Widget
LineReaderImpl. getWidget(java.lang.Object binding)
private Widget
LineReaderImpl. namedWidget(java.lang.String name, Widget widget)
Methods in org.jline.reader.impl that return types with arguments of type Widget Modifier and Type Method Description protected java.util.Map<java.lang.String,Widget>
LineReaderImpl. builtinWidgets()
java.util.Map<java.lang.String,Widget>
LineReaderImpl. getBuiltinWidgets()
java.util.Map<java.lang.String,Widget>
LineReaderImpl. getWidgets()
Methods in org.jline.reader.impl with parameters of type Widget Modifier and Type Method Description private void
LineReaderImpl. addBuiltinWidget(java.util.Map<java.lang.String,Widget> widgets, java.lang.String name, Widget widget)
private void
LineReaderImpl. bind(KeyMap<Binding> map, Widget widget, java.lang.CharSequence... keySeqs)
private boolean
LineReaderImpl. callNeg(Widget widget)
private Widget
LineReaderImpl. namedWidget(java.lang.String name, Widget widget)
Method parameters in org.jline.reader.impl with type arguments of type Widget Modifier and Type Method Description private void
LineReaderImpl. addBuiltinWidget(java.util.Map<java.lang.String,Widget> widgets, java.lang.String name, Widget widget)
-
Uses of Widget in org.jline.widget
Methods in org.jline.widget that return Widget Modifier and Type Method Description private Widget
Widgets. namedWidget(java.lang.String name, Widget widget)
private Widget
Widgets. widget(java.lang.String name)
Methods in org.jline.widget with parameters of type Widget Modifier and Type Method Description void
Widgets. addWidget(java.lang.String name, Widget widget)
Add widget to the LineReaderprivate Widget
Widgets. namedWidget(java.lang.String name, Widget widget)
-