X-Git-Url: http://secure.phpeclipse.com
diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/BufferManager.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/BufferManager.java
index 511d041..02839c8 100644
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/BufferManager.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/BufferManager.java
@@ -20,88 +20,88 @@ import net.sourceforge.phpdt.core.IOpenable;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IResource;
-
/**
- * The buffer manager manages the set of open buffers.
- * It implements an LRU cache of buffers.
+ * The buffer manager manages the set of open buffers. It implements an LRU
+ * cache of buffers.
*/
public class BufferManager implements IBufferFactory {
protected static BufferManager DEFAULT_BUFFER_MANAGER;
/**
- * LRU cache of buffers. The key and value for an entry
- * in the table is the identical buffer.
+ * LRU cache of buffers. The key and value for an entry in the table is the
+ * identical buffer.
*/
protected OverflowingLRUCache openBuffers = new BufferCache(60);
-/**
- * Creates a new buffer manager.
- */
-public BufferManager() {
-}
-/**
- * Adds a buffer to the table of open buffers.
- */
-protected void addBuffer(IBuffer buffer) {
- openBuffers.put(buffer.getOwner(), buffer);
-}
-/**
- * @see IBufferFactory#createBuffer(IOpenable)
- */
-public IBuffer createBuffer(IOpenable owner) {
- IJavaElement element = (IJavaElement)owner;
- IResource resource = element.getResource();
- return
- new Buffer(
- resource instanceof IFile ? (IFile)resource : null,
- owner,
- element.isReadOnly());
-}
+ /**
+ * Creates a new buffer manager.
+ */
+ public BufferManager() {
+ }
-/**
- * Returns the open buffer associated with the given owner,
- * or null
if the owner does not have an open
- * buffer associated with it.
- */
-public IBuffer getBuffer(IOpenable owner) {
- return (IBuffer)openBuffers.get(owner);
-}
-/**
- * Returns the default buffer manager.
- */
-public synchronized static BufferManager getDefaultBufferManager() {
- if (DEFAULT_BUFFER_MANAGER == null) {
- DEFAULT_BUFFER_MANAGER = new BufferManager();
+ /**
+ * Adds a buffer to the table of open buffers.
+ */
+ protected void addBuffer(IBuffer buffer) {
+ openBuffers.put(buffer.getOwner(), buffer);
}
- return DEFAULT_BUFFER_MANAGER;
-}
-/**
- * Returns the default buffer factory.
- */
-public IBufferFactory getDefaultBufferFactory() {
- return this;
-}
-/**
- * Returns an enumeration of all open buffers.
- *
- * The Enumeration
answered is thread safe.
- *
- * @see OverflowingLRUCache
- * @return Enumeration of IBuffer
- */
-public Enumeration getOpenBuffers() {
- synchronized (openBuffers) {
- openBuffers.shrink();
- return openBuffers.elements();
+
+ /**
+ * @see IBufferFactory#createBuffer(IOpenable)
+ */
+ public IBuffer createBuffer(IOpenable owner) {
+ IJavaElement element = (IJavaElement) owner;
+ IResource resource = element.getResource();
+ return new Buffer(resource instanceof IFile ? (IFile) resource : null,
+ owner, element.isReadOnly());
}
-}
+ /**
+ * Returns the open buffer associated with the given owner, or
+ * null
if the owner does not have an open buffer associated
+ * with it.
+ */
+ public IBuffer getBuffer(IOpenable owner) {
+ return (IBuffer) openBuffers.get(owner);
+ }
-/**
- * Removes a buffer from the table of open buffers.
- */
-protected void removeBuffer(IBuffer buffer) {
- openBuffers.remove(buffer.getOwner());
-}
+ /**
+ * Returns the default buffer manager.
+ */
+ public synchronized static BufferManager getDefaultBufferManager() {
+ if (DEFAULT_BUFFER_MANAGER == null) {
+ DEFAULT_BUFFER_MANAGER = new BufferManager();
+ }
+ return DEFAULT_BUFFER_MANAGER;
+ }
+
+ /**
+ * Returns the default buffer factory.
+ */
+ public IBufferFactory getDefaultBufferFactory() {
+ return this;
+ }
+
+ /**
+ * Returns an enumeration of all open buffers.
+ *
+ * The Enumeration
answered is thread safe.
+ *
+ * @see OverflowingLRUCache
+ * @return Enumeration of IBuffer
+ */
+ public Enumeration getOpenBuffers() {
+ synchronized (openBuffers) {
+ openBuffers.shrink();
+ return openBuffers.elements();
+ }
+ }
+
+ /**
+ * Removes a buffer from the table of open buffers.
+ */
+ protected void removeBuffer(IBuffer buffer) {
+ openBuffers.remove(buffer.getOwner());
+ }
}