test_class.declarator: SEED = 1234
test_class.modifier: static final
test_class.original_string: static final long SEED = 1234;
test_class.type: long
test_class.var_name: SEED
test_class.declarator: N = 1000
test_class.modifier: static final
test_class.original_string: static final int N = 1000;
test_class.type: int
test_class.var_name: N
test_class.file: jtstoolkit/src/test/java/ec/tstoolkit/random/JdkRNGTest.java
test_class.identifier: JdkRNGTest
test_case.body: @Test(expected = IllegalArgumentException.class)
      public void testNextIntNegativeBound() {
          createRNG().nextInt(-1);
      }
test_case.class_method_signature: JdkRNGTest.testNextIntNegativeBound()
test_case.full_signature: @Test(expected = IllegalArgumentException.class) public void testNextIntNegativeBound()
test_case.identifier: testNextIntNegativeBound
test_case.invocations: nextInt createRNG
test_case.modifiers: @Test(expected = IllegalArgumentException.class) public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testNextIntNegativeBound()
focal_class.declarator: random
focal_class.modifier: final
focal_class.original_string: final Random random;
focal_class.type: Random
focal_class.var_name: random
focal_class.file: jtstoolkit/src/main/java/ec/tstoolkit/random/JdkRNG.java
focal_class.identifier: JdkRNG
focal_class.interfaces: implements IRandomNumberGenerator
focal_class.class_method_signature: JdkRNG.newRandom()
focal_class.full_signature: public static JdkRNG newRandom()
focal_class.identifier: newRandom
focal_class.modifiers: public static
focal_class.parameters: ()
focal_class.return: JdkRNG
focal_class.signature: JdkRNG newRandom()
focal_class.class_method_signature: JdkRNG.newRandom(long seed)
focal_class.full_signature: public static JdkRNG newRandom(long seed)
focal_class.identifier: newRandom
focal_class.modifiers: public static
focal_class.parameters: (long seed)
focal_class.return: JdkRNG
focal_class.signature: JdkRNG newRandom(long seed)
focal_class.class_method_signature: JdkRNG.JdkRNG(Random random)
focal_class.full_signature: public  JdkRNG(Random random)
focal_class.identifier: JdkRNG
focal_class.modifiers: public
focal_class.parameters: (Random random)
focal_class.signature:  JdkRNG(Random random)
focal_class.class_method_signature: JdkRNG.getRandom()
focal_class.full_signature: public Random getRandom()
focal_class.identifier: getRandom
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: Random
focal_class.signature: Random getRandom()
focal_class.class_method_signature: JdkRNG.nextDouble()
focal_class.full_signature: @Override public double nextDouble()
focal_class.identifier: nextDouble
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: double
focal_class.signature: double nextDouble()
focal_class.class_method_signature: JdkRNG.nextInt()
focal_class.full_signature: @Override public int nextInt()
focal_class.identifier: nextInt
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int nextInt()
focal_class.class_method_signature: JdkRNG.nextLong()
focal_class.full_signature: @Override public long nextLong()
focal_class.identifier: nextLong
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: long
focal_class.signature: long nextLong()
focal_class.class_method_signature: JdkRNG.nextBoolean()
focal_class.full_signature: @Override public boolean nextBoolean()
focal_class.identifier: nextBoolean
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: boolean
focal_class.signature: boolean nextBoolean()
focal_class.class_method_signature: JdkRNG.nextFloat()
focal_class.full_signature: @Override public float nextFloat()
focal_class.identifier: nextFloat
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: float
focal_class.signature: float nextFloat()
focal_class.class_method_signature: JdkRNG.nextInt(int n)
focal_class.full_signature: @Override public int nextInt(int n)
focal_class.identifier: nextInt
focal_class.modifiers: @Override public
focal_class.parameters: (int n)
focal_class.return: int
focal_class.signature: int nextInt(int n)
focal_class.class_method_signature: JdkRNG.synchronize()
focal_class.full_signature: @Override public JdkRNG synchronize()
focal_class.identifier: synchronize
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: JdkRNG
focal_class.signature: JdkRNG synchronize()
focal_method.body: @Override
      public int nextInt() {
          return random.nextInt();
      }
focal_method.class_method_signature: JdkRNG.nextInt()
focal_method.full_signature: @Override public int nextInt()
focal_method.identifier: nextInt
focal_method.invocations: nextInt
focal_method.modifiers: @Override public
focal_method.parameters: ()
focal_method.return: int
focal_method.signature: int nextInt()