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 Object
implements ModelQuery.IDeclarationSelector

Selects the first declaration with the given type.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private IDatatype	type

Constructor Summary

Constructors

Constructor	Description
FirstDeclTypeSelector(IDatatype type)	Creates a selector for type.

Method Summary

Modifier and Type	Method	Description
boolean	select(DecisionVariableDeclaration decl)	Returns whether a declaration was selected.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

type

private IDatatype type

Constructor Details

FirstDeclTypeSelector

public FirstDeclTypeSelector(IDatatype type)

Creates a selector for type.

Parameters:

type - the type to select

Method Details

select

public boolean select(DecisionVariableDeclaration decl)

Description copied from interface: ModelQuery.IDeclarationSelector

Returns whether a declaration was selected.

Specified by:

select in interface ModelQuery.IDeclarationSelector

Parameters:

decl - the declaration to consider

Returns:

true if decl was selected, false else