public class ElementManager
extends java.lang.Object
An instance of this class is safe for use by multiple threads.
IElementImplSupport.getElementManager_()
Modifier and Type | Field and Description |
---|---|
protected IBodyCache |
cache |
Constructor and Description |
---|
ElementManager(IBodyCache cache)
Constructs an element manager with the given body cache.
|
Modifier and Type | Method and Description |
---|---|
protected void |
close(IElement element,
IContext context)
Attempts to close the given element according to options specified in the
given context.
|
ISourceFile[] |
getWorkingCopies()
Returns the working copies currently managed by this manager.
|
protected final IBodyCache cache
public ElementManager(IBodyCache cache)
cache
- the body cache to be used by the element manager
(not null
)public final ISourceFile[] getWorkingCopies()
Note that the result may immediately become stale if other threads can create or destroy working copies that are managed by this manager.
null
)protected void close(IElement element, IContext context)
This method is called internally; it is not intended to be invoked by clients. This method is called under the element manager lock.
element
- the element that needs closing (never null
)context
- the operation context (never null
)