*---------------------------------------*/
public void setDocumentLocator(Locator loc) {
locator = loc;
ParseLocationListener pll = rdfParser.getParseLocationListener();
if (pll != null) {
pll.parseLocationUpdate(loc.getLineNumber(), loc.getColumnNumber());
}
}