blob: 4e4e681ea03ba4d25addc22d5adc3f537533d5e0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
/*
* Copyright 2000-2014 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package com.intellij.refactoring.typeCook;
import com.intellij.openapi.project.Project;
import com.intellij.openapi.wm.WindowManager;
import com.intellij.psi.PsiElement;
import com.intellij.psi.PsiTypeCastExpression;
import com.intellij.refactoring.BaseRefactoringProcessor;
import com.intellij.refactoring.RefactoringBundle;
import com.intellij.refactoring.typeCook.deductive.builder.ReductionSystem;
import com.intellij.refactoring.typeCook.deductive.builder.Result;
import com.intellij.refactoring.typeCook.deductive.builder.SystemBuilder;
import com.intellij.refactoring.typeCook.deductive.resolver.Binding;
import com.intellij.refactoring.typeCook.deductive.resolver.ResolverTree;
import com.intellij.usageView.UsageInfo;
import com.intellij.usageView.UsageViewDescriptor;
import org.jetbrains.annotations.NotNull;
import java.util.*;
public class TypeCookProcessor extends BaseRefactoringProcessor {
private PsiElement[] myElements;
private final Settings mySettings;
private Result myResult;
public TypeCookProcessor(Project project, PsiElement[] elements, Settings settings) {
super(project);
myElements = elements;
mySettings = settings;
}
@NotNull
protected UsageViewDescriptor createUsageViewDescriptor(UsageInfo[] usages) {
return new TypeCookViewDescriptor(myElements);
}
@NotNull
protected UsageInfo[] findUsages() {
final SystemBuilder systemBuilder = new SystemBuilder(myProject, mySettings);
final ReductionSystem commonSystem = systemBuilder.build(myElements);
myResult = new Result(commonSystem);
final ReductionSystem[] systems = commonSystem.isolate();
for (final ReductionSystem system : systems) {
if (system != null) {
final ResolverTree tree = new ResolverTree(system);
tree.resolve();
final Binding solution = tree.getBestSolution();
if (solution != null) {
myResult.incorporateSolution(solution);
}
}
}
final Set<PsiElement> changedItems = myResult.getCookedElements();
final UsageInfo[] usages = new UsageInfo[changedItems.size()];
int i = 0;
for (final PsiElement element : changedItems) {
if (!(element instanceof PsiTypeCastExpression)) {
usages[i++] = new UsageInfo(element) {
public String getTooltipText() {
return myResult.getCookedType(element).getCanonicalText();
}
};
}
else {
usages[i++] = new UsageInfo(element);
}
}
return usages;
}
protected void refreshElements(PsiElement[] elements) {
myElements = elements;
}
protected void performRefactoring(UsageInfo[] usages) {
final Set<PsiElement> victims = new HashSet<PsiElement>();
for (UsageInfo usage : usages) {
victims.add(usage.getElement());
}
myResult.apply (victims);
WindowManager.getInstance().getStatusBar(myProject).setInfo(myResult.getReport());
}
@Override
protected boolean isGlobalUndoAction() {
return true;
}
protected String getCommandName() {
return RefactoringBundle.message("type.cook.command");
}
public List<PsiElement> getElements() {
return Collections.unmodifiableList(Arrays.asList(myElements));
}
}
|
