1 19 20 25 26 package soot.jimple.toolkits.annotation.arraycheck; 27 import soot.*; 28 import java.util.*; 29 30 class Array2ndDimensionSymbol 31 { 32 private Object var; 33 34 35 public static Array2ndDimensionSymbol v(Object which) 36 { 37 Array2ndDimensionSymbol tdal = (Array2ndDimensionSymbol)G.v().Array2ndDimensionSymbol_pool.get(which); 38 if (tdal == null) 39 { 40 tdal = new Array2ndDimensionSymbol(which); 41 G.v().Array2ndDimensionSymbol_pool.put(which, tdal); 42 } 43 44 return tdal; 45 } 46 47 private Array2ndDimensionSymbol(Object which) 48 { 49 this.var = which; 50 } 51 52 public Object getVar() 53 { 54 return this.var; 55 } 56 57 public int hashCode() 58 { 59 return var.hashCode()+1; 60 } 61 62 public boolean equals(Object other) 63 { 64 if (other instanceof Array2ndDimensionSymbol) 65 { 66 Array2ndDimensionSymbol another = (Array2ndDimensionSymbol)other; 67 68 return (this.var == another.var); 69 } 70 else 71 return false; 72 } 73 74 public String toString() 75 { 76 return var+"["; 77 } 78 } 79 | Popular Tags |