Interface IElementImplExtension
- All Superinterfaces:
IElement,IElementImpl
- All Known Subinterfaces:
IElementImplSupport,ISourceConstructImplSupport,ISourceElementImplSupport,ISourceFileImplSupport
- All Known Implementing Classes:
BaseSourceFile,Element,FsSourceFile,SourceConstruct,SourceFile,WorkspaceSourceFile
IElementImpl that introduces the notion of element's
cached body. IElements may implement this interface.- Restriction:
- This interface is not intended to be extended by clients.
-
Nested Class Summary
Nested ClassesModifier and TypeInterfaceDescriptionstatic enumIndicates reason for element closing. -
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final Property<IElementImplExtension.CloseHint> Closing hint.Indicates whether to forcibly reopen this element if it is already open (i.e., already present in the body cache). -
Method Summary
Modifier and TypeMethodDescriptiondefault voidclose_()Closes this element if, and only if, the current state of this element permits closing.voidCloses this element if, and only if, the current state of this element permits closing according to options specified in the given context.Returns the cached body for this element, ornullif none.default ObjectgetBody_()Returns the cached body for this element.default ObjectReturns the cached body for this element.default IElement[]getChildren_(IContext context, org.eclipse.core.runtime.IProgressMonitor monitor) Returns the immediate children of this element.IElement[]getChildrenFromBody_(Object body) Given a body for this element, returns the immediate children.Ensures that this element is open, i.e., it exists and is present in the body cache.Returns the cached body for this element without disturbing cache ordering, ornullif none.Methods inherited from interface org.eclipse.handly.model.impl.IElementImpl
equalsAndSameParentChain_, exists_, fetchChildren_, fetchChildrenOfType_, getChildrenOfType_, getHandleMemento_, getLocationUri_, getModel_, getName_, getParent_, getResource_, getRoot_, toDisplayString_, toString_
-
Field Details
-
FORCE_OPEN
Indicates whether to forcibly reopen this element if it is already open (i.e., already present in the body cache). Default value:false.This property is for implementation purposes; it is not intended for use by general clients.
- See Also:
-
CLOSE_HINT
Closing hint.This property is for implementation purposes; it is not intended for use by general clients.
- See Also:
-
-
Method Details
-
getChildren_
default IElement[] getChildren_(IContext context, org.eclipse.core.runtime.IProgressMonitor monitor) throws org.eclipse.core.runtime.CoreException Description copied from interface:IElementImplReturns the immediate children of this element. Unless otherwise specified by the implementing element, the children are in no particular order.- Specified by:
getChildren_in interfaceIElementImpl- Parameters:
context- the operation context (notnull)monitor- a progress monitor, ornullif progress reporting is not desired. The caller must not rely onIProgressMonitor.done()having been called by the receiver- Returns:
- the immediate children of this element (never
null). Clients must not modify the returned array. - Throws:
org.eclipse.core.runtime.CoreException- if this element does not exist or if an exception occurs while accessing its corresponding resource
-
getChildrenFromBody_
Given a body for this element, returns the immediate children.- Parameters:
body- a body for this element (notnull)- Returns:
- the immediate children (never
null). Clients must not modify the returned array.
-
findBody_
Object findBody_()Returns the cached body for this element, ornullif none.- Returns:
- the cached body for this element, or
nullif none
-
peekAtBody_
Object peekAtBody_()Returns the cached body for this element without disturbing cache ordering, ornullif none.- Returns:
- the cached body for this element, or
nullif none
-
getBody_
Returns the cached body for this element. If this element is not already present in the body cache, attempts toopenit. Shortcut togetBody_(EMPTY_CONTEXT, null).- Returns:
- the cached body for this element (never
null) - Throws:
org.eclipse.core.runtime.CoreException- if this element does not exist or if an exception occurs while accessing its corresponding resource
-
getBody_
default Object getBody_(IContext context, org.eclipse.core.runtime.IProgressMonitor monitor) throws org.eclipse.core.runtime.CoreException Returns the cached body for this element. If this element is not already present in the body cache, attempts toopenit propagating the given context.- Parameters:
context- the operation context (notnull)monitor- a progress monitor, ornullif progress reporting is not desired. The caller must not rely onIProgressMonitor.done()having been called by the receiver- Returns:
- the cached body for this element (never
null) - Throws:
org.eclipse.core.runtime.CoreException- if this element does not exist or if an exception occurs while accessing its corresponding resourceorg.eclipse.core.runtime.OperationCanceledException- if this method is canceled
-
open_
Object open_(IContext context, org.eclipse.core.runtime.IProgressMonitor monitor) throws org.eclipse.core.runtime.CoreException Ensures that this element is open, i.e., it exists and is present in the body cache. Returns the cached body for this element.Implementations are encouraged to support the following standard options, which may be specified in the given context:
-
FORCE_OPEN- Indicates whether to forcibly reopen this element if it is already open (i.e., already present in the body cache).
- Parameters:
context- the operation context (notnull)monitor- a progress monitor, ornullif progress reporting is not desired. The caller must not rely onIProgressMonitor.done()having been called by the receiver- Returns:
- the cached body for this element (never
null) - Throws:
org.eclipse.core.runtime.CoreException- if this element does not exist or if an exception occurs while accessing its corresponding resourceorg.eclipse.core.runtime.OperationCanceledException- if this method is canceled
-
-
close_
default void close_()Closes this element if, and only if, the current state of this element permits closing.Closing of an element removes its body from the body cache. In general, closing of a parent element also closes its children. If the current state of an open child element does not permit closing, the child element remains open, which generally does not prevent its parent from closing. Closing of an element which is not open has no effect.
Shortcut to
close_(EMPTY_CONTEXT).- See Also:
-
close_
Closes this element if, and only if, the current state of this element permits closing according to options specified in the given context.Closing of an element removes its body from the body cache. In general, closing of a parent element also closes its children. If the current state of an open child element does not permit closing, the child element remains open, which generally does not prevent its parent from closing. Closing of an element which is not open has no effect.
Implementations are encouraged to support the following standard options, which may be specified in the given context:
-
CLOSE_HINT- Closing hint.
- Parameters:
context- the operation context (notnull)
-
-