@Override public long getModificationStamp(Object element) { return fParentProvider.getModificationStamp(element); }
public long getModificationStamp(Object element) { return fParentProvider.getModificationStamp(element); }
@Override public long getModificationStamp(Object element) { FileInfo info= fFileInfoMap.get(element); if (info != null) return info.fTextFileBuffer.getModificationStamp(); return getParentProvider().getModificationStamp(element); }
public long getModificationStamp(Object element) { FileInfo info= (FileInfo) fFileInfoMap.get(element); if (info != null) return info.fTextFileBuffer.getModificationStamp(); return getParentProvider().getModificationStamp(element); }
/** * Checks the state of the given editor input. * @param input the editor input whose state is to be checked * @since 2.0 */ protected void sanityCheckState(IEditorInput input) { IDocumentProvider p= getDocumentProvider(); if (p == null) return; if (p instanceof IDocumentProviderExtension3) { IDocumentProviderExtension3 p3= (IDocumentProviderExtension3) p; long stamp= p.getModificationStamp(input); if (stamp != fModificationStamp) { fModificationStamp= stamp; if (!p3.isSynchronized(input)) handleEditorInputChanged(); } } else { if (fModificationStamp == -1) fModificationStamp= p.getSynchronizationStamp(input); long stamp= p.getModificationStamp(input); if (stamp != fModificationStamp) { fModificationStamp= stamp; if (stamp != p.getSynchronizationStamp(input)) handleEditorInputChanged(); } } updateState(getEditorInput()); updateStatusField(ITextEditorActionConstants.STATUS_CATEGORY_ELEMENT_STATE); }
/** * Checks the state of the given editor input. * @param input the editor input whose state is to be checked * @since 2.0 */ protected void sanityCheckState(IEditorInput input) { IDocumentProvider p= getDocumentProvider(); if (p == null) return; if (p instanceof IDocumentProviderExtension3) { IDocumentProviderExtension3 p3= (IDocumentProviderExtension3) p; long stamp= p.getModificationStamp(input); if (stamp != fModificationStamp) { fModificationStamp= stamp; if (!p3.isSynchronized(input)) handleEditorInputChanged(); } } else { if (fModificationStamp == -1) fModificationStamp= p.getSynchronizationStamp(input); long stamp= p.getModificationStamp(input); if (stamp != fModificationStamp) { fModificationStamp= stamp; if (stamp != p.getSynchronizationStamp(input)) handleEditorInputChanged(); } } updateState(getEditorInput()); updateStatusField(ITextEditorActionConstants.STATUS_CATEGORY_ELEMENT_STATE); }
/** * Checks the state of the given editor input. * @param input the editor input whose state is to be checked * @since 2.0 */ protected void sanityCheckState(IEditorInput input) { IDocumentProvider p= getDocumentProvider(); if (p == null) return; if (p instanceof IDocumentProviderExtension3) { IDocumentProviderExtension3 p3= (IDocumentProviderExtension3) p; long stamp= p.getModificationStamp(input); if (stamp != fModificationStamp) { fModificationStamp= stamp; if (!p3.isSynchronized(input)) handleEditorInputChanged(); } } else { if (fModificationStamp == -1) fModificationStamp= p.getSynchronizationStamp(input); long stamp= p.getModificationStamp(input); if (stamp != fModificationStamp) { fModificationStamp= stamp; if (stamp != p.getSynchronizationStamp(input)) handleEditorInputChanged(); } } updateState(getEditorInput()); updateStatusField(ITextEditorActionConstants.STATUS_CATEGORY_ELEMENT_STATE); }
long modStamp= documentProvider.getModificationStamp(editorInput); if (input.equals(fLastInput) && modStamp == fLastModStamp && wordRegion.equals(fLastWordRegion)) { elements= fLastElements;
long modStamp= documentProvider.getModificationStamp(editorInput); if (input.equals(fLastInput) && modStamp == fLastModStamp && wordRegion.equals(fLastWordRegion)) { elements= fLastElements;
isSynchronized= p3.isSynchronized(getEditorInput()); } else { long modifiedStamp= p.getModificationStamp(getEditorInput()); long synchStamp= p.getSynchronizationStamp(getEditorInput()); isSynchronized= (modifiedStamp == synchStamp);
isSynchronized= p3.isSynchronized(getEditorInput()); } else if (p != null) { long modifiedStamp= p.getModificationStamp(getEditorInput()); long synchStamp= p.getSynchronizationStamp(getEditorInput()); isSynchronized= (modifiedStamp == synchStamp);
isSynchronized= p3.isSynchronized(getEditorInput()); } else if (p != null) { long modifiedStamp= p.getModificationStamp(getEditorInput()); long synchStamp= p.getSynchronizationStamp(getEditorInput()); isSynchronized= (modifiedStamp == synchStamp);