Lines Matching defs:StampFactory
40 public class StampFactory {
151 IntegerStamp limit = StampFactory.forInteger(bits, newLowerBound, newUpperBound);
156 IntegerStamp limit = StampFactory.forInteger(bits, newLowerBound, newUpperBound);
259 result[index++] = StampFactory.objectNonNull(TypeReference.create(assumptions, method.getDeclaringClass()));
269 stamp = StampFactory.object(TypeReference.create(assumptions, (ResolvedJavaType) type));
271 stamp = StampFactory.forKind(kind);
291 return StampPair.create(StampFactory.object(reference, nonNull), StampFactory.object(uncheckedType, nonNull));
294 return StampPair.createSingle(StampFactory.object(reference, nonNull));
296 return StampPair.createSingle(StampFactory.forKind(returnType.getJavaKind()));