MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

some @NotNulls in dfa (EA-37933)

Browse Source
This commit is contained in:
peter
2012-08-14 16:42:40 +02:00
parent d88aee51a4
commit c637217559
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-impl/src/com/intellij/codeInspection/dataFlow/DfaInstructionState.java
+5 -2
View File
@@ -25,6 +25,7 @@
package com.intellij.codeInspection.dataFlow;
import com.intellij.codeInspection.dataFlow.instructions.Instruction;
import org.jetbrains.annotations.NotNull;
public class DfaInstructionState {
public static final DfaInstructionState[] EMPTY_ARRAY = new DfaInstructionState[0];
@@ -32,7 +33,7 @@ public class DfaInstructionState {
private final Instruction myInstruction;
private long myDistanceFromStart = 0;
public DfaInstructionState(Instruction myInstruction, DfaMemoryState myBeforeMemoryState) {
public DfaInstructionState(@NotNull Instruction myInstruction, @NotNull DfaMemoryState myBeforeMemoryState) {
this.myBeforeMemoryState = myBeforeMemoryState;
this.myInstruction = myInstruction;
}
@@ -41,15 +42,17 @@ public class DfaInstructionState {
public void setDistanceFromStart(long distanceFromStart) { myDistanceFromStart = distanceFromStart; }
@NotNull
public Instruction getInstruction() {
return myInstruction;
}
@NotNull
public DfaMemoryState getMemoryState() {
return myBeforeMemoryState;
}
public String toString() {
return "" + getInstruction().getIndex() + ": " + getMemoryState().toString() + " " + getInstruction().toString();
return getInstruction().getIndex() + ": " + getMemoryState().toString() + " " + getInstruction().toString();
}
}