public class PatternMatcherRootContentKey
extends java.lang.Object
IEditorPart
and a Notifier
together, which belong to a
RootContent
element in the QueryExplorer
.Constructor and Description |
---|
PatternMatcherRootContentKey(org.eclipse.ui.IEditorPart editor,
org.eclipse.emf.common.notify.Notifier notifier) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
org.eclipse.ui.IEditorPart |
getEditorPart() |
org.eclipse.viatra.query.runtime.api.AdvancedViatraQueryEngine |
getEngine() |
org.eclipse.emf.common.notify.Notifier |
getNotifier() |
org.eclipse.viatra.transformation.evm.api.RuleEngine |
getRuleEngine() |
int |
hashCode() |
void |
setEngine(org.eclipse.viatra.query.runtime.api.AdvancedViatraQueryEngine engine) |
void |
setRuleEngine(org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine) |
java.lang.String |
toString() |
public PatternMatcherRootContentKey(org.eclipse.ui.IEditorPart editor, org.eclipse.emf.common.notify.Notifier notifier)
public org.eclipse.ui.IEditorPart getEditorPart()
public org.eclipse.emf.common.notify.Notifier getNotifier()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public org.eclipse.viatra.query.runtime.api.AdvancedViatraQueryEngine getEngine()
public void setEngine(org.eclipse.viatra.query.runtime.api.AdvancedViatraQueryEngine engine)
public org.eclipse.viatra.transformation.evm.api.RuleEngine getRuleEngine()
public void setRuleEngine(org.eclipse.viatra.transformation.evm.api.RuleEngine ruleEngine)