Class Config
java.lang.Object
|
+--Config
- public class Config
- extends java.lang.Object
Stores all of the MentalMaps Configuration Information
Constructor Summary |
Config(int num)
|
Method Summary |
void |
addMap(java.lang.String title,
java.lang.String filename,
java.lang.String mapfilename,
java.lang.String warp)
adds a map (Which can be selected by the user) into the simulation |
void |
addOption(java.lang.String opt)
adds an option to the simulation |
java.lang.String |
getMapCfgFileName(int index)
gets the Map Config file name for a Map with a certain index |
java.lang.String |
getMapCfgFileName(java.lang.String title)
gets the configuration file name for a Map with a certain title |
java.lang.String |
getMapFileName(java.lang.String title)
gets the Border Map file name for a Map with a certain title |
java.lang.String[] |
getTitles()
gets the titles of all the maps |
java.lang.String |
getWarpFileName(java.lang.String title)
gets the Warp Map file name for a Map with a certain title
NOTE: sometimes the map top be warped will be different from the
border shown to the user
(i.e. |
void |
setNumOptions(int num)
sets the number of options the user has for the simulation |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
nummaps
public int nummaps
numoptions
public int numoptions
map
public Map[] map
optionString
public java.lang.String[] optionString
currentmap
public int currentmap
currentoption
public int currentoption
Config
public Config(int num)
setNumOptions
public void setNumOptions(int num)
- sets the number of options the user has for the simulation
addMap
public void addMap(java.lang.String title,
java.lang.String filename,
java.lang.String mapfilename,
java.lang.String warp)
- adds a map (Which can be selected by the user) into the simulation
addOption
public void addOption(java.lang.String opt)
- adds an option to the simulation
getMapCfgFileName
public java.lang.String getMapCfgFileName(java.lang.String title)
- gets the configuration file name for a Map with a certain title
getMapFileName
public java.lang.String getMapFileName(java.lang.String title)
- gets the Border Map file name for a Map with a certain title
getWarpFileName
public java.lang.String getWarpFileName(java.lang.String title)
- gets the Warp Map file name for a Map with a certain title
NOTE: sometimes the map top be warped will be different from the
border shown to the user
(i.e. when the US with states is shown, the map to be warped is the
map of U.S. without states
getMapCfgFileName
public java.lang.String getMapCfgFileName(int index)
- gets the Map Config file name for a Map with a certain index
getTitles
public java.lang.String[] getTitles()
- gets the titles of all the maps