protected static class TermLabelManager.RefactoringsContainer
extends java.lang.Object
TermLabelManager#computeRefactorings(
TermLabelState, TermServices, PosInOccurrence, Term, Rule, Goal,
Term)
.Modifier and Type | Field and Description |
---|---|
private ImmutableList<TermLabelRefactoring> |
belowUpdatesRefactorings
|
private ImmutableList<TermLabelRefactoring> |
childAndGrandchildRefactorings
|
private ImmutableList<TermLabelRefactoring> |
childAndGrandchildRefactoringsAndParents
|
private ImmutableList<TermLabelRefactoring> |
directChildRefactorings
|
private ImmutableList<TermLabelRefactoring> |
sequentRefactorings
|
Constructor and Description |
---|
RefactoringsContainer(ImmutableList<TermLabelRefactoring> sequentRefactorings,
ImmutableList<TermLabelRefactoring> belowUpdatesRefactorings,
ImmutableList<TermLabelRefactoring> childAndGrandchildRefactorings,
ImmutableList<TermLabelRefactoring> childAndGrandchildRefactoringsAndParents,
ImmutableList<TermLabelRefactoring> directChildRefactorings)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<TermLabelRefactoring> |
getAllApplicationChildAndGrandchildRefactorings()
Returns all
TermLabelRefactoring s which operate on application child and grand children,
which are getChildAndGrandchildRefactorings() and getChildAndGrandchildRefactoringsAndParents() . |
ImmutableList<TermLabelRefactoring> |
getBelowUpdatesRefactorings()
|
ImmutableList<TermLabelRefactoring> |
getChildAndGrandchildRefactorings()
|
ImmutableList<TermLabelRefactoring> |
getChildAndGrandchildRefactoringsAndParents()
|
ImmutableList<TermLabelRefactoring> |
getDirectChildRefactorings()
|
ImmutableList<TermLabelRefactoring> |
getSequentRefactorings()
Returns the
TermLabelRefactoring for TermLabelRefactoring.RefactoringScope.SEQUENT . |
private final ImmutableList<TermLabelRefactoring> sequentRefactorings
private final ImmutableList<TermLabelRefactoring> belowUpdatesRefactorings
private final ImmutableList<TermLabelRefactoring> childAndGrandchildRefactorings
private final ImmutableList<TermLabelRefactoring> childAndGrandchildRefactoringsAndParents
private final ImmutableList<TermLabelRefactoring> directChildRefactorings
public RefactoringsContainer(ImmutableList<TermLabelRefactoring> sequentRefactorings, ImmutableList<TermLabelRefactoring> belowUpdatesRefactorings, ImmutableList<TermLabelRefactoring> childAndGrandchildRefactorings, ImmutableList<TermLabelRefactoring> childAndGrandchildRefactoringsAndParents, ImmutableList<TermLabelRefactoring> directChildRefactorings)
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
.public ImmutableList<TermLabelRefactoring> getSequentRefactorings()
TermLabelRefactoring
for TermLabelRefactoring.RefactoringScope.SEQUENT
.TermLabelRefactoring
for TermLabelRefactoring.RefactoringScope.SEQUENT
.public ImmutableList<TermLabelRefactoring> getChildAndGrandchildRefactorings()
public ImmutableList<TermLabelRefactoring> getChildAndGrandchildRefactoringsAndParents()
public ImmutableList<TermLabelRefactoring> getDirectChildRefactorings()
public ImmutableList<TermLabelRefactoring> getAllApplicationChildAndGrandchildRefactorings()
TermLabelRefactoring
s which operate on application child and grand children,
which are getChildAndGrandchildRefactorings()
and getChildAndGrandchildRefactoringsAndParents()
.ImmutableList
.public ImmutableList<TermLabelRefactoring> getBelowUpdatesRefactorings()