public interface EditorFactory
| Modifier and Type | Method and Description |
|---|---|
void |
bind(String flavor,
Class<? extends ConsoleEditor> editorClass)
Binds the specified flavor to the specified class.
|
ConsoleEditor |
create()
Creates a
ConsoleEditor. |
ConsoleEditor |
create(String flavor)
Creates a
ConsoleEditor based on the specified flavor. |
ConsoleEditor |
create(String flavor,
jline.Terminal terminal)
Creates a
ConsoleEditor based on the specified flavor & Terminal. |
ConsoleEditor |
create(jline.Terminal terminal)
Creates a
ConsoleEditor using the specified Terminal. |
void |
unbind(String flavor)
Unbinds flavor.
|
ConsoleEditor create() throws EditorInitializationException
ConsoleEditor.EditorInitializationExceptionConsoleEditor create(jline.Terminal terminal) throws EditorInitializationException
ConsoleEditor using the specified Terminal.EditorInitializationExceptionConsoleEditor create(String flavor) throws EditorInitializationException
ConsoleEditor based on the specified flavor.flavor - EditorInitializationExceptionConsoleEditor create(String flavor, jline.Terminal terminal) throws EditorInitializationException
ConsoleEditor based on the specified flavor & Terminal.flavor - terminal - EditorInitializationExceptionvoid bind(String flavor, Class<? extends ConsoleEditor> editorClass)
flavor - editorClass - void unbind(String flavor)
flavor - Copyright © 2013. All Rights Reserved.