public boolean equals(Object obj) { if (this == obj) return true; if (obj == null) return false; if(!(obj instanceof IExceptionEntryID)) return false; final IExceptionEntryID other = (IExceptionEntryID) obj; if (!surfaceForm.equals(other.getSurfaceForm())) return false; if (!pos.equals(other.getPOS())) return false; return true; }
public IExceptionEntry getExceptionEntry(IExceptionEntryID id) { if(data != null){ return data.exceptions.get(id.getPOS()).get(id); } else { return backing.getExceptionEntry(id); } }
public IExceptionEntry getExceptionEntry(IExceptionEntryID id) { checkOpen(); IContentType<IExceptionEntryProxy> content = resolveExceptionContentType(id.getPOS()); IDataSource<IExceptionEntryProxy> file = provider.getSource(content); // fix for bug 010 if(file == null) return null; String line = file.getLine(id.getSurfaceForm()); if (line == null) return null; IExceptionEntryProxy proxy = content.getDataType().getParser().parseLine(line); if(proxy == null) return null; return new ExceptionEntry(proxy, id.getPOS()); }