// Marek Safar (marek.safar@seznam.cz)
//
// Copyright 2002, 2003 Ximian, Inc.
-// Copyright 2003-2008, Novell, Inc.
+// Copyright 2003-2011, Novell, Inc.
//
using System;
case Binary.Operator.ExclusiveOr:
result = BinaryFold (ec, oper, ((EnumConstant)left).Child, ((EnumConstant)right).Child, loc);
if (result != null)
- result = result.TryReduce (ec, lt, loc);
+ result = result.TryReduce (ec, lt);
return result;
///
case Binary.Operator.Subtraction:
result = BinaryFold (ec, oper, ((EnumConstant)left).Child, ((EnumConstant)right).Child, loc);
if (result != null)
- result = result.TryReduce (ec, EnumSpec.GetUnderlyingType (lt), loc);
+ result = result.TryReduce (ec, EnumSpec.GetUnderlyingType (lt));
return result;
///
//
if ((lt.BuiltinType == BuiltinTypeSpec.Type.Bool && right is NullLiteral) ||
(rt.BuiltinType == BuiltinTypeSpec.Type.Bool && left is NullLiteral)) {
- var b = new Nullable.LiftedBinaryOperator (oper, left, right, loc).Resolve (ec);
+ var b = new Nullable.LiftedBinaryOperator (oper, left, right).Resolve (ec);
// false | null => null
// null | false => null
//
if ((lt.BuiltinType == BuiltinTypeSpec.Type.Bool && right is NullLiteral) ||
(rt.BuiltinType == BuiltinTypeSpec.Type.Bool && left is NullLiteral)) {
- var b = new Nullable.LiftedBinaryOperator (oper, left, right, loc).Resolve (ec);
+ var b = new Nullable.LiftedBinaryOperator (oper, left, right).Resolve (ec);
// false & null => false
// null & false => false
if (result == null)
return null;
- result = result.TryReduce (ec, lt, loc);
+ result = result.TryReduce (ec, lt);
if (result == null)
return null;
if (result == null)
return null;
- result = result.TryReduce (ec, lt, loc);
+ result = result.TryReduce (ec, lt);
if (result == null)
return null;
}
if (left is NullLiteral && right is NullLiteral) {
- var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc).ResolveAsType (ec, false);
- return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right, loc).Resolve (ec);
+ var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc);
+ lifted_int.ResolveAsType (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right).Resolve (ec);
}
if (!DoBinaryNumericPromotions (ec, ref left, ref right))
case Binary.Operator.Multiply:
if (left is NullLiteral && right is NullLiteral) {
- var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc).ResolveAsType (ec, false);
- return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right, loc).Resolve (ec);
+ var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc);
+ lifted_int.ResolveAsType (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right).Resolve (ec);
}
if (!DoBinaryNumericPromotions (ec, ref left, ref right))
case Binary.Operator.Division:
if (left is NullLiteral && right is NullLiteral) {
- var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc).ResolveAsType (ec, false);
- return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right, loc).Resolve (ec);
+ var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc);
+ lifted_int.ResolveAsType (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right).Resolve (ec);
}
if (!DoBinaryNumericPromotions (ec, ref left, ref right))
case Binary.Operator.Modulus:
if (left is NullLiteral && right is NullLiteral) {
- var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc).ResolveAsType (ec, false);
- return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right, loc).Resolve (ec);
+ var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc);
+ lifted_int.ResolveAsType (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right).Resolve (ec);
}
if (!DoBinaryNumericPromotions (ec, ref left, ref right))
//
case Binary.Operator.LeftShift:
if (left is NullLiteral && right is NullLiteral) {
- var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc).ResolveAsType (ec, false);
- return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right, loc).Resolve (ec);
+ var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc);
+ lifted_int.ResolveAsType (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right).Resolve (ec);
}
IntConstant ic = right.ConvertImplicitly (ec.BuiltinTypes.Int) as IntConstant;
// null << value => null
if (left is NullLiteral)
- return (Constant) new Nullable.LiftedBinaryOperator (oper, left, right, loc).Resolve (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, left, right).Resolve (ec);
left = left.ConvertImplicitly (ec.BuiltinTypes.Int);
if (left.Type.BuiltinType == BuiltinTypeSpec.Type.Int)
//
case Binary.Operator.RightShift:
if (left is NullLiteral && right is NullLiteral) {
- var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc).ResolveAsType (ec, false);
- return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right, loc).Resolve (ec);
+ var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc);
+ lifted_int.ResolveAsType (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right).Resolve (ec);
}
IntConstant sic = right.ConvertImplicitly (ec.BuiltinTypes.Int) as IntConstant;
// null >> value => null
if (left is NullLiteral)
- return (Constant) new Nullable.LiftedBinaryOperator (oper, left, right, loc).Resolve (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, left, right).Resolve (ec);
left = left.ConvertImplicitly (ec.BuiltinTypes.Int);
if (left.Type.BuiltinType == BuiltinTypeSpec.Type.Int)
break;
case Binary.Operator.Equality:
- if (TypeManager.IsReferenceType (lt) && TypeManager.IsReferenceType (rt) ||
+ if (TypeSpec.IsReferenceType (lt) && TypeSpec.IsReferenceType (rt) ||
(left is Nullable.LiftedNull && right.IsNull) ||
(right is Nullable.LiftedNull && left.IsNull)) {
if (left.IsNull || right.IsNull) {
return ReducedExpression.Create (
new BoolConstant (ec.BuiltinTypes, left.IsNull == right.IsNull, left.Location),
- new Binary (oper, left, right, loc));
+ new Binary (oper, left, right));
}
if (left is StringConstant && right is StringConstant)
return new BoolConstant (ec.BuiltinTypes, bool_res, left.Location);
case Binary.Operator.Inequality:
- if (TypeManager.IsReferenceType (lt) && TypeManager.IsReferenceType (rt) ||
+ if (TypeSpec.IsReferenceType (lt) && TypeSpec.IsReferenceType (rt) ||
(left is Nullable.LiftedNull && right.IsNull) ||
(right is Nullable.LiftedNull && left.IsNull)) {
if (left.IsNull || right.IsNull) {
return ReducedExpression.Create (
new BoolConstant (ec.BuiltinTypes, left.IsNull != right.IsNull, left.Location),
- new Binary (oper, left, right, loc));
+ new Binary (oper, left, right));
}
if (left is StringConstant && right is StringConstant)
case Binary.Operator.LessThan:
if (right is NullLiteral) {
if (left is NullLiteral) {
- var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc).ResolveAsType (ec, false);
- return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right, loc).Resolve (ec);
+ var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc);
+ lifted_int.ResolveAsType (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right).Resolve (ec);
}
if (left is Nullable.LiftedNull) {
- return (Constant) new Nullable.LiftedBinaryOperator (oper, left, right, loc).Resolve (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, left, right).Resolve (ec);
}
}
case Binary.Operator.GreaterThan:
if (right is NullLiteral) {
if (left is NullLiteral) {
- var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc).ResolveAsType (ec, false);
- return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right, loc).Resolve (ec);
+ var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc);
+ lifted_int.ResolveAsType (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right).Resolve (ec);
}
if (left is Nullable.LiftedNull) {
- return (Constant) new Nullable.LiftedBinaryOperator (oper, left, right, loc).Resolve (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, left, right).Resolve (ec);
}
}
case Binary.Operator.GreaterThanOrEqual:
if (right is NullLiteral) {
if (left is NullLiteral) {
- var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc).ResolveAsType (ec, false);
- return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right, loc).Resolve (ec);
+ var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc);
+ lifted_int.ResolveAsType (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right).Resolve (ec);
}
if (left is Nullable.LiftedNull) {
- return (Constant) new Nullable.LiftedBinaryOperator (oper, left, right, loc).Resolve (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, left, right).Resolve (ec);
}
}
case Binary.Operator.LessThanOrEqual:
if (right is NullLiteral) {
if (left is NullLiteral) {
- var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc).ResolveAsType (ec, false);
- return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right, loc).Resolve (ec);
+ var lifted_int = new Nullable.NullableType (ec.BuiltinTypes.Int, loc);
+ lifted_int.ResolveAsType (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, lifted_int, right).Resolve (ec);
}
if (left is Nullable.LiftedNull) {
- return (Constant) new Nullable.LiftedBinaryOperator (oper, left, right, loc).Resolve (ec);
+ return (Constant) new Nullable.LiftedBinaryOperator (oper, left, right).Resolve (ec);
}
}