com.threerings.media.tile.tools
Class RenameTileSet

java.lang.Object
  com.threerings.media.tile.tools.RenameTileSet

public class RenameTileSet
extends Object

Used to map a tileset name to the same ID as a pre-existing tileset. This only works for tileset mappings stored using a MapFileTileSetIDBroker. If a tileset is renamed, this utility must be used to map the new name to the old ID, otherwise scenes created with the renamed tileset will cease to work as the tileset will live under a new ID.

Constructor Summary

RenameTileSet()

Method Summary

static void	main(String[] args)
static void	renameTileSet(String mapPath, String oldName, String newName) Loads up the tileset map file with the specified path and copies the tileset ID from the old tileset name to the new tileset name.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RenameTileSet

public RenameTileSet()

Method Detail

renameTileSet

public static void renameTileSet(String mapPath,
                                 String oldName,
                                 String newName)
                          throws PersistenceException

Loads up the tileset map file with the specified path and copies the tileset ID from the old tileset name to the new tileset name. This is necessary when a tileset is renamed so that the new name does not cause the tileset to be assigned a new tileset ID. Bear in mind that the old name should never again be used as it will conflict with a tileset provided under the new name.

Throws:

PersistenceException

main

public static void main(String[] args)