DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

add a @NonNull annotation 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1195 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-05-29 19:26:20 +00:00
parent e7b16b96e3
commit 6c24d936c7
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
com.ibm.wala.shrike/src/com/ibm/wala/shrikeBT/MethodEditor.java
View File

@ -10,6 +10,7 @@
*******************************************************************************/
package com.ibm.wala.shrikeBT;
import com.ibm.wala.annotations.NonNull;
import java.util.ArrayList;
import java.util.IdentityHashMap;
@ -62,6 +63,7 @@ public final class MethodEditor {
/** Records which original bytecode instruction each Instruction belongs to. */
private int[] instructionsToBytecodes;
@NonNull
private Instruction[] instructions;
private ExceptionHandler[][] handlers;