ghm.follow.io
Class FilteredDestination

java.lang.Object
  ghm.follow.io.FilterableOutputDestination
      ghm.follow.io.JTextComponentDestination
          ghm.follow.io.FilteredDestination

All Implemented Interfaces:

OutputDestination

public class FilteredDestination
extends JTextComponentDestination

An OutputDestination that filters what is shown.

Author:

Carl Hall (carl.hall@gmail.com)

Field Summary

Fields inherited from class ghm.follow.io.JTextComponentDestination

autoPositionCaret, comp

Constructor Summary

FilteredDestination(javax.swing.text.JTextComponent jTextArea, SearchEngine se, java.lang.String filterTerm, boolean autoPositionCaret)

Method Summary

void	print(java.lang.String s) Print the supplied String.

Methods inherited from class ghm.follow.io.JTextComponentDestination

addFilteredView, autoPositionCaret, clear, getJTextComponent, handlePrint, removeFilteredView, setAutoPositionCaret, setJTextComponent

Methods inherited from class ghm.follow.io.FilterableOutputDestination

addView, notifyViews, removeView

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FilteredDestination

public FilteredDestination(javax.swing.text.JTextComponent jTextArea,
                           SearchEngine se,
                           java.lang.String filterTerm,
                           boolean autoPositionCaret)

Method Detail

print

public void print(java.lang.String s)

Description copied from interface: OutputDestination

Print the supplied String.

Specified by:

print in interface OutputDestination

Overrides:

print in class FilterableOutputDestination

Parameters:

s - String to be printed