1 19 20 package soot.jimple.toolkits.pointer; 21 import soot.tagkit.*; 22 23 25 public class CastCheckTag implements Tag { 26 boolean eliminateCheck; 27 CastCheckTag( boolean eliminateCheck ) { 28 this.eliminateCheck = eliminateCheck; 29 } 30 public String getName() { 31 return "CastCheckTag"; 32 } 33 public byte[] getValue() { 34 byte[] ret = new byte[1]; 35 ret[0] = (byte) ( eliminateCheck ? 1 : 0 ); 36 return ret; 37 } 38 public String toString() { 39 if( eliminateCheck ) { 40 return "This cast check can be eliminated."; 41 } else { 42 return "This cast check should NOT be eliminated."; 43 } 44 } 45 public boolean canEliminateCheck() { 46 return eliminateCheck; 47 } 48 } 49 50 | Popular Tags |