public class PatternWithCardinality
extends java.lang.Object
Constructor and Description |
---|
PatternWithCardinality(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> querySpecification) |
PatternWithCardinality(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> querySpecification,
int cardinality) |
PatternWithCardinality(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> querySpecification,
int cardinality,
CardinalityType cardinalityType) |
PatternWithCardinality(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> querySpecification,
int cardinality,
CardinalityType cardinalityType,
RuleMetaData metaData) |
PatternWithCardinality(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> querySpecification,
RuleMetaData metaData) |
Modifier and Type | Method and Description |
---|---|
int |
getCardinality() |
CardinalityType |
getCardinalityType() |
RuleMetaData |
getMetaData() |
java.lang.String |
getName() |
org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> |
getQuerySpecification() |
boolean |
isPatternSatisfied(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine)
Determines if the pattern is satisfied.
|
void |
setName(java.lang.String name) |
public PatternWithCardinality(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> querySpecification, int cardinality, CardinalityType cardinalityType, RuleMetaData metaData)
public PatternWithCardinality(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> querySpecification)
public PatternWithCardinality(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> querySpecification, int cardinality)
public PatternWithCardinality(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> querySpecification, int cardinality, CardinalityType cardinalityType)
public PatternWithCardinality(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> querySpecification, RuleMetaData metaData)
public org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> getQuerySpecification()
public int getCardinality()
public CardinalityType getCardinalityType()
public boolean isPatternSatisfied(org.eclipse.viatra.query.runtime.api.ViatraQueryEngine engine)
org.eclipse.viatra.query.runtime.exception.ViatraQueryException
public RuleMetaData getMetaData()
public java.lang.String getName()
public void setName(java.lang.String name)