1 19 20 21 28 29 package soot.jimple.toolkits.annotation.nullcheck; 30 import soot.*; 31 32 public class RefIntPair 33 { 34 private EquivalentValue _ref; 35 private int _val; 36 private BranchedRefVarsAnalysis brva; 37 38 RefIntPair(EquivalentValue r, int v, BranchedRefVarsAnalysis brva) 40 { 41 this._ref = r; 42 this._val = v; 43 this.brva = brva; 44 } 45 46 public EquivalentValue ref () 47 { return this._ref; } 48 49 public int val () 50 { return this._val; } 51 52 public String toString() 53 { 54 String prefix = "("+_ref+", "; 55 if (_val == brva.kNull) 56 return prefix+"null)"; 57 else if (_val == brva.kNonNull) 58 return prefix+"non-null)"; 59 else if (_val == brva.kTop) 60 return prefix+"top)"; 61 else if (_val == brva.kBottom) 62 return prefix+"bottom)"; 63 else 64 return prefix+_val+")"; 65 } 66 } | Popular Tags |