Révision 3707

TXM/trunk/bundles/org.txm.index.core/src/org/txm/index/core/functions/Index.java (revision 3707)
803 803
804 804 
		// long time = System.currentTimeMillis();
805 805 
		Selection result = null;
806 
		if (pQuery instanceof CQLQuery) {
807 
			result = corpus.query((CQLQuery) pQuery, "index", true); //$NON-NLS-1$
808 
		}
809 
		else {
810 
			result = pQuery.getSearchEngine().query(corpus, pQuery, "index", true); //$NON-NLS-1$
811 
		}
806 
//		if (pQuery instanceof CQLQuery) {
807 
//			result = corpus.query((CQLQuery) pQuery, "index", true); //$NON-NLS-1$
808 
//		}
809 
//		else {
810 
//
811 
//		}
812 
		result = pQuery.getSearchEngine().query(corpus, pQuery, "index", true); //$NON-NLS-1$
812 813 
		boolean isTargetUsed = result.isTargetUsed();
813 814 
		int nbresults = result.getNMatch();
814 815 
		this.nTotalTokens += nbresults; // get number of tokens

Formats disponibles : Unified diff