Class CallWithAdornment
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.localsearch.matcher.CallWithAdornment
-
public class CallWithAdornment extends java.lang.Object
Immutable data that represents the role of a pattern call within an LS query plan.The call is expressed as the
PConstraint
call
(implementingIQueryReference
), while the storedadornment
records the way it will be used within a search plan (specifically, pattern parameters within the adornment will have their values known at the point of evaluating the constraint).- Since:
- 2.1
-
-
Constructor Summary
Constructors Constructor Description CallWithAdornment(IQueryReference call, java.util.Set<PParameter> adornment)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.Set<PParameter>
getAdornment()
IQueryReference
getCall()
MatcherReference
getMatcherReference()
PQuery
getReferredQuery()
-
-
-
Constructor Detail
-
CallWithAdornment
public CallWithAdornment(IQueryReference call, java.util.Set<PParameter> adornment)
-
-
Method Detail
-
getCall
public IQueryReference getCall()
-
getAdornment
public java.util.Set<PParameter> getAdornment()
-
getReferredQuery
public PQuery getReferredQuery()
-
getMatcherReference
public MatcherReference getMatcherReference()
-
-