Mercurial > hg > truffle

comparison src/share/tools/IdealGraphVisualizer/Editor/src/com/oracle/graal/visualizer/editor/NodeQuickSearch.java @ 4501:d6f55cb223f4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Updated editor view.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sun, 05 Feb 2012 02:42:16 +0100
parents e55e2fca50fa
children
comparison
equal deleted inserted replaced
4500:ef80d24510fd 4501:d6f55cb223f4
25 25
26 import com.sun.hotspot.igv.data.InputNode; 26 import com.sun.hotspot.igv.data.InputNode;
27 import com.sun.hotspot.igv.data.Properties; 27 import com.sun.hotspot.igv.data.Properties;
28 import com.sun.hotspot.igv.data.Properties.RegexpPropertyMatcher; 28 import com.sun.hotspot.igv.data.Properties.RegexpPropertyMatcher;
29 import com.sun.hotspot.igv.data.services.InputGraphProvider; 29 import com.sun.hotspot.igv.data.services.InputGraphProvider;
30 import com.sun.hotspot.igv.util.LookupHistory;
31 import java.util.HashSet; 30 import java.util.HashSet;
32 import java.util.List; 31 import java.util.List;
33 import java.util.Set; 32 import java.util.Set;
34 import java.util.regex.Pattern; 33 import java.util.regex.Pattern;
35 import org.netbeans.spi.quicksearch.SearchProvider; 34 import org.netbeans.spi.quicksearch.SearchProvider;
77 76
78 if (value.isEmpty()) { 77 if (value.isEmpty()) {
79 value = ".*"; 78 value = ".*";
80 } 79 }
81 80
82 final InputGraphProvider p = LookupHistory.getLast(InputGraphProvider.class); 81 final InputGraphProvider p = null;// TODO: FIXME LookupHistory.getLast(InputGraphProvider.class);
83 if (p != null && p.getGraph() != null) { 82 if (p != null && p.getGraph() != null) {
84 List<InputNode> matches = null; 83 List<InputNode> matches = null;
85 try { 84 try {
86 RegexpPropertyMatcher matcher = new RegexpPropertyMatcher(name, value, Pattern.CASE_INSENSITIVE); 85 RegexpPropertyMatcher matcher = new RegexpPropertyMatcher(name, value, Pattern.CASE_INSENSITIVE);
87 Properties.PropertySelector<InputNode> selector = new Properties.PropertySelector<>(p.getGraph().getNodes()); 86 Properties.PropertySelector<InputNode> selector = new Properties.PropertySelector<>(p.getGraph().getNodes());