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