Module jEdit
Package org.gjt.sp.jedit.search

Class HyperSearchOperationNode

java.lang.Object
org.gjt.sp.jedit.search.HyperSearchOperationNode
public class HyperSearchOperationNode extends Object
Top result node of a HyperSearch request.
Version:
$Id: HyperSearchOperationNode.java 24421 2016-06-19 15:33:49Z kerik-sf $
Author:
Slava Pestov

  • Constructor Details

    • HyperSearchOperationNode

      public HyperSearchOperationNode(String searchString, SearchMatcher searchMatcher)

  • Method Details

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • isTreeViewDisplayed

      public boolean isTreeViewDisplayed()

    • setTreeViewDisplayed

      public void setTreeViewDisplayed(boolean treeViewDisplayed)

    • restoreFlatNodes

      public void restoreFlatNodes(JTree resultTree, DefaultMutableTreeNode operNode)

    • cacheResultNodes

      public void cacheResultNodes(DefaultMutableTreeNode operNode)

    • removeNodeFromCache

      public static void removeNodeFromCache(MutableTreeNode mnode)

    • insertTreeNodes

      public void insertTreeNodes(JTree resultTree, DefaultMutableTreeNode operNode)

    • getSearchMatcher

      public SearchMatcher getSearchMatcher()

    • getSearchString

      public String getSearchString()