org.jledit

Interface EditorFactory

All Known Implementing Classes:

ConcreteEditorFactory

public interface EditorFactory

Method Summary

Methods

Modifier and Type	Method and Description
void	bind(java.lang.String flavor, java.lang.Class<? extends ConsoleEditor> editorClass) Binds the specified flavor to the specified class.
ConsoleEditor	create() Creates a ConsoleEditor.
ConsoleEditor	create(java.lang.String flavor) Creates a ConsoleEditor based on the specified flavor.
ConsoleEditor	create(java.lang.String flavor, jline.Terminal terminal) Creates a ConsoleEditor based on the specified flavor & Terminal.
ConsoleEditor	create(java.lang.String flavor, jline.Terminal terminal, java.io.InputStream in, java.io.PrintStream out) Creates a ConsoleEditor based on the specified flavor & Terminal.
ConsoleEditor	create(jline.Terminal terminal) Creates a ConsoleEditor using the specified Terminal.
void	unbind(java.lang.String flavor) Unbinds flavor.

Method Detail

create

ConsoleEditor create()
                     throws EditorInitializationException

Creates a ConsoleEditor.

Returns:

Throws:

EditorInitializationException

create

ConsoleEditor create(jline.Terminal terminal)
                     throws EditorInitializationException

Creates a ConsoleEditor using the specified Terminal.

Returns:

Throws:

EditorInitializationException

create

ConsoleEditor create(java.lang.String flavor)
                     throws EditorInitializationException

Creates a ConsoleEditor based on the specified flavor.

Parameters:

flavor -

Returns:

Throws:

EditorInitializationException

create

ConsoleEditor create(java.lang.String flavor,
                   jline.Terminal terminal)
                     throws EditorInitializationException

Creates a ConsoleEditor based on the specified flavor & Terminal.

Parameters:

flavor -

terminal -

Returns:

Throws:

EditorInitializationException

create

ConsoleEditor create(java.lang.String flavor,
                   jline.Terminal terminal,
                   java.io.InputStream in,
                   java.io.PrintStream out)
                     throws EditorInitializationException

Creates a ConsoleEditor based on the specified flavor & Terminal.

Parameters:

flavor -

terminal -

in -

out -

Returns:

Throws:

EditorInitializationException

bind

void bind(java.lang.String flavor,
        java.lang.Class<? extends ConsoleEditor> editorClass)

Binds the specified flavor to the specified class.

Parameters:

flavor -

editorClass -

unbind

void unbind(java.lang.String flavor)

Unbinds flavor.

Parameters:

flavor -