Lines Matching refs:theScanner
41 private Scanner theScanner;
351 return theScanner;
379 theScanner = (Scanner)value;
442 theScanner.resetDocumentLocator(input.getPublicId(), input.getSystemId());
443 if (theScanner instanceof Locator) {
444 theContentHandler.setDocumentLocator((Locator)theScanner);
449 theScanner.scan(r, this);
459 if (theScanner == null) theScanner = new HTMLScanner();
667 theScanner.startCDATA();
799 theScanner.startCDATA();
864 if (theScanner instanceof Locator) { // Must resolve systemid
865 theDoctypeSystemId = ((Locator)theScanner).getSystemId();