|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.powertac.common.repo.RandomSeedRepo
@Repository public class RandomSeedRepo
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.
| Constructor Summary | |
|---|---|
RandomSeedRepo()
|
|
| Method Summary | |
|---|---|
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()
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public RandomSeedRepo()
| Method Detail |
|---|
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.DomainRepo
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||