Searched refs:RandomGeneratorProperties (Results 1 – 16 of 16) sorted by relevance
46 import jdk.internal.util.random.RandomSupport.RandomGeneratorProperties;126 private volatile RandomGeneratorProperties properties;215 private RandomGeneratorProperties getProperties() {219 … properties = provider.type().getDeclaredAnnotation(RandomGeneratorProperties.class);431 p.type().isAnnotationPresent(RandomGeneratorProperties.class))463 RandomGeneratorProperties properties = getProperties();487 RandomGeneratorProperties properties = getProperties();
32 import jdk.internal.util.random.RandomSupport.RandomGeneratorProperties;78 @RandomGeneratorProperties(
32 import jdk.internal.util.random.RandomSupport.RandomGeneratorProperties;75 @RandomGeneratorProperties(
32 import jdk.internal.util.random.RandomSupport.RandomGeneratorProperties;90 @RandomGeneratorProperties(
37 import jdk.internal.util.random.RandomSupport.RandomGeneratorProperties;91 @RandomGeneratorProperties(
87 @RandomGeneratorProperties(
36 import jdk.internal.util.random.RandomSupport.RandomGeneratorProperties;158 @RandomGeneratorProperties(
91 @RandomGeneratorProperties(
61 public @interface RandomGeneratorProperties { annotation in RandomSupport