public Location makeLocation(String systemId, int lineNumber, int columnNumber) { return new LocationHost( lhs.makeLocation(systemId, lineNumber, columnNumber), rhs.makeLocation(systemId, lineNumber, columnNumber)); }
public Location makeLocation(String systemId, int lineNumber, int columnNumber) { return new LocationHost( lhs.makeLocation(systemId, lineNumber, columnNumber), rhs.makeLocation(systemId, lineNumber, columnNumber)); }