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

Interface Modifier

All Known Implementing Classes:

RemoveParentUpdateModifier

interface Modifier

Interface for position modifiers. A position modifier is a function which gets a position and delivers a (new) position as result.

Author:

christoph

Method Summary

Modifier and Type	Method and Description
PosInOccurrence	modifyPosistion(PosInOccurrence pos) Function which delivers a new position based on pos.

Method Detail

modifyPosistion

PosInOccurrence modifyPosistion(PosInOccurrence pos)

Function which delivers a new position based on pos.

Parameters:

pos - the position to be modified

Returns:

the (new) position