Lines Matching defs:StampFactory
37 public class StampFactory {
178 IntegerStamp limit = StampFactory.forInteger(bits, newLowerBound, newUpperBound);
183 IntegerStamp limit = StampFactory.forInteger(bits, newLowerBound, newUpperBound);
297 result[index++] = StampFactory.objectNonNull(TypeReference.create(assumptions, method.getDeclaringClass()));
307 stamp = StampFactory.object(TypeReference.create(assumptions, (ResolvedJavaType) type));
309 stamp = StampFactory.forKind(kind);
329 return StampPair.create(StampFactory.object(reference, nonNull), StampFactory.object(uncheckedType, nonNull));
332 return StampPair.createSingle(StampFactory.object(reference, nonNull));
334 return StampPair.createSingle(StampFactory.forKind(returnType.getJavaKind()));