public string ToString (TmDefinition def)
{
var sb = new StringBuilder ();
Func<byte, string> convertSingle = b => def == null ? b.ToString () : def.Gamma[b];
var headPos = StartFacingRight ? 0 : _WriteUnpacked.Length - 1;
var unpacked = _ReadUnpacked.Select (convertSingle).ToArray ();
sb.Append (TapeUtil.WriteHeadCell (
StartFacingRight,
unpacked,
headPos,
Source.ToString ()));
sb.Append (" => ");
if (Next != null) {
headPos += Direction;
unpacked = _WriteUnpacked.Select (convertSingle).ToArray ();
sb.Append (TapeUtil.WriteHeadCell (
EndFacingRight ?? true,
unpacked,
headPos,
Next.ToString ()));
}
else {
sb.Append ("[INFTY]");
}
sb.Append (" (" + Shifts + "s)");
return sb.ToString ();
}
public static TmDefinition Load(string index)
{
var j = LoadJ(index);
var t = new TmDefinition(j);
return(t);
}
/// <summary>
/// Re-Export JSON to JSON (for format updates)
/// </summary>
public static void ReexportJson()
{
foreach (var json in AllDefinitionsJ())
{
var def = new TmDefinition(json.OriginalDefinition);
File.WriteAllText(json.Info_Name + ".tmj", def.ToJson(json.Info_Name).Persist(), UTF8Encoding.UTF8);
}
}
public static void PrintContent()
{
var defs = AllDefinitionsJ().ToArray();
var max = defs.Max(d => d.Info_Name.Length);
foreach (var json in defs)
{
var def = new TmDefinition(json);
Log.WriteLine(json.Info_Name.PadRight(max) + " " + def.ShortDefinitionString);
}
}
public string ToString(TmDefinition def)
{
return(""
+ Source.Name
+ ","
+ (def == null ? "" + Read : def.Gamma[Read])
+ " -> "
+ Next.Name
+ ","
+ (def == null ? "" + Write : def.Gamma[Write])
+ ","
+ (Direction > 0 ? "R" : (Direction == 0 ? "S" : "L")));
}
/// <summary>
/// Re-Export JSON to JSON (for format updates)
/// </summary>
public static void ReexportJson ()
{
foreach (var json in AllDefinitionsJ ()) {
var def = new TmDefinition (json.OriginalDefinition);
File.WriteAllText (json.Info_Name + ".tmj", def.ToJson (json.Info_Name).Persist (), UTF8Encoding.UTF8);
}
}
public static void PrintContent ()
{
var defs = AllDefinitionsJ ().ToArray ();
var max = defs.Max (d => d.Info_Name.Length);
foreach (var json in defs) {
var def = new TmDefinition (json);
Log.WriteLine (json.Info_Name.PadRight (max) + " " + def.ShortDefinitionString);
}
}
public static TmDefinition Load (string index)
{
var j = LoadJ (index);
var t = new TmDefinition (j);
return t;
}
public ControlledRun (bool passive)
{
menu.CQ.PassiveMode = passive;
menu.Add (new Menu_Print (this));
menu.Add (new Menu_Lib (this));
menu.Add (new Menu_Def (this));
menu.Add (new Menu_Create (this));
menu.Add (new Menu_Step (this));
menu.Add (new Menu_Run (this));
menu.Add (new Menu_Break (this));
menu.Add (new Menu_Stopwatch ());
//menu.Add ("log-break", s => Log.AddBreakpoint (s));
menu.Add (new MI_Echo ());
menu.Add (new MI_Pause ());
var store = new FileRecordStore ();
menu.Add (new MI_Record (store) {
Selector = "{",
EndRecordCommand = "}",
});
menu.Add (new MI_Replay (menu, store) {
Selector = "!",
});
var mi_if = menu.Add (new MI_If ());
mi_if.Conditions.Add ("hist-has", Condition_HistHas);
_Def = DefinitionLibrary.Load ("BusyBeaver2");
}
public static MacroTransition CreateSingleMacroTransition (
TmDefinition def,
State q,
byte readPacked,
bool facingRight,
MacroPacker packerInfo)
{
if (def == null)
throw new ArgumentNullException ();
if (q == null)
throw new ArgumentNullException ();
if (packerInfo == null)
throw new ArgumentNullException ();
var readUnpacked = packerInfo.Decode (readPacked);
var left = facingRight ? new byte[0] : readUnpacked.SubArray (0, readUnpacked.Length - 1);
var right = facingRight ? readUnpacked : readUnpacked.SubArray (readUnpacked.Length - 1, 1);
var tape = new LimitedBasicTape (left, right, def.Gamma);
short dir;
var tm = new SimpleTmRun (def, tape, new LimitedBasicTape (tape, def.Gamma), q);
tm.AfterStep += new DetectTapeTooSmall ().Detect;
tm.Options.AllowCreateMissingTransitionBranches = false;
try {
TmPrintOptions.Push ();
TmPrintOptions.PrintTapeSteps = false;
TmPrintOptions.PrintTransitionLevel = PrintTransitionLevel.None;
var prevPos = (short) tape.Position;
tm.Run ();
dir = (short) (tape.Position - prevPos);
}
catch (TransitionNotDefinedException) {
// Intentional throw. Let the caller handle this.
throw;
}
finally {
TmPrintOptions.Pop ();
}
Debug.Assert (tm.Result.Halted.HasValue != tape.ExitsOnLeftSide.HasValue);
if (tm.Result.Halted == false) {
return new MacroTransition (q, readPacked, facingRight, null, readPacked, 0, tm.Shifts, readUnpacked, readUnpacked);
}
else {
var writeUnpacked = tape.Tape;
var writePacked = packerInfo.Encode (writeUnpacked);
return new MacroTransition (q, readPacked, facingRight, tm.Q, writePacked, dir, tm.Shifts, readUnpacked, writeUnpacked);
}
}
