public class PatternMatcherRootContent extends CompositeContent<RootContent,PatternMatcherContent>
QueryExplorer
's tree viewer, which is actually displayed. Instances of this class
are always associated with an instance of PatternMatcherRootContentKey
. The child elements of
this CompositeContent
will consist of PatternMatcherContent
instances.Constructor and Description |
---|
PatternMatcherRootContent(RootContent parent,
PatternMatcherRootContentKey key) |
Modifier and Type | Method and Description |
---|---|
void |
addMatcher(org.eclipse.viatra.query.runtime.api.AdvancedViatraQueryEngine engine,
org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine,
org.eclipse.viatra.query.runtime.api.IQuerySpecification<?> specification,
boolean generated,
org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint hint) |
void |
dispose()
Disposes of this content.
|
org.eclipse.core.databinding.observable.list.IObservableList |
getChildren()
Returns the
IObservableList of child elements. |
java.util.Iterator<PatternMatcherContent> |
getChildrenIterator()
Returns an iterator on the child elements.
|
org.eclipse.ui.IEditorPart |
getEditorPart() |
PatternMatcherRootContentKey |
getKey() |
org.eclipse.emf.common.notify.Notifier |
getNotifier() |
org.eclipse.core.runtime.IStatus |
getStatus() |
java.lang.String |
getText()
Returns the label that will be displayed in the
QueryExplorer for this content. |
boolean |
isTainted() |
void |
registerPattern(org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint hint,
org.eclipse.viatra.query.runtime.api.IQuerySpecification<?>... patterns) |
void |
removeMatcher(java.lang.String patternFqn) |
void |
unregisterPattern(org.eclipse.viatra.query.runtime.api.IQuerySpecification<?> specification) |
updateHasChildren
getParent, setText
public PatternMatcherRootContent(RootContent parent, PatternMatcherRootContentKey key)
public void registerPattern(org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint hint, org.eclipse.viatra.query.runtime.api.IQuerySpecification<?>... patterns)
public void addMatcher(org.eclipse.viatra.query.runtime.api.AdvancedViatraQueryEngine engine, org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine, org.eclipse.viatra.query.runtime.api.IQuerySpecification<?> specification, boolean generated, org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint hint)
public void unregisterPattern(org.eclipse.viatra.query.runtime.api.IQuerySpecification<?> specification)
public void removeMatcher(java.lang.String patternFqn)
public void dispose()
BaseContent
dispose
in class CompositeContent<RootContent,PatternMatcherContent>
public boolean isTainted()
public PatternMatcherRootContentKey getKey()
public org.eclipse.ui.IEditorPart getEditorPart()
public org.eclipse.emf.common.notify.Notifier getNotifier()
public java.lang.String getText()
BaseContent
QueryExplorer
for this content.getText
in class BaseContent<RootContent>
public org.eclipse.core.databinding.observable.list.IObservableList getChildren()
CompositeContent
IObservableList
of child elements.getChildren
in class CompositeContent<RootContent,PatternMatcherContent>
public java.util.Iterator<PatternMatcherContent> getChildrenIterator()
CompositeContent
getChildrenIterator
in class CompositeContent<RootContent,PatternMatcherContent>
public org.eclipse.core.runtime.IStatus getStatus()