public static void drawDebugLine(debugState state, string format, params object[] args)
{
ConsoleColor currentColor = Console.ForegroundColor;
Console.ForegroundColor = stateColors[(int)state];
string value;
if(args != null)
value = string.Format(format, args);
else
value = format;
Console.WriteLine("{0} {1}:\t{2}", DateTime.Now.ToLocalTime().ToString("HH:mm:ss"), statePrefixes[(int)state], value);
Console.ForegroundColor = currentColor;
}
public Cache(array <Value> values = default, array <Block> blocks = default, array <Location> locs = default, ref ptr <stackAllocState> stackAllocState = default, slice <ID> domblockstore = default, slice <ptr <sparseSet> > scrSparseSet = default, slice <ptr <sparseMap> > scrSparseMap = default, slice <ptr <poset> > scrPoset = default, slice <valState> regallocValues = default, slice <ptr <obj.Prog> > ValueToProgAfter = default, debugState debugState = default)
{
this.values = values;
this.blocks = blocks;
this.locs = locs;
this.stackAllocState = stackAllocState;
this.domblockstore = domblockstore;
this.scrSparseSet = scrSparseSet;
this.scrSparseMap = scrSparseMap;
this.scrPoset = scrPoset;
this.regallocValues = regallocValues;
this.ValueToProgAfter = ValueToProgAfter;
this.debugState = debugState;
}
public static void drawDebugLine(debugState state, string value)
{
drawDebugLine(state, value, null);
}
