Package net.ssehub.easy.varModel.model
Interface ModelQuery.IDeclarationSelector
-
- All Known Implementing Classes:
ModelQuery.FirstDeclTypeSelector
- Enclosing class:
- ModelQuery
public static interface ModelQuery.IDeclarationSelectorDefines the interface of a declaration selector.- Author:
- Holger Eichelberger
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description booleanselect(DecisionVariableDeclaration decl)Returns whether a declaration was selected.
-
-
-
Method Detail
-
select
boolean select(DecisionVariableDeclaration decl)
Returns whether a declaration was selected.- Parameters:
decl- the declaration to consider- Returns:
trueifdeclwas selected,falseelse
-
-