public class PatternMatchContent extends BaseContent<PatternMatcherContent>
QueryExplorer
. Instances of this class
represent the matches of the pattern matchers loaded during runtime.Constructor and Description |
---|
PatternMatchContent(PatternMatcherContent parent,
org.eclipse.viatra.query.runtime.api.IPatternMatch match) |
Modifier and Type | Method and Description |
---|---|
void |
dispose()
Disposes of this content.
|
java.lang.Object[] |
getLocationObjects() |
org.eclipse.viatra.query.runtime.api.IPatternMatch |
getPatternMatch() |
getParent, getText, setText
public PatternMatchContent(PatternMatcherContent parent, org.eclipse.viatra.query.runtime.api.IPatternMatch match)
public void dispose()
BaseContent
dispose
in class BaseContent<PatternMatcherContent>
public org.eclipse.viatra.query.runtime.api.IPatternMatch getPatternMatch()
public java.lang.Object[] getLocationObjects()