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 togetRandomSeed(). 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
All Methods Instance Methods Concrete Methods 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()
-
-
-
Method Detail
-
getRandomSeed
public RandomSeed getRandomSeed(String classname, long id, String purpose)
Returns the RandomSeed instance identified by classname, id, and purpose, creating it if necessary.
-
loadSeeds
public void loadSeeds(File inputFile) throws FileNotFoundException
Pre-loads seeds from an existing server logfile, or from a stripped-down logfile containing only the RandomSeed lines.- Throws:
FileNotFoundException
-
loadSeeds
public void loadSeeds(InputStreamReader reader)
Pre-loads seeds from a stream.
-
recycle
public void recycle()
- Specified by:
recyclein interfaceorg.powertac.common.repo.DomainRepo
-
-