43 return tool.getWordKind(); 44 } 45 46 @Override 47 public Stamp empty() { 48 // there is no empty pointer stamp 49 return this; 50 } 51 52 @Override 53 public boolean isCompatible(Constant constant) { 54 return constant.isDefaultForKind(); 55 } 56 57 @Override 58 public boolean hasValues() { 59 return true; 60 } 61 62 @Override 63 public ResolvedJavaType javaType(MetaAccessProvider metaAccess) { 64 throw GraalError.shouldNotReachHere("metaspace pointer has no Java type"); 65 } 66 67 protected void appendString(StringBuilder str) { 68 str.append(nonNull() ? "!" : "").append(alwaysNull() ? " NULL" : ""); 69 } 70 71 } | 43 return tool.getWordKind(); 44 } 45 46 @Override 47 public Stamp empty() { 48 // there is no empty pointer stamp 49 return this; 50 } 51 52 @Override 53 public boolean isCompatible(Constant constant) { 54 return constant.isDefaultForKind(); 55 } 56 57 @Override 58 public boolean hasValues() { 59 return true; 60 } 61 62 @Override 63 public Stamp join(Stamp other) { 64 return defaultPointerJoin(other); 65 } 66 67 @Override 68 public ResolvedJavaType javaType(MetaAccessProvider metaAccess) { 69 throw GraalError.shouldNotReachHere("metaspace pointer has no Java type"); 70 } 71 72 protected void appendString(StringBuilder str) { 73 str.append(nonNull() ? "!" : "").append(alwaysNull() ? " NULL" : ""); 74 } 75 76 } |