blob: 8f8e35e4ee5ed9b0557470acc4b8c71a21900e6c (
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
124
125
126
127
|
/*
* Copyright 2000-2009 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.
*/
/*
* Created by IntelliJ IDEA.
* User: max
* Date: Jan 11, 2002
* Time: 3:05:34 PM
* To change template for new class use
* Code Style | Class Templates options (Tools | IDE Options).
*/
package com.intellij.codeInspection.dataFlow;
import com.intellij.codeInspection.dataFlow.instructions.FlushVariableInstruction;
import com.intellij.codeInspection.dataFlow.instructions.Instruction;
import com.intellij.codeInspection.dataFlow.value.DfaValueFactory;
import com.intellij.psi.PsiElement;
import com.intellij.psi.PsiVariable;
import gnu.trove.TObjectIntHashMap;
import org.jetbrains.annotations.Nullable;
import java.util.ArrayList;
import java.util.List;
public class ControlFlow {
private final List<Instruction> myInstructions = new ArrayList<Instruction>();
private final TObjectIntHashMap<PsiElement> myElementToStartOffsetMap = new TObjectIntHashMap<PsiElement>();
private final TObjectIntHashMap<PsiElement> myElementToEndOffsetMap = new TObjectIntHashMap<PsiElement>();
private final DfaValueFactory myFactory;
public ControlFlow(final DfaValueFactory factory) {
myFactory = factory;
}
public Instruction[] getInstructions(){
return myInstructions.toArray(new Instruction[myInstructions.size()]);
}
public int getInstructionCount() {
return myInstructions.size();
}
public ControlFlowOffset getNextOffset() {
final int currentSize = myInstructions.size();
return new ControlFlowOffset() {
@Override
public int getInstructionOffset() {
return currentSize;
}
};
}
public void startElement(PsiElement psiElement) {
myElementToStartOffsetMap.put(psiElement, myInstructions.size());
}
public void finishElement(PsiElement psiElement) {
myElementToEndOffsetMap.put(psiElement, myInstructions.size());
}
public void addInstruction(Instruction instruction) {
instruction.setIndex(myInstructions.size());
myInstructions.add(instruction);
}
public void removeVariable(@Nullable PsiVariable variable) {
if (variable == null) return;
addInstruction(new FlushVariableInstruction(myFactory.getVarFactory().createVariableValue(variable, false)));
}
public ControlFlowOffset getStartOffset(final PsiElement element) {
return new ControlFlowOffset() {
@Override
public int getInstructionOffset() {
return myElementToStartOffsetMap.get(element);
}
};
}
public ControlFlowOffset getEndOffset(final PsiElement element) {
return new ControlFlowOffset() {
@Override
public int getInstructionOffset() {
return myElementToEndOffsetMap.get(element);
}
};
}
public String toString() {
StringBuilder result = new StringBuilder();
final List<Instruction> instructions = myInstructions;
for (int i = 0; i < instructions.size(); i++) {
Instruction instruction = instructions.get(i);
result.append(Integer.toString(i)).append(": ").append(instruction.toString());
result.append("\n");
}
return result.toString();
}
public interface ControlFlowOffset {
int getInstructionOffset();
}
static ControlFlowOffset deltaOffset(final ControlFlowOffset delegate, final int delta) {
return new ControlFlowOffset() {
@Override
public int getInstructionOffset() {
return delegate.getInstructionOffset() + delta;
}
};
}
}
|