private static void WriteOptions(string path, TdpOptions options)
{
File.WriteAllText(path, options.ToString());
Console.WriteLine($".tdp file can be found at {path}");
}
public TileWriter(TdpOptions options, IEnumerable <Tile> tiles)
{
this.options = options;
this.tiles = tiles;
}
public static void Write(CounterSettings settings)
{
var tiles = new HashSet <Tile>();
var seed = new Seed(settings);
tiles.UnionWith(seed.Tiles);
var rightWall = new RightWall(settings);
tiles.UnionWith(rightWall.Tiles);
var leftWall = new LeftWall(settings);
tiles.UnionWith(leftWall.Tiles);
var rightTurn = new RightTurn(settings);
tiles.UnionWith(rightTurn.Tiles);
var rightPreReaderRightCarry = new PreReaderRight(settings, true);
tiles.UnionWith(rightPreReaderRightCarry.Tiles);
var rightPreReaderRightNoCarry = new PreReaderRight(settings, false);
tiles.UnionWith(rightPreReaderRightNoCarry.Tiles);
var leftPreReaderFirst = new PreReaderLeft(settings, true);
tiles.UnionWith(leftPreReaderFirst.Tiles);
var leftPreReaderNth = new PreReaderLeft(settings, false);
tiles.UnionWith(leftPreReaderNth.Tiles);
var readerTiles = AddReaders(settings.BinaryDigitPatterns, settings.BaseK);
tiles.UnionWith(readerTiles);
var hookTiles = AddHooks(settings.BinaryDigitPatterns);
tiles.UnionWith(hookTiles);
var writerTiles = AddWriters(settings.BinaryDigitPatterns, Convert.ToInt32(settings.StoppingValue));
tiles.UnionWith(writerTiles);
tiles.UnionWith(GetAllGadgets());
var tileSetName = $"base-{settings.BaseK}-counter-to-{settings.StoppingValue}";
var options = new TdpOptions(tileSetName, seed.Start.Name);
var path = Utils.GetPath();
tiles = tiles.DistinctBy(t => t.Name).ToHashSet();
WriteOptions($"{path}{tileSetName}.tdp", options);
WriteDefinitions($"{path}{tileSetName}.tds", tiles);
}
