1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
/* ****************************************************************************
*
* 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;
using System.Collections.Generic;
using System.Collections.ObjectModel;
using System.Diagnostics;
using System.Linq.Expressions;
using Microsoft.Scripting.Utils;
namespace Microsoft.Scripting.Ast {
/// <summary>
/// Wrapping a tree in this node enables jumps from finally blocks
/// It does this by generating control-flow logic in the tree
///
/// Reducing this node requires a full tree walk of its body
/// (but not nested lambdas)
///
/// WARNING: this node cannot contain jumps across blocks, because it
/// assumes any unknown jumps are jumps to an outer scope.
/// </summary>
public sealed class FinallyFlowControlExpression : Expression {
private readonly Expression _body;
private Expression _reduced;
internal FinallyFlowControlExpression(Expression body) {
_body = body;
}
public override bool CanReduce {
get { return true; }
}
public sealed override Type Type {
get { return Body.Type; }
}
public sealed override ExpressionType NodeType {
get { return ExpressionType.Extension; }
}
public Expression Body {
get { return _body; }
}
public override Expression Reduce() {
if (_reduced == null) {
_reduced = new FlowControlRewriter().Reduce(_body);
}
return _reduced;
}
protected override Expression VisitChildren(ExpressionVisitor visitor) {
Expression b = visitor.Visit(_body);
if (b == _body) {
return this;
}
return new FinallyFlowControlExpression(b);
}
}
public partial class Utils {
public static Expression FinallyFlowControl(Expression body) {
return new FinallyFlowControlExpression(body);
}
}
}
|
