@Service public class RandomSeedRepo extends Object implements org.powertac.common.repo.DomainRepo
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.| Constructor and Description |
|---|
RandomSeedRepo() |
| Modifier and Type | Method and Description |
|---|---|
RandomSeed |
getRandomSeed(String classname,
long id,
String purpose)
Returns the RandomSeed instance identified by classname, id, and purpose,
creating it if necessary.
|
void |
loadSeeds(File inputFile)
Pre-loads seeds from an existing server logfile, or from a stripped-down
logfile containing only the RandomSeed lines.
|
void |
loadSeeds(InputStreamReader reader)
Pre-loads seeds from a stream.
|
void |
recycle() |
public RandomSeed getRandomSeed(String classname, long id, String purpose)
public void loadSeeds(File inputFile) throws FileNotFoundException
FileNotFoundExceptionpublic void loadSeeds(InputStreamReader reader)
public void recycle()
recycle in interface org.powertac.common.repo.DomainRepoCopyright © 2016 Power TAC. All Rights Reserved.