2 * Copyright 2000-2009 JetBrains s.r.o.
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
8 * http://www.apache.org/licenses/LICENSE-2.0
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
18 * Created by IntelliJ IDEA.
22 * To change template for new class use
23 * Code Style | Class Templates options (Tools | IDE Options).
25 package com
.intellij
.codeInspection
.dataFlow
.instructions
;
27 import com
.intellij
.codeInspection
.dataFlow
.DataFlowRunner
;
28 import com
.intellij
.codeInspection
.dataFlow
.DfaInstructionState
;
29 import com
.intellij
.codeInspection
.dataFlow
.DfaMemoryState
;
30 import com
.intellij
.codeInspection
.dataFlow
.InstructionVisitor
;
31 import com
.intellij
.openapi
.progress
.ProgressManager
;
32 import org
.jetbrains
.annotations
.NonNls
;
34 import java
.util
.ArrayList
;
36 public abstract class Instruction
{
38 private final ArrayList
<DfaMemoryState
> myProcessedStates
;
40 protected Instruction() {
41 myProcessedStates
= new ArrayList
<DfaMemoryState
>();
44 protected final DfaInstructionState
[] nextInstruction(DataFlowRunner runner
, DfaMemoryState stateBefore
) {
45 return new DfaInstructionState
[] {new DfaInstructionState(runner
.getInstruction(getIndex() + 1), stateBefore
)};
48 public abstract DfaInstructionState
[] accept(DataFlowRunner runner
, DfaMemoryState stateBefore
, InstructionVisitor visitor
);
50 public boolean isMemoryStateProcessed(DfaMemoryState dfaMemState
) {
51 for (DfaMemoryState state
: myProcessedStates
) {
52 ProgressManager
.checkCanceled();
53 if (dfaMemState
.equals(state
)) {
61 public boolean setMemoryStateProcessed(DfaMemoryState dfaMemState
) {
62 if (myProcessedStates
.size() > DataFlowRunner
.MAX_STATES_PER_BRANCH
) return false;
63 myProcessedStates
.add(dfaMemState
);
67 public void setIndex(int index
) {
71 public int getIndex() {
76 public String
toString() {
77 return super.toString();