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
- OutputScopeManager.cs
- Predicate.cs
- EntityDataSourceStatementEditorForm.cs
- DataKeyCollection.cs
- Drawing.cs
- StylusLogic.cs
- BoundingRectTracker.cs
- FixedStringLookup.cs
- BindStream.cs
- WebFormDesignerActionService.cs
- WebPartsSection.cs
- StringPropertyBuilder.cs
- LocalValueEnumerator.cs
- ProcessModule.cs
- ChildrenQuery.cs
- Msec.cs
- ApplicationFileParser.cs
- JulianCalendar.cs
- TextLineResult.cs
- MarkedHighlightComponent.cs
- FormsAuthenticationConfiguration.cs
- EventProviderClassic.cs
- CodeStatementCollection.cs
- ObjectDataSourceMethodEventArgs.cs
- BaseTemplateParser.cs
- AppearanceEditorPart.cs
- HelpInfo.cs
- WebPartConnection.cs
- HttpHandlerActionCollection.cs
- NGCSerializationManager.cs
- CodeCatchClause.cs
- MenuItemStyleCollection.cs
- SimpleBitVector32.cs
- SingleSelectRootGridEntry.cs
- XmlQuerySequence.cs
- SqlCommandSet.cs
- XmlLinkedNode.cs
- SoapCommonClasses.cs
- FontDialog.cs
- StylusButtonEventArgs.cs
- ResXResourceReader.cs
- SingleAnimationUsingKeyFrames.cs
- DataBindingExpressionBuilder.cs
- StreamInfo.cs
- Semaphore.cs
- WorkflowMarkupSerializationProvider.cs
- Label.cs
- OleDbError.cs
- SafeFileMappingHandle.cs
- PerformanceCounterTraceRecord.cs
- InheritablePropertyChangeInfo.cs
- MediaSystem.cs
- PropertyCollection.cs
- HttpCookiesSection.cs
- StoreAnnotationsMap.cs
- SweepDirectionValidation.cs
- IssuedTokensHeader.cs
- FixedSOMLineCollection.cs
- NameNode.cs
- IsolatedStorageFilePermission.cs
- DataGrid.cs
- HandlerFactoryCache.cs
- connectionpool.cs
- DataControlCommands.cs
- OleDbCommandBuilder.cs
- PostBackOptions.cs
- SpellerError.cs
- EndpointNameMessageFilter.cs
- EdmMember.cs
- TrackingMemoryStream.cs
- XDeferredAxisSource.cs
- ExclusiveHandle.cs
- CacheMemory.cs
- SharedHttpTransportManager.cs
- List.cs
- StringValidatorAttribute.cs
- FormsAuthenticationCredentials.cs
- LocalizationComments.cs
- DataBinder.cs
- ObjRef.cs
- ThousandthOfEmRealDoubles.cs
- DataGridViewSelectedRowCollection.cs
- DiscoveryServerProtocol.cs
- _emptywebproxy.cs
- PropertyValueUIItem.cs
- HashCodeCombiner.cs
- ClassValidator.cs
- TokenBasedSetEnumerator.cs
- SafeFileMappingHandle.cs
- Setter.cs
- BinaryUtilClasses.cs
- ClientSettingsStore.cs
- Comparer.cs
- dbenumerator.cs
- GroupBox.cs
- SynchronizedDispatch.cs
- HandleRef.cs
- CodeRemoveEventStatement.cs
- EmbeddedMailObject.cs
- NameNode.cs