de.uka.ilkd.key.strategy

Class FIFOStrategy.Factory

java.lang.Object

de.uka.ilkd.key.strategy.FIFOStrategy.Factory

All Implemented Interfaces:

Named, StrategyFactory

Enclosing class:

FIFOStrategy

public static class FIFOStrategy.Factory
extends java.lang.Object
implements StrategyFactory

Constructor Summary

Constructors

Constructor and Description
Factory()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Factory

public Factory()

Method Detail

name

public Name name()

Description copied from interface: Named

returns the name of this element

Specified by:

name in interface Named

Returns:

the name of the element

create

public Strategy create(Proof proof,
                       StrategyProperties properties)

Description copied from interface: StrategyFactory

Create strategy for a proof.

Specified by:

create in interface StrategyFactory

Parameters:

proof - the Proof a strategy is created for

properties - the StrategyProperties to customize the strategy

Returns:

the newly created strategy

getSettingsDefinition

public StrategySettingsDefinition getSettingsDefinition()

Description copied from interface: StrategyFactory

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

Specified by:

getSettingsDefinition in interface StrategyFactory

Returns:

The StrategySettingsDefinition which describes the user interface.