de.uka.ilkd.key.strategy.definition

Interface IDefaultStrategyPropertiesFactory

public interface IDefaultStrategyPropertiesFactory

Instances of this factory are used to create default StrategyProperties used by a Strategy defined via its StrategySettingsDefinition.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
static IDefaultStrategyPropertiesFactory	DEFAULT_FACTORY The default implementation.

Method Summary

Modifier and Type	Method and Description
StrategyProperties	createDefaultStrategyProperties() Creates new default StrategyProperties.

Field Detail

DEFAULT_FACTORY

static final IDefaultStrategyPropertiesFactory DEFAULT_FACTORY

The default implementation.

Method Detail

createDefaultStrategyProperties

StrategyProperties createDefaultStrategyProperties()

Creates new default StrategyProperties.

Returns:

The new default StrategyProperties.