Package org.powertac.common.repo
Class RandomSeedRepo
java.lang.Object
org.powertac.common.repo.RandomSeedRepo
- All Implemented Interfaces:
org.powertac.common.repo.DomainRepo
@Service public class RandomSeedRepo extends Object implements org.powertac.common.repo.DomainRepo
Repository for RandomSeed instances. RandomSeeds are acquired by calls
to
getRandomSeed(). These will be newly-constructed only if
an existing RandomSeed with the same classname, id, and purpose has not
already been created. Seeds may be created by loading a logfile from an
existing game, in which case the same random sequences will be repeated
in the current game. Otherwise they are created with random starting
points when requested.- Author:
- John Collins
-
Constructor Summary
Constructors Constructor Description RandomSeedRepo() -
Method Summary
Modifier and Type Method Description RandomSeedgetRandomSeed(String classname, long id, String purpose)Returns the RandomSeed instance identified by classname, id, and purpose, creating it if necessary.voidloadSeeds(File inputFile)Pre-loads seeds from an existing server logfile, or from a stripped-down logfile containing only the RandomSeed lines.voidloadSeeds(InputStreamReader reader)Pre-loads seeds from a stream.voidrecycle()
-
Constructor Details
-
RandomSeedRepo
public RandomSeedRepo()
-
-
Method Details
-
getRandomSeed
Returns the RandomSeed instance identified by classname, id, and purpose, creating it if necessary. -
loadSeeds
Pre-loads seeds from an existing server logfile, or from a stripped-down logfile containing only the RandomSeed lines.- Throws:
FileNotFoundException
-
loadSeeds
Pre-loads seeds from a stream. -
recycle
public void recycle()- Specified by:
recyclein interfaceorg.powertac.common.repo.DomainRepo
-