de.uka.ilkd.key.java

Class JavaInfo.Filter

java.lang.Object

de.uka.ilkd.key.java.JavaInfo.Filter

Enclosing class:

JavaInfo

abstract static class JavaInfo.Filter
extends java.lang.Object

inner class used to filter certain types of program elements

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static JavaInfo.Filter	IMPLICITFIELD this filter is satisfied if the given program element is an instanceof ImplicitFieldSpecification
(package private) static JavaInfo.Filter	TRUE the universally satisfied filter

Constructor Summary

Constructors

Constructor and Description
Filter()

Method Summary

Modifier and Type	Method and Description
abstract boolean	isSatisfiedBy(ProgramElement pe) decides whether the given program element fulfills the filter condition or not

Methods inherited from class java.lang.Object

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

Field Detail

TRUE

static final JavaInfo.Filter TRUE

the universally satisfied filter

IMPLICITFIELD

static final JavaInfo.Filter IMPLICITFIELD

this filter is satisfied if the given program element is an instanceof ImplicitFieldSpecification

Constructor Detail

Filter

Filter()

Method Detail

isSatisfiedBy

public abstract boolean isSatisfiedBy(ProgramElement pe)

decides whether the given program element fulfills the filter condition or not

Parameters:

pe - the ProgramElement to be filtered

Returns:

true iff program element pe satisfies the filter condition