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
- TagPrefixCollection.cs
- SynchronizationValidator.cs
- BigInt.cs
- mda.cs
- InternalResources.cs
- BrowserCapabilitiesFactoryBase.cs
- Multiply.cs
- ToolStripPanelRow.cs
- CellRelation.cs
- ResourceSet.cs
- FilteredXmlReader.cs
- WindowsGraphicsCacheManager.cs
- XmlMemberMapping.cs
- Types.cs
- PipelineDeploymentState.cs
- CheckBoxList.cs
- BamlReader.cs
- DetailsViewDeletedEventArgs.cs
- ThousandthOfEmRealDoubles.cs
- ListBox.cs
- ServiceSecurityContext.cs
- nulltextnavigator.cs
- GraphicsPath.cs
- AnnotationDocumentPaginator.cs
- OdbcException.cs
- UInt32.cs
- SymLanguageType.cs
- XmlSchemaAttributeGroup.cs
- Predicate.cs
- BindingValueChangedEventArgs.cs
- MasterPageCodeDomTreeGenerator.cs
- Rect3D.cs
- XmlDocumentFragment.cs
- HttpRawResponse.cs
- StateElementCollection.cs
- ChangePassword.cs
- MetadataArtifactLoaderCompositeFile.cs
- OdbcReferenceCollection.cs
- BitmapMetadataBlob.cs
- ListViewUpdateEventArgs.cs
- HttpRequestTraceRecord.cs
- WindowsStatic.cs
- SafeCryptContextHandle.cs
- ReferencedAssembly.cs
- ObjectRef.cs
- DiscardableAttribute.cs
- MetadataSerializer.cs
- InvariantComparer.cs
- SafeFileMappingHandle.cs
- mediaclock.cs
- clipboard.cs
- ProcessStartInfo.cs
- InkCanvasInnerCanvas.cs
- WebServiceErrorEvent.cs
- BaseTemplateBuildProvider.cs
- FigureHelper.cs
- precedingsibling.cs
- ComplexObject.cs
- HttpCachePolicy.cs
- BindingGraph.cs
- OptionalMessageQuery.cs
- SafeEventLogWriteHandle.cs
- GatewayIPAddressInformationCollection.cs
- UserPersonalizationStateInfo.cs
- HttpCacheVaryByContentEncodings.cs
- TransmissionStrategy.cs
- VBCodeProvider.cs
- CookieParameter.cs
- Figure.cs
- ProvidePropertyAttribute.cs
- WebException.cs
- FtpRequestCacheValidator.cs
- BamlRecords.cs
- ProcessHostServerConfig.cs
- httpapplicationstate.cs
- ASCIIEncoding.cs
- DiscoveryExceptionDictionary.cs
- WindowsButton.cs
- NativeMethods.cs
- AttachedPropertyBrowsableForTypeAttribute.cs
- ValidationRuleCollection.cs
- QueryOptionExpression.cs
- Claim.cs
- ToolStripContentPanelRenderEventArgs.cs
- PeerMessageDispatcher.cs
- ListViewInsertEventArgs.cs
- PropertyEmitterBase.cs
- TimelineClockCollection.cs
- WMIInterop.cs
- LocalBuilder.cs
- FramingFormat.cs
- PublisherMembershipCondition.cs
- NestedContainer.cs
- BrowserInteropHelper.cs
- MergePropertyDescriptor.cs
- InvokeHandlers.cs
- FullTextLine.cs
- ConcurrentStack.cs
- IDictionary.cs
- FormatSettings.cs