de.uka.ilkd.key.strategy

Interface StrategyFactory

All Superinterfaces:

Named

All Known Implementing Classes:

FIFOStrategy.Factory, JavaCardDLStrategyFactory, SimplifyTermStrategy.Factory, SymbolicExecutionStrategy.Factory

public interface StrategyFactory
extends Named

Interface for creating Strategy instances. The strategy name and the name of the strategy factory are assumed to be the same (you have to refactor if you want to change this).

Method Summary

Modifier and Type	Method and Description
Strategy	create(Proof proof, StrategyProperties strategyProperties) Create strategy for a proof.
StrategySettingsDefinition	getSettingsDefinition() Returns the StrategySettingsDefinition which describes how an user interface has to look like to edit StrategySettings supported by created Strategy instances.

Methods inherited from interface de.uka.ilkd.key.logic.Named

name

Method Detail

create

Strategy create(Proof proof,
                StrategyProperties strategyProperties)

Create strategy for a proof.

Parameters:

proof - the Proof a strategy is created for

strategyProperties - the StrategyProperties to customize the strategy

Returns:

the newly created strategy

getSettingsDefinition

StrategySettingsDefinition getSettingsDefinition()

Returns the StrategySettingsDefinition which describes how an user interface has to look like to edit StrategySettings supported by created Strategy instances.

Returns:

The StrategySettingsDefinition which describes the user interface.