Class DontFlattenIncrementalPredicate
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.localsearch.matcher.integration.DontFlattenIncrementalPredicate
-
- All Implemented Interfaces:
IFlattenCallPredicate
public class DontFlattenIncrementalPredicate extends java.lang.Object implements IFlattenCallPredicate
This implementation forbids flattening of patterns marked to be executed with a caching / incremental backend. This makes is possible for the user to configure hybrid matching via using the 'search' and 'incremental keywords in the pattern definition file.- Since:
- 1.5
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.IFlattenCallPredicate
IFlattenCallPredicate.And
-
-
Constructor Summary
Constructors Constructor Description DontFlattenIncrementalPredicate()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
shouldFlatten(PositivePatternCall positivePatternCall)
Decides whether the called query by the pattern call should be flattened into the caller or not.
-
-
-
Method Detail
-
shouldFlatten
public boolean shouldFlatten(PositivePatternCall positivePatternCall)
Description copied from interface:IFlattenCallPredicate
Decides whether the called query by the pattern call should be flattened into the caller or not.- Specified by:
shouldFlatten
in interfaceIFlattenCallPredicate
- Parameters:
positivePatternCall
- the pattern call- Returns:
- true if the call should be flattened
-
-