nz.ac.waikato.modeljunit
Class ResultExtractor

java.lang.Object
  nz.ac.waikato.modeljunit.ResultExtractor

public class ResultExtractor
extends java.lang.Object

This class runs several random and greedyRandom walks and outputs them to a text file

Author:

Pele Douangsavanh

Constructor Summary

ResultExtractor()

ResultExtractor(int p)

Method Summary

protected java.lang.String	generateResults(int seed, Tester tester)
java.util.Random	getRand()
int	getTestLength()
static void	main(java.lang.String[] args)
void	run()
void	setRand(java.util.Random rand)
void	setTestLength(int testLength)
void	write()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ResultExtractor

public ResultExtractor()

ResultExtractor

public ResultExtractor(int p)

Method Detail

main

public static void main(java.lang.String[] args)

getRand

public java.util.Random getRand()

Returns:

the Random object that is used to generate seeds.

setRand

public void setRand(java.util.Random rand)

Parameters:

rand - The Random object that will be used to generate seeds.

getTestLength

public int getTestLength()

Returns:

the testLength

setTestLength

public void setTestLength(int testLength)

Parameters:

testLength - the testLength to set

generateResults

protected java.lang.String generateResults(int seed,
                                           Tester tester)

run

public void run()

write

public void write()