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;
}