org.gjt.sp.jedit.visitors
Interface JEditVisitor

All Known Implementing Classes:

JEditVisitorAdapter, SaveCaretInfoVisitor

public interface JEditVisitor

A visitor that can visit a View, an EditPane or a JEditTextArea. You can also extends the default implementation JEditVisitorAdapter To use this visitor.

Since:

jEdit 4.3pre13

See Also:

jEdit.visit(JEditVisitor), View.visit(JEditVisitor)

Method Summary

void	visit(EditPane editPane) Visit an EditPane.
void	visit(JEditTextArea textArea) Visit a view.
void	visit(View view) Visit a view.

Method Detail

visit

void visit(View view)

Visit a view.

Parameters:

view - the visited view

visit

void visit(EditPane editPane)

Visit an EditPane.

Parameters:

editPane - the visited edit pane

visit

void visit(JEditTextArea textArea)

Visit a view.

Parameters:

textArea - the visited textArea