if (nodes == null && _enhancedDOM != null && _enhancedDOM.hasDOMSource()) { nodes = getDOMNodeById(token); } if (nodes != null && nodes.indexOf(node) >= 0) { return 1; } } return 0; } else { IntegerArray nodes = (IntegerArray) _index.get(value); if (nodes == null && _enhancedDOM != null && _enhancedDOM.hasDOMSource()) { nodes = getDOMNodeById(string);
final StringTokenizer values = new StringTokenizer(string, " \n\t");  while (values.hasMoreElements()) { final String token = (String) values.nextElement(); IntegerArray nodes = null;  if (index != null) { nodes = (IntegerArray) index.get(token);
    public int containsID(int node, Object value) { 	final String string = (String)value;	if (string.indexOf(' ') > -1) {	    final StringTokenizer values = new StringTokenizer(string);	    while (values.hasMoreElements()) {                final String token = (String) values.nextElement();		IntegerArray nodes = (IntegerArray) _index.get(token);		if (nodes == null && _enhancedDOM != null                    && _enhancedDOM.hasDOMSource()) {		    nodes = getDOMNodeById(token);			}		if (nodes != null && nodes.indexOf(node) >= 0) {		    return 1;		}	    }	    return 0;	}	else {	    IntegerArray nodes = (IntegerArray) _index.get(value);            if (nodes == null && _enhancedDOM != null && _enhancedDOM.hasDOMSource()) {                nodes = getDOMNodeById(string);            }	    return (nodes != null && nodes.indexOf(node) >= 0) ? 1 : 0;	}    }