21 import java.util.Arrays;

    22 import java.util.UUID;

    23 

    69 	}

    70 	

    71 	public MapRecipe withMapgen(int mapgen) {

    72 		return new MapRecipe(mapgen, templateFilter, mazeSize, name, seed, theme, drawData);

    73 	}

    74 	

    75 	public MapRecipe withTemplateFilter(int templateFilter) {

    76 		return new MapRecipe(mapgen, templateFilter, mazeSize, name, seed, theme, drawData);

    77 	}

    78 	

    79 	public MapRecipe withMazeSize(int mazeSize) {

    80 		return new MapRecipe(mapgen, templateFilter, mazeSize, name, seed, theme, drawData);

    81 	}

    82 	

    83 	public MapRecipe withName(String name) {

    84 		return new MapRecipe(mapgen, templateFilter, mazeSize, name, seed, theme, drawData);

    85 	}

    86 	

    87 	public MapRecipe withSeed(String seed) {

    88 		return new MapRecipe(mapgen, templateFilter, mazeSize, name, seed, theme, drawData);

    89 	}

    90 	

    91 	public MapRecipe withTheme(String theme) {

    92 		return new MapRecipe(mapgen, templateFilter, mazeSize, name, seed, theme, drawData);

    93 	}

    94 	

    95 	public MapRecipe withDrawData(byte[] drawData) {

    96 		return new MapRecipe(mapgen, templateFilter, mazeSize, name, seed, theme, drawData);

   111 

   112 	/**

   113 	 * Returns the mapname corresponding to the map generator (e.g. "+rnd+" for regular maps)

   114 	 * If the mapgen does not have a unique name (MAPGEN_NAMED) or is not known, the def

   115 	 * value is returned.

   116 	 */

   117 	public static String mapnameForGenerator(int mapgen, String def) {

   118 		switch(mapgen) {

   119 		case Frontlib.MAPGEN_REGULAR: return MAPNAME_REGULAR;

   120 		case Frontlib.MAPGEN_MAZE: return MAPNAME_MAZE;

   121 		case Frontlib.MAPGEN_DRAWN: return MAPNAME_DRAWN;

   122 		default: return def;

   123 		}

   124 	}

   125 	

   126 	/**

   127 	 * In a sense this is the inverse of mapnameForGenerator. Returns the mapgen that uses

   128 	 * mapName as special identifier, or MAPGEN_NAMED if there is none.

   129 	 */

   130 	public static int generatorForMapname(String mapName) {

   131 		if(MapRecipe.MAPNAME_REGULAR.equals(mapName)) {

   132 			return Frontlib.MAPGEN_REGULAR;

   133 		} else if(MapRecipe.MAPNAME_MAZE.equals(mapName)) {

   134 			return Frontlib.MAPGEN_MAZE;

   135 		} else if(MapRecipe.MAPNAME_DRAWN.equals(mapName)) {

   136 			return Frontlib.MAPGEN_DRAWN;

   137 		} else {

   138 			return Frontlib.MAPGEN_NAMED;

   139 		}

   140 	}

   141 	

   142 	@Override

   143 	public String toString() {

   144 		return "MapRecipe [mapgen=" + mapgen + ", templateFilter="

   145 				+ templateFilter + ", mazeSize=" + mazeSize + ", name=" + name

   146 				+ ", seed=" + seed + ", theme=" + theme + ", drawData="

   147 				+ Arrays.toString(drawData) + "]";

   148 	}

   149 

   150 	@Override

   151 	public int hashCode() {

   152 		final int prime = 31;

   153 		int result = 1;

   154 		result = prime * result + Arrays.hashCode(drawData);

   155 		result = prime * result + mapgen;

   156 		result = prime * result + mazeSize;

   157 		result = prime * result + ((name == null) ? 0 : name.hashCode());

   158 		result = prime * result + ((seed == null) ? 0 : seed.hashCode());

   159 		result = prime * result + templateFilter;

   160 		result = prime * result + ((theme == null) ? 0 : theme.hashCode());

   161 		return result;

   162 	}

   163 

   164 	@Override

   165 	public boolean equals(Object obj) {

   166 		if (this == obj)

   167 			return true;

   168 		if (obj == null)

   169 			return false;

   170 		if (getClass() != obj.getClass())

   171 			return false;

   172 		MapRecipe other = (MapRecipe) obj;

   173 		if (!Arrays.equals(drawData, other.drawData))

   174 			return false;

   175 		if (mapgen != other.mapgen)

   176 			return false;

   177 		if (mazeSize != other.mazeSize)

   178 			return false;

   179 		if (name == null) {

   180 			if (other.name != null)

   181 				return false;

   182 		} else if (!name.equals(other.name))

   183 			return false;

   184 		if (seed == null) {

   185 			if (other.seed != null)

   186 				return false;

   187 		} else if (!seed.equals(other.seed))

   188 			return false;

   189 		if (templateFilter != other.templateFilter)

   190 			return false;

   191 		if (theme == null) {

   192 			if (other.theme != null)

   193 				return false;

   194 		} else if (!theme.equals(other.theme))

   195 			return false;

   196 		return true;

   197 	}

   198 

   199 	public static String makeRandomSeed() {

   200 		return "{"+UUID.randomUUID().toString()+"}";

   201 	}