protected virtual Expr VisitBlock (ExprBlock e)
{
return this.VisitCollection (e.Exprs, e, exprs => new ExprBlock (e.MethodInfo, exprs));
}
public Expr Go (bool failQuietly = true)
{
Instruction unknownInst = null;
var insts = this.method.Body.Instructions;
foreach (Instruction inst in insts) {
if (failQuietly) {
if (unknownInst == null) {
try {
Expr expr = this.ProcessInst (inst);
this.Instructions.Add (expr, inst);
this.exprs.Push (expr);
} catch (NotSupportedException) {
unknownInst = inst;
}
} else {
// Met unknown instruction, so check that there are no more contracts
if (inst.OpCode.OperandType == OperandType.InlineMethod) {
MethodReference method = (MethodReference) inst.Operand;
if (method.DeclaringType.FullName == "System.Diagnostics.Contracts.Contract") {
throw new NotSupportedException ("Unknown instruction in contract: " + unknownInst);
}
}
}
} else {
Expr expr = this.ProcessInst (inst);
this.Instructions.Add (expr, inst);
this.exprs.Push (expr);
}
}
Expr decompiled = new ExprBlock (this.methodInfo, this.exprs.Reverse ().ToArray ());
return decompiled;
}
