/** * The buffer associated with this element has changed. Registers * this element as being out of synch with its buffer's contents. * If the buffer has been closed, this element is set as NOT out of * synch with the contents. * * @see IBufferChangedListener */ public void bufferChanged(BufferChangedEvent event) { if (event.getBuffer().isClosed()) { JavaModelManager.getJavaModelManager().getElementsOutOfSynchWithBuffers().remove(this); getBufferManager().removeBuffer(event.getBuffer()); } else { JavaModelManager.getJavaModelManager().getElementsOutOfSynchWithBuffers().add(this); } } /**
/** * The buffer associated with this element has changed. Registers * this element as being out of synch with its buffer's contents. * If the buffer has been closed, this element is set as NOT out of * synch with the contents. * * @see IBufferChangedListener */ @Override public void bufferChanged(BufferChangedEvent event) { if (event.getBuffer().isClosed()) { JavaModelManager.getJavaModelManager().getElementsOutOfSynchWithBuffers().remove(this); getBufferManager().removeBuffer(event.getBuffer()); } else { JavaModelManager.getJavaModelManager().getElementsOutOfSynchWithBuffers().add(this); } } /**
/** * The buffer associated with this element has changed. Registers * this element as being out of synch with its buffer's contents. * If the buffer has been closed, this element is set as NOT out of * synch with the contents. * * @see IBufferChangedListener */ public void bufferChanged(BufferChangedEvent event) { if (event.getBuffer().isClosed()) { JavaModelManager.getJavaModelManager().getElementsOutOfSynchWithBuffers().remove(this); getBufferManager().removeBuffer(event.getBuffer()); } else { JavaModelManager.getJavaModelManager().getElementsOutOfSynchWithBuffers().add(this); } } /**
/** * The buffer associated with this element has changed. Registers * this element as being out of synch with its buffer's contents. * If the buffer has been closed, this element is set as NOT out of * synch with the contents. * * @see IBufferChangedListener */ public void bufferChanged(BufferChangedEvent event) { if (event.getBuffer().isClosed()) { JavaModelManager.getJavaModelManager().getElementsOutOfSynchWithBuffers().remove(this); getBufferManager().removeBuffer(event.getBuffer()); } else { JavaModelManager.getJavaModelManager().getElementsOutOfSynchWithBuffers().add(this); } } /**
/** * The buffer associated with this element has changed. Registers * this element as being out of synch with its buffer's contents. * If the buffer has been closed, this element is set as NOT out of * synch with the contents. * * @see IBufferChangedListener */ public void bufferChanged(BufferChangedEvent event) { if (event.getBuffer().isClosed()) { JavaModelManager.getJavaModelManager().getElementsOutOfSynchWithBuffers().remove(this); getBufferManager().removeBuffer(event.getBuffer()); } else { JavaModelManager.getJavaModelManager().getElementsOutOfSynchWithBuffers().add(this); } } /**
/** * The buffer associated with this element has changed. Registers * this element as being out of synch with its buffer's contents. * If the buffer has been closed, this element is set as NOT out of * synch with the contents. * * @see IBufferChangedListener */ public void bufferChanged(BufferChangedEvent event) { if (event.getBuffer().isClosed()) { JavaModelManager.getJavaModelManager().getElementsOutOfSynchWithBuffers().remove(this); getBufferManager().removeBuffer(event.getBuffer()); } else { JavaModelManager.getJavaModelManager().getElementsOutOfSynchWithBuffers().add(this); } } /**