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
- ObjectRef.cs
- RelativeSource.cs
- SeverityFilter.cs
- DbExpressionRules.cs
- ExpandableObjectConverter.cs
- SafeRightsManagementHandle.cs
- LexicalChunk.cs
- BaseValidator.cs
- BamlResourceContent.cs
- JoinElimination.cs
- HeaderedContentControl.cs
- DataGridViewRowEventArgs.cs
- Highlights.cs
- QueueProcessor.cs
- ToolZone.cs
- XmlSchemaAll.cs
- OleDbPermission.cs
- IconBitmapDecoder.cs
- DispatcherExceptionEventArgs.cs
- XmlAutoDetectWriter.cs
- BindingNavigator.cs
- Dictionary.cs
- EventLogPermission.cs
- Switch.cs
- XmlSchemaAll.cs
- cache.cs
- XsdDateTime.cs
- ChildDocumentBlock.cs
- Selector.cs
- Icon.cs
- NullableConverter.cs
- InvalidCastException.cs
- DataProtection.cs
- PropertyPathConverter.cs
- MenuItemBinding.cs
- ChtmlPageAdapter.cs
- ZipIOLocalFileDataDescriptor.cs
- RecognizerInfo.cs
- MultiDataTrigger.cs
- SimplePropertyEntry.cs
- TreeNode.cs
- SubpageParagraph.cs
- ImageCollectionCodeDomSerializer.cs
- StringInfo.cs
- CacheMemory.cs
- TemplateInstanceAttribute.cs
- ExitEventArgs.cs
- XPathBinder.cs
- CssTextWriter.cs
- SafeTokenHandle.cs
- Drawing.cs
- elementinformation.cs
- SettingsPropertyIsReadOnlyException.cs
- InstanceCreationEditor.cs
- IPHostEntry.cs
- ToolStripLocationCancelEventArgs.cs
- XmlBaseWriter.cs
- figurelength.cs
- AggregateNode.cs
- CompositionDesigner.cs
- CatalogZone.cs
- ChangePassword.cs
- ListViewTableRow.cs
- WebRequestModulesSection.cs
- PieceDirectory.cs
- SqlCacheDependency.cs
- ChildrenQuery.cs
- ArrayElementGridEntry.cs
- GetWinFXPath.cs
- TrackingDataItemValue.cs
- StringToken.cs
- BinaryNode.cs
- BezierSegment.cs
- KeyConverter.cs
- ObjectKeyFrameCollection.cs
- NetworkCredential.cs
- DataColumn.cs
- CheckBoxFlatAdapter.cs
- sortedlist.cs
- XmlCodeExporter.cs
- ImageKeyConverter.cs
- FlagsAttribute.cs
- SamlSecurityToken.cs
- HttpAsyncResult.cs
- OdbcConnectionOpen.cs
- ImportCatalogPart.cs
- AssociationSetEnd.cs
- BrowserDefinition.cs
- DocumentOrderComparer.cs
- CreateBookmarkScope.cs
- EdmValidator.cs
- Pen.cs
- XmlSchemaSequence.cs
- PrivateFontCollection.cs
- SimpleHandlerBuildProvider.cs
- PhysicalFontFamily.cs
- ShapingEngine.cs
- PrimitiveRenderer.cs
- DataSourceExpression.cs
- WebPartZoneCollection.cs