public class GameLoading
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private static java.util.logging.Logger |
LOGGER |
private org.jdom.Element |
root |
private Variant |
variant |
Constructor and Description |
---|
GameLoading() |
Modifier and Type | Method and Description |
---|---|
org.jdom.Element |
getRoot() |
Variant |
getVariant() |
private java.lang.String |
latestSaveFilename(java.lang.String[] filenames)
Find from the list of savegame filenames the one with the highest
numerical value (1000000000_xxx.xml comes after 999999999_xxx.xml)
|
boolean |
loadGame(java.lang.String filename)
Try to load a game from saveDirName/filename.
|
boolean |
loadGameFromFile(java.io.File file)
Load contents of the file, get variant name, load the right variant
and get the root element.
|
private long |
numberValue(java.lang.String filename)
Extract and return the numeric part of a filename.
|
private java.io.File |
resolveFileNameToFile(java.lang.String filename)
For a given filename, open the file with that name from
save game directory.
|
private static final java.util.logging.Logger LOGGER
private Variant variant
private org.jdom.Element root
public Variant getVariant()
public org.jdom.Element getRoot()
public boolean loadGame(java.lang.String filename)
private java.io.File resolveFileNameToFile(java.lang.String filename)
filename
- The name of the file to load, or "--latest" for
looking for latest save game (snapshot) file.public boolean loadGameFromFile(java.io.File file)
file
- The file from which to load the gameprivate java.lang.String latestSaveFilename(java.lang.String[] filenames)
filenames
- An array of strings which represent filenamesprivate long numberValue(java.lang.String filename)