public static class FIFOStrategy.Factory extends java.lang.Object implements StrategyFactory
Constructor and Description |
---|
Factory() |
Modifier and Type | Method and Description |
---|---|
Strategy |
create(Proof proof,
StrategyProperties properties)
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. |
Name |
name()
returns the name of this element
|
public Strategy create(Proof proof, StrategyProperties properties)
StrategyFactory
create
in interface StrategyFactory
proof
- the Proof a strategy is created forproperties
- the StrategyProperties to customize the
strategypublic StrategySettingsDefinition getSettingsDefinition()
StrategyFactory
StrategySettingsDefinition
which describes
how an user interface has to look like to edit StrategySettings
supported by created Strategy
instances.getSettingsDefinition
in interface StrategyFactory
StrategySettingsDefinition
which describes the user interface.