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 randomShouldNotFollowASequenceAtLeastFor1000FirstTrial() {
  
          double number = random.random();
          for (int i = 0; i < 1000; i++) {
              assertNotEquals(number, random.random());
          }
  
      }
test_case.class_method_signature: ReplayablePseudoRandomTest.randomShouldNotFollowASequenceAtLeastFor1000FirstTrial()
test_case.full_signature: @Test public void randomShouldNotFollowASequenceAtLeastFor1000FirstTrial()
test_case.identifier: randomShouldNotFollowASequenceAtLeastFor1000FirstTrial
test_case.invocations: random assertNotEquals random
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void randomShouldNotFollowASequenceAtLeastFor1000FirstTrial()
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 double random() {
          long increment = 1013904223;
          long multiplier = 1664525;
          double modulus = Math.pow(2, 32);
          seed = (this.getSeed() * multiplier + increment) % modulus;
          return seed;
      }
focal_method.class_method_signature: ReplayablePseudoRandom.random()
focal_method.full_signature: public double random()
focal_method.identifier: random
focal_method.invocations: pow getSeed
focal_method.modifiers: public
focal_method.parameters: ()
focal_method.return: double
focal_method.signature: double random()