1617181920212223
public Object[] getElements(Object inputElement) { DeeParserResult deeModuleDecl = view.fDeeModule; if(deeModuleDecl == null) { return IElement.NO_ELEMENTS; } IElement input = deeModuleDecl.getModuleNode(); return input.getChildren(); }
15161718192021222324
public class ElementContentProvider2 extends AbstractTreeContentProvider { @Override public boolean hasChildren(Object parentElement) { if(parentElement instanceof IElement) { IElement element = (IElement) parentElement; return element.hasChildren(); } return false; }
24252627282930313233
} @Override public Object[] getChildren(Object inputElement) { if(inputElement instanceof IElement) { IElement element = (IElement) inputElement; return element.getChildren(); } return null; }
33343536373839404142
} @Override public Object getParent(Object object) { if(object instanceof IElement) { IElement element = (IElement) object; return element.getParent(); } return null; }