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, nullSafeClassName
protected void _createNode(org.eclipse.xtext.ui.editor.outline.IOutlineNode parentNode, PathNameCS ele)