// todo make private? public Tile LoadTile(TilePos pos) { Requires(!IsTileLoaded(pos)); var tile = _generator.GenerateTile(pos, _generator.GenerateNoiseMap(pos)); _loadedTiles[pos] = tile; Ensures(IsTileLoaded(pos)); return(tile); }
// todo make private? public Tile LoadTile(TilePos pos) { Requires(!IsTileLoaded(pos)); var tile = _generator.GenerateTile(pos, _generator.GenerateNoiseMap(pos)); _loadedTiles[pos] = tile; Ensures(IsTileLoaded(pos)); return(tile); }