public ConditionalJumpExpression(Expression/*!*/ condition, JumpStatement/*!*/ jumpStatement, bool negateCondition, Expression value, SourceSpan location) : base(location) { ContractUtils.RequiresNotNull(condition, "condition"); ContractUtils.RequiresNotNull(jumpStatement, "jumpStatement"); _condition = condition; _jumpStatement = jumpStatement; _negateCondition = negateCondition; _value = value; }
public ConditionalJumpExpression(Expression /*!*/ condition, JumpStatement /*!*/ jumpStatement, bool negateCondition, Expression value, SourceSpan location) : base(location) { ContractUtils.RequiresNotNull(condition, "condition"); ContractUtils.RequiresNotNull(jumpStatement, "jumpStatement"); _condition = condition; _jumpStatement = jumpStatement; _negateCondition = negateCondition; _value = value; }