@Override public DocType docType(int line, int col, String elementName, String publicID, String systemID) { final LocatedDocType ret = new LocatedDocType(elementName, publicID, systemID); ret.setLine(line); ret.setColumn(col); return ret; }
@Override public DocType docType(int line, int col, String elementName, String systemID) { final LocatedDocType ret = new LocatedDocType(elementName, systemID); ret.setLine(line); ret.setColumn(col); return ret; }
@Override public DocType docType(int line, int col, String elementName) { final LocatedDocType ret = new LocatedDocType(elementName); ret.setLine(line); ret.setColumn(col); return ret; }