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
- HttpRuntimeSection.cs
- HtmlTextArea.cs
- InstanceStore.cs
- TextMarkerSource.cs
- SubstitutionList.cs
- DbProviderServices.cs
- TdsParserStaticMethods.cs
- IsolatedStorageFilePermission.cs
- Set.cs
- ToolStripTextBox.cs
- connectionpool.cs
- SafeRightsManagementPubHandle.cs
- BrowserCapabilitiesFactoryBase.cs
- TypeUtil.cs
- SchemaImporterExtensionElementCollection.cs
- GetWinFXPath.cs
- HttpCachePolicyElement.cs
- ReferentialConstraintRoleElement.cs
- CatalogZoneBase.cs
- XmlChildNodes.cs
- MediaPlayer.cs
- Exception.cs
- DetailsViewUpdatedEventArgs.cs
- TaskCanceledException.cs
- ObjectItemNoOpAssemblyLoader.cs
- mansign.cs
- DataGridViewTextBoxEditingControl.cs
- DataRowCollection.cs
- DataGridRow.cs
- BindingGraph.cs
- InteropEnvironment.cs
- ExceptionHelpers.cs
- _LazyAsyncResult.cs
- ToolStripArrowRenderEventArgs.cs
- controlskin.cs
- ThreadStateException.cs
- FieldAccessException.cs
- LambdaValue.cs
- DataGridRow.cs
- ProjectionRewriter.cs
- TreeViewAutomationPeer.cs
- RelatedEnd.cs
- DSASignatureDeformatter.cs
- SoapFormatterSinks.cs
- SynchronizingStream.cs
- XamlContextStack.cs
- BindableTemplateBuilder.cs
- Int32Animation.cs
- DataGridViewTopLeftHeaderCell.cs
- FontStyle.cs
- DependencyPropertyConverter.cs
- SqlBuilder.cs
- XmlMessageFormatter.cs
- SQLDecimal.cs
- BasicCommandTreeVisitor.cs
- CollectionTypeElement.cs
- ConnectionProviderAttribute.cs
- PropertyGridView.cs
- TextAdaptor.cs
- ElementUtil.cs
- TypeDescriptor.cs
- SystemFonts.cs
- HTMLTextWriter.cs
- DependencyProperty.cs
- SimpleRecyclingCache.cs
- DataViewManager.cs
- PackWebRequest.cs
- DateTimeValueSerializer.cs
- SmtpReplyReaderFactory.cs
- SelectionProcessor.cs
- Int32Animation.cs
- OleDbConnectionPoolGroupProviderInfo.cs
- ImpersonationContext.cs
- WebExceptionStatus.cs
- Dynamic.cs
- HighContrastHelper.cs
- AsyncOperationContext.cs
- DetailsViewPageEventArgs.cs
- InternalControlCollection.cs
- CookieHandler.cs
- SqlAliaser.cs
- SqlCommandBuilder.cs
- RowBinding.cs
- InlinedAggregationOperatorEnumerator.cs
- EventsTab.cs
- ManipulationDelta.cs
- DataControlImageButton.cs
- OperationResponse.cs
- filewebrequest.cs
- AsnEncodedData.cs
- XsltOutput.cs
- RequestCacheManager.cs
- CatalogUtil.cs
- Effect.cs
- ProgressChangedEventArgs.cs
- SqlDataSourceCustomCommandPanel.cs
- PeerContact.cs
- Comparer.cs
- ThemeInfoAttribute.cs
- SystemIPv4InterfaceProperties.cs