de.uka.ilkd.key.rule.label

Interface RuleSpecificTask

All Known Subinterfaces:

ChildTermLabelPolicy, TermLabelRefactoring, TermLabelUpdate

All Known Implementing Classes:

BlockContractValidityTermLabelUpdate, FormulaTermLabelRefactoring, FormulaTermLabelUpdate, LoopBodyTermLabelUpdate, LoopInvariantNormalBehaviorTermLabelUpdate, RemoveInCheckBranchesTermLabelRefactoring, SymbolicExecutionTermLabelUpdate

public interface RuleSpecificTask

Instances of this class provides functionality only if a supported rule is active.

Author:

Martin Hentschel

See Also:

ChildTermLabelPolicy, TermLabelUpdate, TermLabelRefactoring

Method Summary

Modifier and Type	Method and Description
ImmutableList<Name>	getSupportedRuleNames() Returns the supported rule Names or null or an empty list if all rules are supported.

Method Detail

getSupportedRuleNames

ImmutableList<Name> getSupportedRuleNames()

Returns the supported rule Names or null or an empty list if all rules are supported.

Returns:

The list of supported rule Names or null/empty list if all rules are supported.