public void UpdateValues(Stack <uint> v, PICController controller)
{
Stack.Clear();
while (v.Count > 0)
{
uint sv = v.Pop();
Stack.Insert(0, Tuple.Create(sv, controller.GetSourceCodeForPC(sv)));
}
Stack.Insert(0, Tuple.Create(0U, "MAIN"));
Update();
}