public class PatternMatchDialogContentProvider
extends java.lang.Object
implements org.eclipse.jface.viewers.ITreeContentProvider
Constructor and Description |
---|
PatternMatchDialogContentProvider(org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch> matcher,
java.util.Collection<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch> matches) |
Modifier and Type | Method and Description |
---|---|
void |
dispose() |
java.lang.Object[] |
getChildren(java.lang.Object parentElement) |
java.lang.Object[] |
getElements(java.lang.Object inputElement) |
java.lang.Object |
getParent(java.lang.Object element) |
boolean |
hasChildren(java.lang.Object element) |
void |
inputChanged(org.eclipse.jface.viewers.Viewer viewer,
java.lang.Object oldInput,
java.lang.Object newInput) |
public PatternMatchDialogContentProvider(org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch> matcher, java.util.Collection<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch> matches)
public void dispose()
dispose
in interface org.eclipse.jface.viewers.IContentProvider
public void inputChanged(org.eclipse.jface.viewers.Viewer viewer, java.lang.Object oldInput, java.lang.Object newInput)
inputChanged
in interface org.eclipse.jface.viewers.IContentProvider
public java.lang.Object[] getElements(java.lang.Object inputElement)
getElements
in interface org.eclipse.jface.viewers.IStructuredContentProvider
getElements
in interface org.eclipse.jface.viewers.ITreeContentProvider
public java.lang.Object[] getChildren(java.lang.Object parentElement)
getChildren
in interface org.eclipse.jface.viewers.ITreeContentProvider
public java.lang.Object getParent(java.lang.Object element)
getParent
in interface org.eclipse.jface.viewers.ITreeContentProvider
public boolean hasChildren(java.lang.Object element)
hasChildren
in interface org.eclipse.jface.viewers.ITreeContentProvider