de.uka.ilkd.key.logic.label

Class TermLabelManager.RefactoringsContainer

java.lang.Object

de.uka.ilkd.key.logic.label.TermLabelManager.RefactoringsContainer

Enclosing class:

TermLabelManager

protected static class TermLabelManager.RefactoringsContainer
extends java.lang.Object

Utility class used by TermLabelManager#computeRefactorings( TermLabelState, TermServices, PosInOccurrence, Term, Rule, Goal, Term).

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableList<TermLabelRefactoring>	belowUpdatesRefactorings The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_BELOW_UPDATES.
private ImmutableList<TermLabelRefactoring>	childAndGrandchildRefactorings The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_CHILDREN_AND_GRANDCHILDREN_SUBTREE.
private ImmutableList<TermLabelRefactoring>	childAndGrandchildRefactoringsAndParents The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_CHILDREN_AND_GRANDCHILDREN_SUBTREE_AND_PARENTS.
private ImmutableList<TermLabelRefactoring>	directChildRefactorings The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_DIRECT_CHILDREN.
private ImmutableList<TermLabelRefactoring>	sequentRefactorings The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.SEQUENT.

Constructor Summary

Constructors

Constructor and Description
RefactoringsContainer(ImmutableList<TermLabelRefactoring> sequentRefactorings, ImmutableList<TermLabelRefactoring> belowUpdatesRefactorings, ImmutableList<TermLabelRefactoring> childAndGrandchildRefactorings, ImmutableList<TermLabelRefactoring> childAndGrandchildRefactoringsAndParents, ImmutableList<TermLabelRefactoring> directChildRefactorings) Constructor.

Method Summary

Modifier and Type	Method and Description
ImmutableList<TermLabelRefactoring>	getAllApplicationChildAndGrandchildRefactorings() Returns all TermLabelRefactorings which operate on application child and grand children, which are getChildAndGrandchildRefactorings() and getChildAndGrandchildRefactoringsAndParents().
ImmutableList<TermLabelRefactoring>	getBelowUpdatesRefactorings() Returns the TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_BELOW_UPDATES.
ImmutableList<TermLabelRefactoring>	getChildAndGrandchildRefactorings() Returns the TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_CHILDREN_AND_GRANDCHILDREN_SUBTREE.
ImmutableList<TermLabelRefactoring>	getChildAndGrandchildRefactoringsAndParents() Returns the TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_CHILDREN_AND_GRANDCHILDREN_SUBTREE_AND_PARENTS.
ImmutableList<TermLabelRefactoring>	getDirectChildRefactorings() Returns the TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_DIRECT_CHILDREN.
ImmutableList<TermLabelRefactoring>	getSequentRefactorings() Returns the TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.SEQUENT.

Methods inherited from class java.lang.Object

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

Field Detail

sequentRefactorings

private final ImmutableList<TermLabelRefactoring> sequentRefactorings

The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.SEQUENT.

belowUpdatesRefactorings

private final ImmutableList<TermLabelRefactoring> belowUpdatesRefactorings

The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_BELOW_UPDATES.

childAndGrandchildRefactorings

private final ImmutableList<TermLabelRefactoring> childAndGrandchildRefactorings

The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_CHILDREN_AND_GRANDCHILDREN_SUBTREE.

childAndGrandchildRefactoringsAndParents

private final ImmutableList<TermLabelRefactoring> childAndGrandchildRefactoringsAndParents

The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_CHILDREN_AND_GRANDCHILDREN_SUBTREE_AND_PARENTS.

directChildRefactorings

private final ImmutableList<TermLabelRefactoring> directChildRefactorings

The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_DIRECT_CHILDREN.

Constructor Detail

RefactoringsContainer

public RefactoringsContainer(ImmutableList<TermLabelRefactoring> sequentRefactorings,
                             ImmutableList<TermLabelRefactoring> belowUpdatesRefactorings,
                             ImmutableList<TermLabelRefactoring> childAndGrandchildRefactorings,
                             ImmutableList<TermLabelRefactoring> childAndGrandchildRefactoringsAndParents,
                             ImmutableList<TermLabelRefactoring> directChildRefactorings)

Constructor.

Parameters:

sequentRefactorings - The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.SEQUENT.

belowUpdatesRefactorings - The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_BELOW_UPDATES.

childAndGrandchildRefactorings - The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_CHILDREN_AND_GRANDCHILDREN_SUBTREE.

childAndGrandchildRefactoringsAndParents - The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_CHILDREN_AND_GRANDCHILDREN_SUBTREE_AND_PARENTS.

directChildRefactorings - The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_DIRECT_CHILDREN.

Method Detail

getSequentRefactorings

public ImmutableList<TermLabelRefactoring> getSequentRefactorings()

Returns the TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.SEQUENT.

Returns:

The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.SEQUENT.

getChildAndGrandchildRefactorings

public ImmutableList<TermLabelRefactoring> getChildAndGrandchildRefactorings()

Returns the TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_CHILDREN_AND_GRANDCHILDREN_SUBTREE.

Returns:

The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_CHILDREN_AND_GRANDCHILDREN_SUBTREE.

getChildAndGrandchildRefactoringsAndParents

public ImmutableList<TermLabelRefactoring> getChildAndGrandchildRefactoringsAndParents()

Returns the TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_CHILDREN_AND_GRANDCHILDREN_SUBTREE_AND_PARENTS.

Returns:

The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_CHILDREN_AND_GRANDCHILDREN_SUBTREE_AND_PARENTS.

getDirectChildRefactorings

public ImmutableList<TermLabelRefactoring> getDirectChildRefactorings()

Returns the TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_DIRECT_CHILDREN.

Returns:

The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_DIRECT_CHILDREN.

getAllApplicationChildAndGrandchildRefactorings

public ImmutableList<TermLabelRefactoring> getAllApplicationChildAndGrandchildRefactorings()

Returns all TermLabelRefactorings which operate on application child and grand children, which are getChildAndGrandchildRefactorings() and getChildAndGrandchildRefactoringsAndParents().

Returns:

The combined ImmutableList.

getBelowUpdatesRefactorings

public ImmutableList<TermLabelRefactoring> getBelowUpdatesRefactorings()

Returns the TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_BELOW_UPDATES.

Returns:

The TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.APPLICATION_BELOW_UPDATES.