public class CompleteOCLOutlineTreeProvider extends EssentialOCLOutlineTreeProvider
| Constructor and Description |
|---|
CompleteOCLOutlineTreeProvider() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
_createNode(org.eclipse.xtext.ui.editor.outline.IOutlineNode parentNode,
PathNameCS ele) |
_createChildren, _createChildren, _createChildren, _createChildren, _createChildren, _createChildren, _createChildren, _createNode, _isLeaf, _isLeaf, _isLeaf, _isLeaf, _isLeaf, _isLeaf, _isLeaf_createChildren, _createChildren, _createChildren, _createNode, _createNode, createEObjectNode, getPivoted_createChildren, _createChildren, _createChildren, _createChildren, _createNode, _image, _isLeaf, _isLeaf, _text, createChildren, createEObjectNode, createEStructuralFeatureNode, createNode, createRoot, isLocalElement, nullSafeClassNameprotected void _createNode(org.eclipse.xtext.ui.editor.outline.IOutlineNode parentNode,
PathNameCS ele)