Package net.ssehub.easy.varModel.model
Class ModelQuery.FirstDeclTypeSelector
- java.lang.Object
-
- net.ssehub.easy.varModel.model.ModelQuery.FirstDeclTypeSelector
-
- All Implemented Interfaces:
ModelQuery.IDeclarationSelector
- Enclosing class:
- ModelQuery
public static class ModelQuery.FirstDeclTypeSelector extends java.lang.Object implements ModelQuery.IDeclarationSelector
Selects the first declaration with the given type.- Author:
- Holger Eichelberger
-
-
Constructor Summary
Constructors Constructor Description FirstDeclTypeSelector(IDatatype type)Creates a selector fortype.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanselect(DecisionVariableDeclaration decl)Returns whether a declaration was selected.
-
-
-
Field Detail
-
type
private IDatatype type
-
-
Constructor Detail
-
FirstDeclTypeSelector
public FirstDeclTypeSelector(IDatatype type)
Creates a selector fortype.- Parameters:
type- the type to select
-
-
Method Detail
-
select
public boolean select(DecisionVariableDeclaration decl)
Description copied from interface:ModelQuery.IDeclarationSelectorReturns whether a declaration was selected.- Specified by:
selectin interfaceModelQuery.IDeclarationSelector- Parameters:
decl- the declaration to consider- Returns:
trueifdeclwas selected,falseelse
-
-