if (casesensAttr.equals ("1"))
casesensitive = true;
else if (casesensAttr.equals ("0"))
casesensitive = false;
else
throw new InvalidQueryException ("casesensitive must be either \"0\" or \"1\"");
}
Element propListElement = e.getChild (Literals.PROP, NamespaceCache.DEFAULT_NAMESPACE);
if (propListElement == null)
throw new InvalidQueryException
("No property element supplied");
List propList = propListElement.getChildren();
if (propList.size() != 1)
throw new InvalidQueryException
("Expected exactly 1 prop element, found " + propList.size());
Element propElement = ((Element)propList.get(0));
property = propElement.getName();
propNamespace = propElement.getNamespace().getURI();