Lines Matching defs:engine
48 private SearchEngine engine;
55 engine = new SearchEngine();
78 engine.setDefinition(getopt.getOptarg());
81 engine.setSymbol(getopt.getOptarg());
84 engine.setFile(getopt.getOptarg());
87 engine.setHistory(getopt.getOptarg());
90 engine.setFreetext(getopt.getOptarg());
105 if (engine == null || !engine.isValidQuery()) {
112 nhits = engine.search();
114 engine.results(0, nhits, results);
116 totalResults = engine.totalHits;
123 System.err.println("Your search \"" + engine.getQuery()
149 engine.results(nhits, totalResults, results);