void ExitMethod (MethodEventInfo info)
{
if (info.MethodId < 0 || info.MethodId >= methods.Length)
throw new Exception ("unknown method id");
StackItem method = methods [info.MethodId];
stack.PopNode (method, info.Counter);
}
void EnterMethod (MethodEventInfo info)
{
if (info.MethodId < 0 || info.MethodId >= methods.Length)
throw new Exception ("unknown method id");
has_stack_data = true;
StackItem method = methods [info.MethodId];
StackNode node = new StackNode (method, stack.CurrentNode);
node.start_counter = info.Counter;
stack.PushNode (node);
}