public VisitorParam(MethodBodyVerifier @this, NumericalOperand operand)
{
Contract.Requires(@this != null);
this.This = @this;
this.NumericalOperand = operand;
this.SymbolicOperand = null;
}
public VisitorParam(MethodBodyVerifier @this, object symbolicOperand)
{
Contract.Requires(@this != null);
Contract.Requires(symbolicOperand != null);
this.This = @this;
this.NumericalOperand = default(NumericalOperand);
this.SymbolicOperand = symbolicOperand;
}
/// <summary>
/// Writes any CIL instruction to this sink, except <c>switch</c>.
/// </summary>
/// <param name="opcode">The instruction opcode.</param>
/// <param name="operand">The instruction inline operand (ignored if not needed).</param>
public void Instruction(Opcode opcode, NumericalOperand operand)
{
Instruction(new RawInstruction(opcode, operand));
}
