JavaScript is disabled on your browser.
Overview
Package
Class
Tree
Deprecated
Index
Help
KeY 2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
org.key_project.util.java
Interface IFilter<T>
public interface
IFilter<T>
Utility class to select elements.
Author:
Martin Hentschel
Method Summary
Methods
Modifier and Type
Method and Description
boolean
select
(
T
element)
Checks if the given element should be selected.
Method Detail
select
boolean select(
T
element)
Checks if the given element should be selected.
Parameters:
element
- The element to test.
Returns:
true
handle element,
false
ignore element.
Overview
Package
Class
Tree
Deprecated
Index
Help
KeY 2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method