public class EdgeQuerySpecificationDescriptor extends AbstractQuerySpecificationDescriptor
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ANNOTATION_ID |
Constructor and Description |
---|
EdgeQuerySpecificationDescriptor(org.eclipse.viatra.query.runtime.api.IQuerySpecification<?> specification,
org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation annotation) |
Modifier and Type | Method and Description |
---|---|
org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation |
getFormatAnnotation() |
java.lang.String |
getLabel() |
java.lang.String |
getSource() |
java.lang.String |
getTarget() |
boolean |
isFormatted() |
getTracedSpecification, initialize
public static final java.lang.String ANNOTATION_ID
public EdgeQuerySpecificationDescriptor(org.eclipse.viatra.query.runtime.api.IQuerySpecification<?> specification, org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation annotation) throws org.eclipse.viatra.query.runtime.matchers.psystem.queries.QueryInitializationException
org.eclipse.viatra.query.runtime.matchers.psystem.queries.QueryInitializationException
public boolean isFormatted()
public org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation getFormatAnnotation()
public java.lang.String getSource()
public java.lang.String getTarget()
public java.lang.String getLabel()