Class DefaultFlattenCallPredicate
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.DefaultFlattenCallPredicate
-
- All Implemented Interfaces:
IFlattenCallPredicate
public class DefaultFlattenCallPredicate extends java.lang.Object implements IFlattenCallPredicate
-
-
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 DefaultFlattenCallPredicate()
-
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
-
-