/**
* Saves the map into its file.
*
* @throws ZSDXException if the file could not be written for various reasons
*/
public void save() throws ZSDXException {
// check that the map is valid
checkValidity();
try {
// open the map file
File mapFile = Project.getMapFile(mapId);
PrintWriter out = new PrintWriter(new BufferedWriter(new FileWriter(mapFile)));
// print the map general info
// syntax: width height world floor x y small_keys_variable tileset_id music_id
out.print(size.width);
out.print('\t');
out.print(size.height);
out.print('\t');
out.print(world);
out.print('\t');
out.print(floor);
out.print('\t');
out.print(location.x);
out.print('\t');
out.print(location.y);
out.print('\t');
out.print(smallKeysVariable);
out.print('\t');
out.print(tilesetId);
out.print('\t');
out.print(musicId);
out.println();
for (Layer layer : Layer.values()) {
MapEntities entities = allEntities[layer.getId()];
// print the entities
for (MapEntity entity : entities) {
out.print(entity.toString());
out.println();
}
}
out.close();
history.setSaved();
// also update the map name in the global resource list
Resource mapResource = Project.getResource(ResourceType.MAP);
mapResource.setElementName(mapId, name);
Project.getResourceDatabase().save();
// upate the dungeon elements of this map
if (isInDungeon()) {
Dungeon.saveMapInfo(this);
}
// create a script for the map if necessary
File scriptFile = Project.getMapScriptFile(mapId);
if (!scriptFile.exists()) {
scriptFile.createNewFile();
}
} catch (IOException ex) {
throw new MapException(ex.getMessage());
}
}
