private InvokeSchedulerStatement VisitInvokeSched(InvokeSchedulerStatement InvokeSched)
{
WriteStart("invokescheduler(");
this.VisitExpressionList(InvokeSched.Operands);
WriteFinish(");");
return InvokeSched;
}
private InvokeSchedulerStatement VisitInvokeShed(InvokeSchedulerStatement InvokeSched)
{
InvokeSched.Operands = this.VisitExpressionList(InvokeSched.Operands);
return InvokeSched;
}
private Statement VisitInvokeSched(InvokeSchedulerStatement InvokeSched)
{
Statement InvokeSchedStmt = Templates.GetStatementTemplate("InvokeSched");
// Append the user's arguments to the call to StateImpl.Trace
ExpressionStatement exprStmt = InvokeSchedStmt as ExpressionStatement;
Debug.Assert(exprStmt != null);
MethodCall mcall = exprStmt.Expression as MethodCall;
Debug.Assert(mcall != null);
ExpressionList operands = this.VisitExpressionList(InvokeSched.Operands);
for (int i = 0, n = operands.Count; i < n; i++)
mcall.Operands.Add(operands[i]);
return InvokeSchedStmt;
}
private InvokeSchedulerStatement VisitInvokeSched(InvokeSchedulerStatement InvokeSched)
{
if (InvokeSched == null) return null;
InvokeSchedulerStatement result = (InvokeSchedulerStatement)InvokeSched.Clone();
result.Operands = this.VisitExpressionList(InvokeSched.Operands);
return result;
}
private InvokeSchedulerStatement VisitInvokeSched(InvokeSchedulerStatement InvokeSched)
{
BasicBlock block = AddBlock(new BasicBlock(InvokeSched, CurrentContinuation));
CurrentContinuation = block;
return InvokeSched;
}
private InvokeSchedulerStatement VisitInvokeSched(InvokeSchedulerStatement InvokeSched)
{
if (InvokeSched == null) return null;
InvokeSched.Operands = this.VisitExpressionList(InvokeSched.Operands);
return InvokeSched;
}