Code:
/ 4.0 / 4.0 / DEVDIV_TFS / Dev10 / Releases / RTMRel / ndp / fx / src / Core / Microsoft / Scripting / Ast / ConditionalExpression.cs / 1305376 / ConditionalExpression.cs
/* ****************************************************************************
*
* Copyright (c) Microsoft Corporation.
*
* This source code is subject to terms and conditions of the Microsoft Public License. A
* copy of the license can be found in the License.html file at the root of this distribution. If
* you cannot locate the Microsoft Public License, please send an email to
* dlr@microsoft.com. By using this source code in any fashion, you are agreeing to be bound
* by the terms of the Microsoft Public License.
*
* You must not remove this notice, or any other, from this software.
*
*
* ***************************************************************************/
using System.Dynamic.Utils;
using System.Diagnostics;
#if SILVERLIGHT
using System.Core;
#endif
namespace System.Linq.Expressions {
///
/// Represents an expression that has a conditional operator.
///
#if !SILVERLIGHT
[DebuggerTypeProxy(typeof(Expression.ConditionalExpressionProxy))]
#endif
public class ConditionalExpression : Expression {
private readonly Expression _test;
private readonly Expression _true;
internal ConditionalExpression(Expression test, Expression ifTrue) {
_test = test;
_true = ifTrue;
}
internal static ConditionalExpression Make(Expression test, Expression ifTrue, Expression ifFalse, Type type) {
if (ifTrue.Type != type || ifFalse.Type != type) {
return new FullConditionalExpressionWithType(test, ifTrue, ifFalse, type);
} if (ifFalse is DefaultExpression && ifFalse.Type == typeof(void)) {
return new ConditionalExpression(test, ifTrue);
} else {
return new FullConditionalExpression(test, ifTrue, ifFalse);
}
}
///
/// Returns the node type of this Expression. Extension nodes should return
/// ExpressionType.Extension when overriding this method.
///
/// The
public sealed override ExpressionType NodeType {
get { return ExpressionType.Conditional; }
}
///
/// Gets the static type of the expression that this
/// The
public override Type Type {
get { return IfTrue.Type; }
}
///
/// Gets the test of the conditional operation.
///
public Expression Test {
get { return _test; }
}
///
/// Gets the expression to execute if the test evaluates to true.
///
public Expression IfTrue {
get { return _true; }
}
///
/// Gets the expression to execute if the test evaluates to false.
///
public Expression IfFalse {
get { return GetFalse(); }
}
internal virtual Expression GetFalse() {
return Expression.Empty();
}
///
/// Dispatches to the specific visit method for this node type.
///
protected internal override Expression Accept(ExpressionVisitor visitor) {
return visitor.VisitConditional(this);
}
///
/// Creates a new expression that is like this one, but using the
/// supplied children. If all of the children are the same, it will
/// return this expression.
///
/// The This expression if no children changed, or an expression with the updated children.
public ConditionalExpression Update(Expression test, Expression ifTrue, Expression ifFalse) {
if (test == Test && ifTrue == IfTrue && ifFalse == IfFalse) {
return this;
}
return Expression.Condition(test, ifTrue, ifFalse, Type);
}
}
internal class FullConditionalExpression : ConditionalExpression {
private readonly Expression _false;
internal FullConditionalExpression(Expression test, Expression ifTrue, Expression ifFalse)
: base(test, ifTrue) {
_false = ifFalse;
}
internal override Expression GetFalse() {
return _false;
}
}
internal class FullConditionalExpressionWithType : FullConditionalExpression {
private readonly Type _type;
internal FullConditionalExpressionWithType(Expression test, Expression ifTrue, Expression ifFalse, Type type)
: base(test, ifTrue, ifFalse) {
_type = type;
}
public sealed override Type Type {
get { return _type; }
}
}
public partial class Expression {
///
/// Creates a
/// An A
public static ConditionalExpression Condition(Expression test, Expression ifTrue, Expression ifFalse) {
RequiresCanRead(test, "test");
RequiresCanRead(ifTrue, "ifTrue");
RequiresCanRead(ifFalse, "ifFalse");
if (test.Type != typeof(bool)) {
throw Error.ArgumentMustBeBoolean();
}
if (!TypeUtils.AreEquivalent(ifTrue.Type, ifFalse.Type)) {
throw Error.ArgumentTypesMustMatch();
}
return ConditionalExpression.Make(test, ifTrue, ifFalse, ifTrue.Type);
}
///
/// Creates a
/// An A
/// This method allows explicitly unifying the result type of the conditional expression in cases where the types of
public static ConditionalExpression Condition(Expression test, Expression ifTrue, Expression ifFalse, Type type) {
RequiresCanRead(test, "test");
RequiresCanRead(ifTrue, "ifTrue");
RequiresCanRead(ifFalse, "ifFalse");
ContractUtils.RequiresNotNull(type, "type");
if (test.Type != typeof(bool)) {
throw Error.ArgumentMustBeBoolean();
}
if (type != typeof(void)) {
if (!TypeUtils.AreReferenceAssignable(type, ifTrue.Type) ||
!TypeUtils.AreReferenceAssignable(type, ifFalse.Type)) {
throw Error.ArgumentTypesMustMatch();
}
}
return ConditionalExpression.Make(test, ifTrue, ifFalse, type);
}
///
/// Creates a
/// An A
public static ConditionalExpression IfThen(Expression test, Expression ifTrue) {
return Condition(test, ifTrue, Expression.Empty(), typeof(void));
}
///
/// Creates a
/// An A
public static ConditionalExpression IfThenElse(Expression test, Expression ifTrue, Expression ifFalse) {
return Condition(test, ifTrue, ifFalse, typeof(void));
}
}
}
// File provided for Reference Use Only by Microsoft Corporation (c) 2007.
// Copyright (c) Microsoft Corporation. All rights reserved.
/* ****************************************************************************
*
* Copyright (c) Microsoft Corporation.
*
* This source code is subject to terms and conditions of the Microsoft Public License. A
* copy of the license can be found in the License.html file at the root of this distribution. If
* you cannot locate the Microsoft Public License, please send an email to
* dlr@microsoft.com. By using this source code in any fashion, you are agreeing to be bound
* by the terms of the Microsoft Public License.
*
* You must not remove this notice, or any other, from this software.
*
*
* ***************************************************************************/
using System.Dynamic.Utils;
using System.Diagnostics;
#if SILVERLIGHT
using System.Core;
#endif
namespace System.Linq.Expressions {
///
/// Represents an expression that has a conditional operator.
///
#if !SILVERLIGHT
[DebuggerTypeProxy(typeof(Expression.ConditionalExpressionProxy))]
#endif
public class ConditionalExpression : Expression {
private readonly Expression _test;
private readonly Expression _true;
internal ConditionalExpression(Expression test, Expression ifTrue) {
_test = test;
_true = ifTrue;
}
internal static ConditionalExpression Make(Expression test, Expression ifTrue, Expression ifFalse, Type type) {
if (ifTrue.Type != type || ifFalse.Type != type) {
return new FullConditionalExpressionWithType(test, ifTrue, ifFalse, type);
} if (ifFalse is DefaultExpression && ifFalse.Type == typeof(void)) {
return new ConditionalExpression(test, ifTrue);
} else {
return new FullConditionalExpression(test, ifTrue, ifFalse);
}
}
///
/// Returns the node type of this Expression. Extension nodes should return
/// ExpressionType.Extension when overriding this method.
///
/// The
public sealed override ExpressionType NodeType {
get { return ExpressionType.Conditional; }
}
///
/// Gets the static type of the expression that this
/// The
public override Type Type {
get { return IfTrue.Type; }
}
///
/// Gets the test of the conditional operation.
///
public Expression Test {
get { return _test; }
}
///
/// Gets the expression to execute if the test evaluates to true.
///
public Expression IfTrue {
get { return _true; }
}
///
/// Gets the expression to execute if the test evaluates to false.
///
public Expression IfFalse {
get { return GetFalse(); }
}
internal virtual Expression GetFalse() {
return Expression.Empty();
}
///
/// Dispatches to the specific visit method for this node type.
///
protected internal override Expression Accept(ExpressionVisitor visitor) {
return visitor.VisitConditional(this);
}
///
/// Creates a new expression that is like this one, but using the
/// supplied children. If all of the children are the same, it will
/// return this expression.
///
/// The This expression if no children changed, or an expression with the updated children.
public ConditionalExpression Update(Expression test, Expression ifTrue, Expression ifFalse) {
if (test == Test && ifTrue == IfTrue && ifFalse == IfFalse) {
return this;
}
return Expression.Condition(test, ifTrue, ifFalse, Type);
}
}
internal class FullConditionalExpression : ConditionalExpression {
private readonly Expression _false;
internal FullConditionalExpression(Expression test, Expression ifTrue, Expression ifFalse)
: base(test, ifTrue) {
_false = ifFalse;
}
internal override Expression GetFalse() {
return _false;
}
}
internal class FullConditionalExpressionWithType : FullConditionalExpression {
private readonly Type _type;
internal FullConditionalExpressionWithType(Expression test, Expression ifTrue, Expression ifFalse, Type type)
: base(test, ifTrue, ifFalse) {
_type = type;
}
public sealed override Type Type {
get { return _type; }
}
}
public partial class Expression {
///
/// Creates a
/// An A
public static ConditionalExpression Condition(Expression test, Expression ifTrue, Expression ifFalse) {
RequiresCanRead(test, "test");
RequiresCanRead(ifTrue, "ifTrue");
RequiresCanRead(ifFalse, "ifFalse");
if (test.Type != typeof(bool)) {
throw Error.ArgumentMustBeBoolean();
}
if (!TypeUtils.AreEquivalent(ifTrue.Type, ifFalse.Type)) {
throw Error.ArgumentTypesMustMatch();
}
return ConditionalExpression.Make(test, ifTrue, ifFalse, ifTrue.Type);
}
///
/// Creates a
/// An A
/// This method allows explicitly unifying the result type of the conditional expression in cases where the types of
public static ConditionalExpression Condition(Expression test, Expression ifTrue, Expression ifFalse, Type type) {
RequiresCanRead(test, "test");
RequiresCanRead(ifTrue, "ifTrue");
RequiresCanRead(ifFalse, "ifFalse");
ContractUtils.RequiresNotNull(type, "type");
if (test.Type != typeof(bool)) {
throw Error.ArgumentMustBeBoolean();
}
if (type != typeof(void)) {
if (!TypeUtils.AreReferenceAssignable(type, ifTrue.Type) ||
!TypeUtils.AreReferenceAssignable(type, ifFalse.Type)) {
throw Error.ArgumentTypesMustMatch();
}
}
return ConditionalExpression.Make(test, ifTrue, ifFalse, type);
}
///
/// Creates a
/// An A
public static ConditionalExpression IfThen(Expression test, Expression ifTrue) {
return Condition(test, ifTrue, Expression.Empty(), typeof(void));
}
///
/// Creates a
/// An A
public static ConditionalExpression IfThenElse(Expression test, Expression ifTrue, Expression ifFalse) {
return Condition(test, ifTrue, ifFalse, typeof(void));
}
}
}
// File provided for Reference Use Only by Microsoft Corporation (c) 2007.
// Copyright (c) Microsoft Corporation. All rights reserved.
Link Menu
This book is available now!
Buy at Amazon US or
Buy at Amazon UK
- TextParaClient.cs
- CodeStatement.cs
- ContainerAction.cs
- BigInt.cs
- ImageMapEventArgs.cs
- LinkArea.cs
- DateTimeFormat.cs
- WebPartPersonalization.cs
- JsonQueryStringConverter.cs
- PassportPrincipal.cs
- InitializingNewItemEventArgs.cs
- Source.cs
- Missing.cs
- MsmqInputChannel.cs
- AssociationEndMember.cs
- OracleTimeSpan.cs
- TabItemAutomationPeer.cs
- _SSPISessionCache.cs
- GeometryDrawing.cs
- SystemIPInterfaceProperties.cs
- StrokeNodeData.cs
- QuadraticBezierSegment.cs
- UnsafeNativeMethods.cs
- WebDescriptionAttribute.cs
- TrustManagerMoreInformation.cs
- SystemSounds.cs
- DynamicExpression.cs
- RemotingServices.cs
- ReferenceSchema.cs
- PropertySourceInfo.cs
- GeneralTransform3D.cs
- JapaneseLunisolarCalendar.cs
- HwndTarget.cs
- grammarelement.cs
- IdleTimeoutMonitor.cs
- TrackBar.cs
- SafePointer.cs
- SymbolEqualComparer.cs
- SqlCommandBuilder.cs
- PropertyChangingEventArgs.cs
- CompressStream.cs
- TextServicesDisplayAttribute.cs
- DataGridCell.cs
- FrameworkElementFactoryMarkupObject.cs
- TextEncodedRawTextWriter.cs
- XPathParser.cs
- InvalidOleVariantTypeException.cs
- InkCanvasAutomationPeer.cs
- RecognizedWordUnit.cs
- KernelTypeValidation.cs
- DeclarationUpdate.cs
- ServerIdentity.cs
- Attribute.cs
- SystemPens.cs
- EdmFunction.cs
- VisualStyleElement.cs
- EventRouteFactory.cs
- DragDrop.cs
- CaseInsensitiveOrdinalStringComparer.cs
- DataGridColumnEventArgs.cs
- TextRangeProviderWrapper.cs
- BindingMAnagerBase.cs
- loginstatus.cs
- Matrix.cs
- FormsAuthenticationModule.cs
- CodeExporter.cs
- VisualStyleElement.cs
- ExpandCollapseProviderWrapper.cs
- Roles.cs
- DesignerEventService.cs
- ApplicationHost.cs
- XmlNodeWriter.cs
- DelegateCompletionCallbackWrapper.cs
- AbsoluteQuery.cs
- CodeThrowExceptionStatement.cs
- DbProviderFactories.cs
- CmsUtils.cs
- wmiprovider.cs
- CachedPathData.cs
- JumpList.cs
- ValueTypeFieldReference.cs
- DefaultBindingPropertyAttribute.cs
- ISCIIEncoding.cs
- BrowsableAttribute.cs
- Hyperlink.cs
- HttpProfileBase.cs
- UriTemplateVariablePathSegment.cs
- InstanceCreationEditor.cs
- dbdatarecord.cs
- SqlDataSource.cs
- TypeDescriptionProvider.cs
- XamlValidatingReader.cs
- OracleSqlParser.cs
- RegexBoyerMoore.cs
- InputLanguage.cs
- ServiceObjectContainer.cs
- MasterPage.cs
- BindingListCollectionView.cs
- ColumnHeaderConverter.cs
- Visual.cs