test_class.declarator: random
test_class.modifier: private
test_class.original_string: private ReplayablePseudoRandom random;
test_class.type: ReplayablePseudoRandom
test_class.var_name: random
test_class.file: gazeplay-commons/src/test/java/net/gazeplay/commons/random/ReplayablePseudoRandomTest.java
test_class.identifier: ReplayablePseudoRandomTest
test_case.body: @Test
      public void randomShouldBeDifferentWithDifferentSeeds() {
  
          double time = System.currentTimeMillis();
  
          double seed1 = time % 100000000;
          ReplayablePseudoRandom random1 = new ReplayablePseudoRandom(seed1);
  
          String firstRandom = "";
          for (int i = 0; i < 10; i++) {
              float number = random1.nextInt(2);
              firstRandom = firstRandom + number;
          }
  
          double seed2 = (time + 1) % 100000000;
          ReplayablePseudoRandom random2 = new ReplayablePseudoRandom(seed2);
  
          String secondRandom = "";
          for (int i = 0; i < 10; i++) {
              float number = random2.nextInt(2);
              secondRandom = secondRandom + number;
          }
  
          double seed3 = (time + 2) % 100000000;
          ReplayablePseudoRandom random3 = new ReplayablePseudoRandom(seed3);
  
          String thirdRandom = "";
          for (int i = 0; i < 10; i++) {
              float number = random3.nextInt(2);
              thirdRandom = thirdRandom + number;
          }
  
          assertNotEquals(firstRandom, secondRandom);
          assertNotEquals(firstRandom, thirdRandom);
          assertNotEquals(thirdRandom, secondRandom);
      }
test_case.class_method_signature: ReplayablePseudoRandomTest.randomShouldBeDifferentWithDifferentSeeds()
test_case.full_signature: @Test public void randomShouldBeDifferentWithDifferentSeeds()
test_case.identifier: randomShouldBeDifferentWithDifferentSeeds
test_case.invocations: currentTimeMillis nextInt nextInt nextInt assertNotEquals assertNotEquals assertNotEquals
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void randomShouldBeDifferentWithDifferentSeeds()
focal_class.declarator: seed
focal_class.modifier: private
focal_class.original_string: private double seed;
focal_class.type: double
focal_class.var_name: seed
focal_class.file: gazeplay-commons/src/main/java/net/gazeplay/commons/random/ReplayablePseudoRandom.java
focal_class.identifier: ReplayablePseudoRandom
focal_class.class_method_signature: ReplayablePseudoRandom.ReplayablePseudoRandom()
focal_class.full_signature: public  ReplayablePseudoRandom()
focal_class.identifier: ReplayablePseudoRandom
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.signature:  ReplayablePseudoRandom()
focal_class.class_method_signature: ReplayablePseudoRandom.ReplayablePseudoRandom(double seed)
focal_class.full_signature: public  ReplayablePseudoRandom(double seed)
focal_class.identifier: ReplayablePseudoRandom
focal_class.modifiers: public
focal_class.parameters: (double seed)
focal_class.signature:  ReplayablePseudoRandom(double seed)
focal_class.class_method_signature: ReplayablePseudoRandom.random()
focal_class.full_signature: public double random()
focal_class.identifier: random
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: double
focal_class.signature: double random()
focal_class.class_method_signature: ReplayablePseudoRandom.nextInt(int bound)
focal_class.full_signature: public int nextInt(int bound)
focal_class.identifier: nextInt
focal_class.modifiers: public
focal_class.parameters: (int bound)
focal_class.return: int
focal_class.signature: int nextInt(int bound)
focal_class.class_method_signature: ReplayablePseudoRandom.nextDouble()
focal_class.full_signature: public double nextDouble()
focal_class.identifier: nextDouble
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: double
focal_class.signature: double nextDouble()
focal_class.class_method_signature: ReplayablePseudoRandom.nextBoolean()
focal_class.full_signature: public boolean nextBoolean()
focal_class.identifier: nextBoolean
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: boolean
focal_class.signature: boolean nextBoolean()
focal_class.class_method_signature: ReplayablePseudoRandom.nextFloat()
focal_class.full_signature: public float nextFloat()
focal_class.identifier: nextFloat
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: float
focal_class.signature: float nextFloat()
focal_class.class_method_signature: ReplayablePseudoRandom.getSeed()
focal_class.full_signature: public double getSeed()
focal_class.identifier: getSeed
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: double
focal_class.signature: double getSeed()
focal_class.class_method_signature: ReplayablePseudoRandom.setSeed(double seed)
focal_class.full_signature: public void setSeed(double seed)
focal_class.identifier: setSeed
focal_class.modifiers: public
focal_class.parameters: (double seed)
focal_class.return: void
focal_class.signature: void setSeed(double seed)
focal_method.body: public int nextInt(int bound) {
          return (int) (this.nextDouble() * bound);
      }
focal_method.class_method_signature: ReplayablePseudoRandom.nextInt(int bound)
focal_method.full_signature: public int nextInt(int bound)
focal_method.identifier: nextInt
focal_method.invocations: nextDouble
focal_method.modifiers: public
focal_method.parameters: (int bound)
focal_method.return: int
focal_method.signature: int nextInt(int bound)