de.uka.ilkd.key.strategy.feature.findprefix

Interface Checker

All Known Implementing Classes:

AntecChecker, AntecSuccPrefixChecker, SuccChecker, TopLevelChecker

interface Checker

Interface for prefix checkers. Each checker is called on initialisation, on every operator of the prefix starting with the outermost operator and for getting the result.

Author:

christoph

Method Summary

Modifier and Type	Method and Description
void	checkOperator(Operator op, PIOPathIterator it) Called on every operator of the prefix starting with the outermost operator.
boolean	getResult() Called to get the result of the prefix check.
void	initPrefixCheck(PosInOccurrence pos) Called on initialisation of the prefix check.

Method Detail

initPrefixCheck

void initPrefixCheck(PosInOccurrence pos)

Called on initialisation of the prefix check.

Parameters:

pos - the initial position of occurrence

checkOperator

void checkOperator(Operator op,
                   PIOPathIterator it)

Called on every operator of the prefix starting with the outermost operator.

Parameters:

op - the operator to be checked

it - the prefix iterator

getResult

boolean getResult()

Called to get the result of the prefix check.

Parameters:

pos - the initial position of occurrence