@NotNull annotations in instruction classes

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/AbstractJumpInstruction.java

@@ -54,6 +54,7 @@ public abstract class AbstractJumpInstruction extends InstructionImpl {
         return updateCopyInfo(createCopy(newLabel));
     }
 
+    @NotNull
     @Override
     protected Instruction createCopy() {
         return createCopy(targetLabel);

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/Instruction.java

@@ -32,7 +32,7 @@ public interface Instruction {
     @NotNull
     Collection<Instruction> getNextInstructions();
 
-    void accept(InstructionVisitor visitor);
+    void accept(@NotNull InstructionVisitor visitor);
 
     @NotNull
     Collection<Instruction> getCopies();

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/InstructionImpl.java

@@ -71,6 +71,7 @@ public abstract class InstructionImpl implements Instruction {
         return updateCopyInfo(createCopy());
     }
 
+    @NotNull
     protected abstract Instruction createCopy();
 
     @NotNull

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/JetElementInstructionImpl.java

@@ -20,6 +20,7 @@ import org.jetbrains.annotations.NotNull;
 import org.jetbrains.jet.lang.psi.JetElement;
 
 public abstract class JetElementInstructionImpl extends InstructionImpl implements JetElementInstruction {
+    @NotNull
     protected final JetElement element;
 
     public JetElementInstructionImpl(@NotNull JetElement element) {

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/LoadUnitValueInstruction.java

@@ -35,6 +35,7 @@ public class LoadUnitValueInstruction extends InstructionWithNext {
         return "read (Unit)";
     }
 
+    @NotNull
     @Override
     protected Instruction createCopy() {
         return new LoadUnitValueInstruction((JetExpression) element);

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/LocalFunctionDeclarationInstruction.java

@@ -62,6 +62,7 @@ public class LocalFunctionDeclarationInstruction extends InstructionWithNext {
         return "d" + "(" + element.getText() + ")";
     }
 
+    @NotNull
     @Override
     protected Instruction createCopy() {
         return new LocalFunctionDeclarationInstruction(element, body);

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/NondeterministicJumpInstruction.java

@@ -85,6 +85,7 @@ public class NondeterministicJumpInstruction extends InstructionImpl{
         return sb.toString();
     }
 
+    @NotNull
     @Override
     protected Instruction createCopy() {
         return createCopy(getTargetLabels());

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/ReadValueInstruction.java

@@ -35,6 +35,7 @@ public class ReadValueInstruction extends InstructionWithNext {
         return "r(" + element.getText() + ")";
     }
 
+    @NotNull
     @Override
     protected Instruction createCopy() {
         return new ReadValueInstruction(element);

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/SubroutineEnterInstruction.java

@@ -41,6 +41,7 @@ public class SubroutineEnterInstruction extends InstructionWithNext {
         return "<START>";
     }
 
+    @NotNull
     @Override
     protected Instruction createCopy() {
         return new SubroutineEnterInstruction(subroutine);

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/SubroutineExitInstruction.java

@@ -57,6 +57,7 @@ public class SubroutineExitInstruction extends InstructionImpl {
         return debugLabel;
     }
 
+    @NotNull
     @Override
     protected Instruction createCopy() {
         return new SubroutineExitInstruction(subroutine, debugLabel);

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/SubroutineSinkInstruction.java

@@ -51,6 +51,7 @@ public class SubroutineSinkInstruction extends InstructionImpl {
         return debugLabel;
     }
 
+    @NotNull
     @Override
     protected Instruction createCopy() {
         return new SubroutineSinkInstruction(subroutine, debugLabel);

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/UnsupportedElementInstruction.java

@@ -35,6 +35,7 @@ public class UnsupportedElementInstruction extends InstructionWithNext {
         return "unsupported(" + element + " : " + element.getText() + ")";
     }
 
+    @NotNull
     @Override
     protected Instruction createCopy() {
         return new UnsupportedElementInstruction(element);

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/VariableDeclarationInstruction.java

@@ -45,6 +45,7 @@ public class VariableDeclarationInstruction extends InstructionWithNext {
         return "v(" + element.getText() + ")";
     }
 
+    @NotNull
     @Override
     protected Instruction createCopy() {
         if (element instanceof JetParameter) {

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/WriteValueInstruction.java

@@ -35,7 +35,7 @@ public class WriteValueInstruction extends InstructionWithNext {
     }
 
     @Override
-    public void accept(InstructionVisitor visitor) {
+    public void accept(@NotNull InstructionVisitor visitor) {
         visitor.visitWriteValue(this);
     }
 
@@ -48,6 +48,7 @@ public class WriteValueInstruction extends InstructionWithNext {
         return "w(" + lValue.getText() + ")";
     }
 
+    @NotNull
     @Override
     protected Instruction createCopy() {
         return new WriteValueInstruction(element, lValue);