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)
Subclasses may override this method, but are not intended to invoke it.
This implementation invokes ((IElementImplExtension)element).
.
close_
(context)
element
- the element that needs closing (never null
)context
- the operation context (never null
)Copyright (c) 2014, 2019 1C-Soft LLC and others. Made available under the Eclipse Public License 2.0