protected ZingEvent(ZingSourceContext context, ZingAttribute contextAttribute, int SerialNum)
{
this.context = context;
this.contextAttribute = contextAttribute;
Process p = Process.GetCurrentProcess(SerialNum);
if (p != null)
{
procName = Utils.Unmangle(p.Name);
stepNumber = p.StateImpl.stepNumber;
}
else
{
procName = "<init>";
}
}
internal CreateProcessEvent(ZingSourceContext context, ZingAttribute contextAttribute,
string newProcName, int SerialNumber)
: base(context, contextAttribute, SerialNumber)
{
this.newProcName = Utils.Unmangle(newProcName);
}
internal TraceEvent(ZingSourceContext context, ZingAttribute contextAttribute,
string message, int SerialNumber, params object[] arguments)
: base(context, contextAttribute, SerialNumber)
{
this.message = message;
this.arguments = arguments;
}
internal TerminateProcessEvent(ZingSourceContext context, ZingAttribute contextAttribute, int SerialNumber)
: base(context, contextAttribute, SerialNumber)
{
}
/// <exclude/>
internal TerminateProcessEvent(ZingSourceContext context, ZingAttribute contextAttribute)
: base(context, contextAttribute)
{
}
internal SendEvent(ZingSourceContext context, ZingAttribute contextAttribute,
ZingChan chan, object data, int SerialNumber)
: base(context, contextAttribute, SerialNumber)
{
this.data = data;
this.chanPtr = Process.GetCurrentProcess(SerialNumber).StateImpl.ReverseLookupObject(chan);
this.chanType = chan.GetType();
}
/// <exclude/>
internal ReceiveEvent(ZingSourceContext context, ZingAttribute contextAttribute,
ZingChan chan, object data)
: base(context, contextAttribute)
{
this.data = data;
this.chanPtr = Process.CurrentProcess.StateImpl.ReverseLookupObject(chan);
this.chanType = chan.GetType();
}
public void Return(ZingSourceContext context, ZingAttribute contextAttribute)
{
ZingMethod returningMethod = doPop();
this.atomicityLevel = returningMethod.SavedAtomicityLevel;
// Keep a ref to the completed function so the caller can access
// the return value and output parameters.
if (topOfStack != null)
lastFunctionCompleted = returningMethod;
else
{
lastFunctionCompleted = null;
middleOfTransition = false;
}
if (this.topOfStack == null && ZingerConfiguration.ExecuteTraceStatements && (this.name != null && this.name.Length != 0))
{
if (ZingerConfiguration.DegreeOfParallelism == 1)
{
this.StateImpl.ReportEvent(new TerminateProcessEvent(context, contextAttribute));
}
else
{
this.StateImpl.ReportEvent(new TerminateProcessEvent(context, contextAttribute, this.MyThreadId));
}
}
}
