Code:
/ 4.0 / 4.0 / DEVDIV_TFS / Dev10 / Releases / RTMRel / ndp / fx / src / Core / Microsoft / Scripting / Ast / GotoExpression.cs / 1305376 / GotoExpression.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.Diagnostics;
using System.Dynamic.Utils;
#if SILVERLIGHT
using System.Core;
#endif
namespace System.Linq.Expressions {
///
/// Specifies what kind of jump this
public enum GotoExpressionKind {
///
/// A
Goto,
///
/// A
Return,
///
/// A
Break,
///
/// A
Continue,
}
///
/// Represents an unconditional jump. This includes return statements, break and continue statements, and other jumps.
///
#if !SILVERLIGHT
[DebuggerTypeProxy(typeof(Expression.GotoExpressionProxy))]
#endif
public sealed class GotoExpression : Expression {
private readonly GotoExpressionKind _kind;
private readonly Expression _value;
private readonly LabelTarget _target;
private readonly Type _type;
internal GotoExpression(GotoExpressionKind kind, LabelTarget target, Expression value, Type type) {
_kind = kind;
_value = value;
_target = target;
_type = type;
}
///
/// Gets the static type of the expression that this
/// The
public sealed override Type Type {
get { return _type; }
}
///
/// Returns the node type of this
/// The
public sealed override ExpressionType NodeType {
get { return ExpressionType.Goto; }
}
///
/// The value passed to the target, or null if the target is of type
/// System.Void.
///
public Expression Value {
get { return _value; }
}
///
/// The target label where this node jumps to.
///
public LabelTarget Target {
get { return _target; }
}
///
/// The kind of the goto. For information purposes only.
///
public GotoExpressionKind Kind {
get { return _kind; }
}
///
/// Dispatches to the specific visit method for this node type.
///
protected internal override Expression Accept(ExpressionVisitor visitor) {
return visitor.VisitGoto(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 GotoExpression Update(LabelTarget target, Expression value) {
if (target == Target && value == Value) {
return this;
}
return Expression.MakeGoto(Kind, target, value, Type);
}
}
public partial class Expression {
///
/// Creates a
/// The
/// A
public static GotoExpression Break(LabelTarget target) {
return MakeGoto(GotoExpressionKind.Break, target, null, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Break(LabelTarget target, Expression value) {
return MakeGoto(GotoExpressionKind.Break, target, value, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Break(LabelTarget target, Type type) {
return MakeGoto(GotoExpressionKind.Break, target, null, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression Break(LabelTarget target, Expression value, Type type) {
return MakeGoto(GotoExpressionKind.Break, target, value, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression Continue(LabelTarget target) {
return MakeGoto(GotoExpressionKind.Continue, target, null, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Continue(LabelTarget target, Type type) {
return MakeGoto(GotoExpressionKind.Continue, target, null, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression Return(LabelTarget target) {
return MakeGoto(GotoExpressionKind.Return, target, null, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Return(LabelTarget target, Type type) {
return MakeGoto(GotoExpressionKind.Return, target, null, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression Return(LabelTarget target, Expression value) {
return MakeGoto(GotoExpressionKind.Return, target, value, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Return(LabelTarget target, Expression value, Type type) {
return MakeGoto(GotoExpressionKind.Return, target, value, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression Goto(LabelTarget target) {
return MakeGoto(GotoExpressionKind.Goto, target, null, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Goto(LabelTarget target, Type type) {
return MakeGoto(GotoExpressionKind.Goto, target, null, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression Goto(LabelTarget target, Expression value) {
return MakeGoto(GotoExpressionKind.Goto, target, value, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Goto(LabelTarget target, Expression value, Type type) {
return MakeGoto(GotoExpressionKind.Goto, target, value, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression MakeGoto(GotoExpressionKind kind, LabelTarget target, Expression value, Type type) {
ValidateGoto(target, ref value, "target", "value");
return new GotoExpression(kind, target, value, type);
}
private static void ValidateGoto(LabelTarget target, ref Expression value, string targetParameter, string valueParameter) {
ContractUtils.RequiresNotNull(target, targetParameter);
if (value == null) {
if (target.Type != typeof(void)) throw Error.LabelMustBeVoidOrHaveExpression();
} else {
ValidateGotoType(target.Type, ref value, valueParameter);
}
}
// Standard argument validation, taken from ValidateArgumentTypes
private static void ValidateGotoType(Type expectedType, ref Expression value, string paramName) {
RequiresCanRead(value, paramName);
if (expectedType != typeof(void)) {
if (!TypeUtils.AreReferenceAssignable(expectedType, value.Type)) {
// C# autoquotes return values, so we'll do that here
if (TypeUtils.IsSameOrSubclass(typeof(LambdaExpression), expectedType) &&
expectedType.IsAssignableFrom(value.GetType())) {
value = Expression.Quote(value);
}
throw Error.ExpressionTypeDoesNotMatchLabel(value.Type, expectedType);
}
}
}
}
}
// 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.Diagnostics;
using System.Dynamic.Utils;
#if SILVERLIGHT
using System.Core;
#endif
namespace System.Linq.Expressions {
///
/// Specifies what kind of jump this
public enum GotoExpressionKind {
///
/// A
Goto,
///
/// A
Return,
///
/// A
Break,
///
/// A
Continue,
}
///
/// Represents an unconditional jump. This includes return statements, break and continue statements, and other jumps.
///
#if !SILVERLIGHT
[DebuggerTypeProxy(typeof(Expression.GotoExpressionProxy))]
#endif
public sealed class GotoExpression : Expression {
private readonly GotoExpressionKind _kind;
private readonly Expression _value;
private readonly LabelTarget _target;
private readonly Type _type;
internal GotoExpression(GotoExpressionKind kind, LabelTarget target, Expression value, Type type) {
_kind = kind;
_value = value;
_target = target;
_type = type;
}
///
/// Gets the static type of the expression that this
/// The
public sealed override Type Type {
get { return _type; }
}
///
/// Returns the node type of this
/// The
public sealed override ExpressionType NodeType {
get { return ExpressionType.Goto; }
}
///
/// The value passed to the target, or null if the target is of type
/// System.Void.
///
public Expression Value {
get { return _value; }
}
///
/// The target label where this node jumps to.
///
public LabelTarget Target {
get { return _target; }
}
///
/// The kind of the goto. For information purposes only.
///
public GotoExpressionKind Kind {
get { return _kind; }
}
///
/// Dispatches to the specific visit method for this node type.
///
protected internal override Expression Accept(ExpressionVisitor visitor) {
return visitor.VisitGoto(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 GotoExpression Update(LabelTarget target, Expression value) {
if (target == Target && value == Value) {
return this;
}
return Expression.MakeGoto(Kind, target, value, Type);
}
}
public partial class Expression {
///
/// Creates a
/// The
/// A
public static GotoExpression Break(LabelTarget target) {
return MakeGoto(GotoExpressionKind.Break, target, null, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Break(LabelTarget target, Expression value) {
return MakeGoto(GotoExpressionKind.Break, target, value, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Break(LabelTarget target, Type type) {
return MakeGoto(GotoExpressionKind.Break, target, null, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression Break(LabelTarget target, Expression value, Type type) {
return MakeGoto(GotoExpressionKind.Break, target, value, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression Continue(LabelTarget target) {
return MakeGoto(GotoExpressionKind.Continue, target, null, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Continue(LabelTarget target, Type type) {
return MakeGoto(GotoExpressionKind.Continue, target, null, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression Return(LabelTarget target) {
return MakeGoto(GotoExpressionKind.Return, target, null, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Return(LabelTarget target, Type type) {
return MakeGoto(GotoExpressionKind.Return, target, null, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression Return(LabelTarget target, Expression value) {
return MakeGoto(GotoExpressionKind.Return, target, value, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Return(LabelTarget target, Expression value, Type type) {
return MakeGoto(GotoExpressionKind.Return, target, value, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression Goto(LabelTarget target) {
return MakeGoto(GotoExpressionKind.Goto, target, null, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Goto(LabelTarget target, Type type) {
return MakeGoto(GotoExpressionKind.Goto, target, null, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression Goto(LabelTarget target, Expression value) {
return MakeGoto(GotoExpressionKind.Goto, target, value, typeof(void));
}
///
/// Creates a
/// The
/// A
public static GotoExpression Goto(LabelTarget target, Expression value, Type type) {
return MakeGoto(GotoExpressionKind.Goto, target, value, type);
}
///
/// Creates a
/// The
/// A
public static GotoExpression MakeGoto(GotoExpressionKind kind, LabelTarget target, Expression value, Type type) {
ValidateGoto(target, ref value, "target", "value");
return new GotoExpression(kind, target, value, type);
}
private static void ValidateGoto(LabelTarget target, ref Expression value, string targetParameter, string valueParameter) {
ContractUtils.RequiresNotNull(target, targetParameter);
if (value == null) {
if (target.Type != typeof(void)) throw Error.LabelMustBeVoidOrHaveExpression();
} else {
ValidateGotoType(target.Type, ref value, valueParameter);
}
}
// Standard argument validation, taken from ValidateArgumentTypes
private static void ValidateGotoType(Type expectedType, ref Expression value, string paramName) {
RequiresCanRead(value, paramName);
if (expectedType != typeof(void)) {
if (!TypeUtils.AreReferenceAssignable(expectedType, value.Type)) {
// C# autoquotes return values, so we'll do that here
if (TypeUtils.IsSameOrSubclass(typeof(LambdaExpression), expectedType) &&
expectedType.IsAssignableFrom(value.GetType())) {
value = Expression.Quote(value);
}
throw Error.ExpressionTypeDoesNotMatchLabel(value.Type, expectedType);
}
}
}
}
}
// 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
- SqlTriggerAttribute.cs
- TableRow.cs
- LinkConverter.cs
- ApplicationGesture.cs
- XamlLoadErrorInfo.cs
- DataGridColumnHeadersPresenter.cs
- Rule.cs
- LinearGradientBrush.cs
- KeyValueConfigurationElement.cs
- CategoryAttribute.cs
- QilInvokeLateBound.cs
- CallSiteBinder.cs
- QuaternionRotation3D.cs
- SerializationEventsCache.cs
- CryptoProvider.cs
- GeneralEndpointIdentity.cs
- XmlElementList.cs
- Inflater.cs
- InlineCollection.cs
- FileDetails.cs
- Html32TextWriter.cs
- DataGridViewComboBoxColumn.cs
- ActivityPreviewDesigner.cs
- OleDbConnectionPoolGroupProviderInfo.cs
- LinqDataSource.cs
- WindowsContainer.cs
- NavigationPropertyEmitter.cs
- ThicknessAnimationUsingKeyFrames.cs
- ExpandCollapsePatternIdentifiers.cs
- TextEditorParagraphs.cs
- EventProvider.cs
- LocatorPart.cs
- ExceptionRoutedEventArgs.cs
- SafeCryptContextHandle.cs
- ListViewGroup.cs
- FontStyleConverter.cs
- Knowncolors.cs
- Utils.cs
- ZipIOEndOfCentralDirectoryBlock.cs
- SynchronizationContext.cs
- XmlEntity.cs
- DeviceSpecificChoice.cs
- WebPartCatalogCloseVerb.cs
- NeutralResourcesLanguageAttribute.cs
- Calendar.cs
- XmlIlVisitor.cs
- ServiceDebugBehavior.cs
- RSAPKCS1SignatureDeformatter.cs
- BitmapPalette.cs
- TemplateContent.cs
- DoubleAverageAggregationOperator.cs
- ColumnResult.cs
- TabPageDesigner.cs
- IPipelineRuntime.cs
- CompModSwitches.cs
- VirtualPathProvider.cs
- OutputCache.cs
- JsonSerializer.cs
- MetadataWorkspace.cs
- DataListCommandEventArgs.cs
- CompiledXpathExpr.cs
- URL.cs
- Icon.cs
- TagPrefixAttribute.cs
- Types.cs
- MergablePropertyAttribute.cs
- ParallelTimeline.cs
- Bits.cs
- ValidateNames.cs
- GcHandle.cs
- RegistrationServices.cs
- EventTrigger.cs
- ChangeNode.cs
- precedingquery.cs
- RichTextBox.cs
- NestPullup.cs
- Misc.cs
- JournalNavigationScope.cs
- WebPartEditorApplyVerb.cs
- WebControl.cs
- SpecularMaterial.cs
- ProviderConnectionPoint.cs
- RawStylusActions.cs
- ForwardPositionQuery.cs
- Console.cs
- ItemContainerProviderWrapper.cs
- EncoderNLS.cs
- WindowsToolbarItemAsMenuItem.cs
- RijndaelCryptoServiceProvider.cs
- HttpModulesSection.cs
- ELinqQueryState.cs
- _CacheStreams.cs
- Empty.cs
- WorkItem.cs
- OdbcError.cs
- ZipIOCentralDirectoryBlock.cs
- WorkItem.cs
- GlobalId.cs
- TextParentUndoUnit.cs
- EventLogPermissionEntryCollection.cs