Skip to content

R
roslyn

lwm1986 / roslyn
与 Fork 源项目一致

从无法访问的项目Fork

通知 1
Star 0
Fork 0
R
roslyn

体验新版 GitCode，发现更多精彩内容 >>

提交 e23a577a 编写于 作者: M Manish Vasani
浏览文件
操作

Address some more review feedback

上级 0bd479d6
隐藏空白更改
内联 并排
Showing with 125 addition and 192 deletion
src/Compilers/CSharp/Test/Semantic/Semantics/DynamicTests.cs
浏览文件 @ e23a577a
......@@ -1173,65 +1173,25 @@ static class S { }
class C
{
static unsafe void M()
/*<bind>*/{
{
dynamic d1 = 123;
object x = d1.N<int>;
d1.N<int*>();
d1.N<System.TypedReference>();
d1.N<S>(); // The dev11 compiler does not catch this one.
}/*</bind>*/
/*<bind>*/d1.N<S>();/*</bind>*/ // The dev11 compiler does not catch this one.
}
static void Main() { }
}
";
string expectedOperationTree = @"
IBlockStatement (5 statements, 2 locals) (OperationKind.BlockStatement, IsInvalid) (Syntax: '{ ... }')
Locals: Local_1: dynamic d1
Local_2: System.Object x
IVariableDeclarationStatement (1 declarations) (OperationKind.VariableDeclarationStatement) (Syntax: 'dynamic d1 = 123;')
IVariableDeclaration (1 variables) (OperationKind.VariableDeclaration) (Syntax: 'dynamic d1 = 123;')
Variables: Local_1: dynamic d1
Initializer: IConversionExpression (Implicit, TryCast: False, Unchecked) (OperationKind.ConversionExpression, Type: dynamic) (Syntax: '123')
Conversion: CommonConversion (Exists: True, IsIdentity: False, IsNumeric: False, IsReference: False, IsUserDefined: False) (MethodSymbol: null)
Operand: ILiteralExpression (OperationKind.LiteralExpression, Type: System.Int32, Constant: 123) (Syntax: '123')
IVariableDeclarationStatement (1 declarations) (OperationKind.VariableDeclarationStatement, IsInvalid) (Syntax: 'object x = d1.N<int>;')
IVariableDeclaration (1 variables) (OperationKind.VariableDeclaration, IsInvalid) (Syntax: 'object x = d1.N<int>;')
Variables: Local_1: System.Object x
Initializer: IConversionExpression (Implicit, TryCast: False, Unchecked) (OperationKind.ConversionExpression, Type: System.Object, IsInvalid) (Syntax: 'd1.N<int>')
Conversion: CommonConversion (Exists: True, IsIdentity: True, IsNumeric: False, IsReference: False, IsUserDefined: False) (MethodSymbol: null)
Operand: IDynamicMemberReferenceExpression (Member Name: ""N"", Containing Type: null) (OperationKind.DynamicMemberReferenceExpression, Type: dynamic, IsInvalid) (Syntax: 'd1.N<int>')
Type Arguments(1):
Symbol: System.Int32
Instance Receiver: ILocalReferenceExpression: d1 (OperationKind.LocalReferenceExpression, Type: dynamic) (Syntax: 'd1')
IExpressionStatement (OperationKind.ExpressionStatement, IsInvalid) (Syntax: 'd1.N<int*>();')
Expression: IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: dynamic, IsInvalid) (Syntax: 'd1.N<int*>()')
Expression: IDynamicMemberReferenceExpression (Member Name: ""N"", Containing Type: null) (OperationKind.DynamicMemberReferenceExpression, Type: dynamic, IsInvalid) (Syntax: 'd1.N<int*>')
Type Arguments(1):
Symbol: System.Int32*
Instance Receiver: ILocalReferenceExpression: d1 (OperationKind.LocalReferenceExpression, Type: dynamic) (Syntax: 'd1')
ApplicableSymbols(0)
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
IExpressionStatement (OperationKind.ExpressionStatement, IsInvalid) (Syntax: 'd1.N<System ... ference>();')
Expression: IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: dynamic, IsInvalid) (Syntax: 'd1.N<System ... eference>()')
Expression: IDynamicMemberReferenceExpression (Member Name: ""N"", Containing Type: null) (OperationKind.DynamicMemberReferenceExpression, Type: dynamic, IsInvalid) (Syntax: 'd1.N<System ... dReference>')
Type Arguments(1):
Symbol: System.TypedReference
Instance Receiver: ILocalReferenceExpression: d1 (OperationKind.LocalReferenceExpression, Type: dynamic) (Syntax: 'd1')
ApplicableSymbols(0)
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
IExpressionStatement (OperationKind.ExpressionStatement) (Syntax: 'd1.N<S>();')
Expression: IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: dynamic) (Syntax: 'd1.N<S>()')
Expression: IDynamicMemberReferenceExpression (Member Name: ""N"", Containing Type: null) (OperationKind.DynamicMemberReferenceExpression, Type: dynamic) (Syntax: 'd1.N<S>')
Type Arguments(1):
Symbol: S
Instance Receiver: ILocalReferenceExpression: d1 (OperationKind.LocalReferenceExpression, Type: dynamic) (Syntax: 'd1')
ApplicableSymbols(0)
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: dynamic) (Syntax: 'd1.N<S>()')
Expression: IDynamicMemberReferenceExpression (Member Name: ""N"", Containing Type: null) (OperationKind.DynamicMemberReferenceExpression, Type: dynamic) (Syntax: 'd1.N<S>')
Type Arguments(1):
Symbol: S
Instance Receiver: ILocalReferenceExpression: d1 (OperationKind.LocalReferenceExpression, Type: dynamic) (Syntax: 'd1')
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
";
var expectedDiagnostics = new DiagnosticDescription[] {
// CS0227: Unsafe code may only appear if compiling with /unsafe
......@@ -1248,7 +1208,7 @@ static unsafe void M()
Diagnostic(ErrorCode.ERR_BadTypeArgument, "System.TypedReference").WithArguments("System.TypedReference").WithLocation(10, 14)
};
VerifyOperationTreeAndDiagnosticsForTest<BlockSyntax>(source, expectedOperationTree, expectedDiagnostics);
VerifyOperationTreeAndDiagnosticsForTest<InvocationExpressionSyntax>(source, expectedOperationTree, expectedDiagnostics);
}
[Fact]
......@@ -1277,73 +1237,26 @@ public void TestDynamicCallErrors()
class C
{
static void M(dynamic d)
/*<bind>*/{
{
int z;
d.Goo(__arglist(123, 456));
d.Goo(x: 123, y: 456, 789);
d.Goo(ref z);
d.Goo(System.Console.WriteLine());
}/*</bind>*/
/*<bind>*/d.Goo(System.Console.WriteLine());/*</bind>*/
}
}
";
string expectedOperationTree = @"
IBlockStatement (5 statements, 1 locals) (OperationKind.BlockStatement, IsInvalid) (Syntax: '{ ... }')
Locals: Local_1: System.Int32 z
IVariableDeclarationStatement (1 declarations) (OperationKind.VariableDeclarationStatement) (Syntax: 'int z;')
IVariableDeclaration (1 variables) (OperationKind.VariableDeclaration) (Syntax: 'int z;')
Variables: Local_1: System.Int32 z
Initializer: null
IExpressionStatement (OperationKind.ExpressionStatement, IsInvalid) (Syntax: 'd.Goo(__arg ... 123, 456));')
Expression: IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: dynamic, IsInvalid) (Syntax: 'd.Goo(__arg ... (123, 456))')
Expression: IDynamicMemberReferenceExpression (Member Name: ""Goo"", Containing Type: null) (OperationKind.DynamicMemberReferenceExpression, Type: dynamic) (Syntax: 'd.Goo')
Type Arguments(0)
Instance Receiver: IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: dynamic) (Syntax: 'd')
ApplicableSymbols(0)
Arguments(1):
IOperation: (OperationKind.None, IsInvalid) (Syntax: '__arglist(123, 456)')
Children(2):
ILiteralExpression (OperationKind.LiteralExpression, Type: System.Int32, Constant: 123, IsInvalid) (Syntax: '123')
ILiteralExpression (OperationKind.LiteralExpression, Type: System.Int32, Constant: 456, IsInvalid) (Syntax: '456')
ArgumentNames(0)
ArgumentRefKinds(0)
IExpressionStatement (OperationKind.ExpressionStatement, IsInvalid) (Syntax: 'd.Goo(x: 12 ... 456, 789);')
Expression: IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: dynamic, IsInvalid) (Syntax: 'd.Goo(x: 12 ... : 456, 789)')
Expression: IDynamicMemberReferenceExpression (Member Name: ""Goo"", Containing Type: null) (OperationKind.DynamicMemberReferenceExpression, Type: dynamic) (Syntax: 'd.Goo')
Type Arguments(0)
Instance Receiver: IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: dynamic) (Syntax: 'd')
ApplicableSymbols(0)
Arguments(3):
ILiteralExpression (OperationKind.LiteralExpression, Type: System.Int32, Constant: 123) (Syntax: '123')
ILiteralExpression (OperationKind.LiteralExpression, Type: System.Int32, Constant: 456) (Syntax: '456')
ILiteralExpression (OperationKind.LiteralExpression, Type: System.Int32, Constant: 789, IsInvalid) (Syntax: '789')
ArgumentNames(3):
""x""
""y""
""null""
ArgumentRefKinds(0)
IExpressionStatement (OperationKind.ExpressionStatement, IsInvalid) (Syntax: 'd.Goo(ref z);')
Expression: IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: dynamic, IsInvalid) (Syntax: 'd.Goo(ref z)')
Expression: IDynamicMemberReferenceExpression (Member Name: ""Goo"", Containing Type: null) (OperationKind.DynamicMemberReferenceExpression, Type: dynamic) (Syntax: 'd.Goo')
Type Arguments(0)
Instance Receiver: IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: dynamic) (Syntax: 'd')
ApplicableSymbols(0)
Arguments(1):
ILocalReferenceExpression: z (OperationKind.LocalReferenceExpression, Type: System.Int32, IsInvalid) (Syntax: 'z')
ArgumentNames(0)
ArgumentRefKinds(1):
Ref
IExpressionStatement (OperationKind.ExpressionStatement, IsInvalid) (Syntax: 'd.Goo(Syste ... iteLine());')
Expression: IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: dynamic, IsInvalid) (Syntax: 'd.Goo(Syste ... riteLine())')
Expression: IDynamicMemberReferenceExpression (Member Name: ""Goo"", Containing Type: null) (OperationKind.DynamicMemberReferenceExpression, Type: dynamic) (Syntax: 'd.Goo')
Type Arguments(0)
Instance Receiver: IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: dynamic) (Syntax: 'd')
ApplicableSymbols(0)
Arguments(1):
IInvocationExpression (void System.Console.WriteLine()) (OperationKind.InvocationExpression, Type: System.Void, IsInvalid) (Syntax: 'System.Cons ... WriteLine()')
Instance Receiver: null
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: dynamic, IsInvalid) (Syntax: 'd.Goo(Syste ... riteLine())')
Expression: IDynamicMemberReferenceExpression (Member Name: ""Goo"", Containing Type: null) (OperationKind.DynamicMemberReferenceExpression, Type: dynamic) (Syntax: 'd.Goo')
Type Arguments(0)
Instance Receiver: IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: dynamic) (Syntax: 'd')
Arguments(1):
IInvocationExpression (void System.Console.WriteLine()) (OperationKind.InvocationExpression, Type: System.Void, IsInvalid) (Syntax: 'System.Cons ... WriteLine()')
Instance Receiver: null
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
";
var expectedDiagnostics = new DiagnosticDescription[] {
// CS1978: Cannot use an expression of type '__arglist' as an argument to a dynamically dispatched operation.
......@@ -1360,7 +1273,7 @@ Type Arguments(0)
Diagnostic(ErrorCode.ERR_UseDefViolation, "z").WithArguments("z").WithLocation(9, 19)
};
VerifyOperationTreeAndDiagnosticsForTest<BlockSyntax>(source, expectedOperationTree, expectedDiagnostics);
VerifyOperationTreeAndDiagnosticsForTest<InvocationExpressionSyntax>(source, expectedOperationTree, expectedDiagnostics);
}
[Fact]
......@@ -1453,52 +1366,23 @@ class A
public class B
{
public void Goo()
/*<bind>*/{
{
dynamic d = null;
F(d);
P(d);
M(d);
}/*</bind>*/
/*<bind>*/M(d);/*</bind>*/
}
}
}
";
string expectedOperationTree = @"
IBlockStatement (4 statements, 1 locals) (OperationKind.BlockStatement, IsInvalid) (Syntax: '{ ... }')
Locals: Local_1: dynamic d
IVariableDeclarationStatement (1 declarations) (OperationKind.VariableDeclarationStatement) (Syntax: 'dynamic d = null;')
IVariableDeclaration (1 variables) (OperationKind.VariableDeclaration) (Syntax: 'dynamic d = null;')
Variables: Local_1: dynamic d
Initializer: IConversionExpression (Implicit, TryCast: False, Unchecked) (OperationKind.ConversionExpression, Type: dynamic, Constant: null) (Syntax: 'null')
Conversion: CommonConversion (Exists: True, IsIdentity: False, IsNumeric: False, IsReference: True, IsUserDefined: False) (MethodSymbol: null)
Operand: ILiteralExpression (OperationKind.LiteralExpression, Type: null, Constant: null) (Syntax: 'null')
IExpressionStatement (OperationKind.ExpressionStatement, IsInvalid) (Syntax: 'F(d);')
Expression: IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: dynamic, IsInvalid) (Syntax: 'F(d)')
Expression: IFieldReferenceExpression: System.Action<System.Object> A.F (Static) (OperationKind.FieldReferenceExpression, Type: System.Action<System.Object>, IsInvalid) (Syntax: 'F')
Instance Receiver: null
ApplicableSymbols(1):
Symbol: void System.Action<System.Object>.Invoke(System.Object obj)
Arguments(1):
ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: dynamic) (Syntax: 'd')
ArgumentNames(0)
ArgumentRefKinds(0)
IExpressionStatement (OperationKind.ExpressionStatement, IsInvalid) (Syntax: 'P(d);')
Expression: IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: dynamic, IsInvalid) (Syntax: 'P(d)')
Expression: IPropertyReferenceExpression: System.Action<System.Object> A.P { get; set; } (Static) (OperationKind.PropertyReferenceExpression, Type: System.Action<System.Object>, IsInvalid) (Syntax: 'P')
Instance Receiver: null
ApplicableSymbols(1):
Symbol: void System.Action<System.Object>.Invoke(System.Object obj)
Arguments(1):
ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: dynamic) (Syntax: 'd')
ArgumentNames(0)
ArgumentRefKinds(0)
IExpressionStatement (OperationKind.ExpressionStatement, IsInvalid) (Syntax: 'M(d);')
Expression: IInvocationExpression ( ? A.B.()) (OperationKind.InvocationExpression, Type: ?, IsInvalid) (Syntax: 'M(d)')
Instance Receiver: IOperation: (OperationKind.None, IsInvalid) (Syntax: 'M')
Arguments(1):
IArgument (ArgumentKind.Explicit, Matching Parameter: null) (OperationKind.Argument, IsInvalid) (Syntax: 'd')
ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: dynamic, IsInvalid) (Syntax: 'd')
InConversion: null
OutConversion: null
IInvocationExpression ( ? A.B.()) (OperationKind.InvocationExpression, Type: ?, IsInvalid) (Syntax: 'M(d)')
Instance Receiver: IOperation: (OperationKind.None, IsInvalid) (Syntax: 'M')
Arguments(1):
IArgument (ArgumentKind.Explicit, Matching Parameter: null) (OperationKind.Argument, IsInvalid) (Syntax: 'd')
ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: dynamic, IsInvalid) (Syntax: 'd')
InConversion: null
OutConversion: null
";
var expectedDiagnostics = new DiagnosticDescription[] {
// CS0120: An object reference is required for the non-static field, method, or property 'A.F'
......@@ -1515,7 +1399,7 @@ public void Goo()
Diagnostic(ErrorCode.WRN_UnassignedInternalField, "F").WithArguments("A.F", "null").WithLocation(6, 27)
};
VerifyOperationTreeAndDiagnosticsForTest<BlockSyntax>(source, expectedOperationTree, expectedDiagnostics);
VerifyOperationTreeAndDiagnosticsForTest<InvocationExpressionSyntax>(source, expectedOperationTree, expectedDiagnostics);
}
#endregion
......
src/Compilers/VisualBasic/Test/Semantic/IOperation/IOperationTests_IDynamicInvocationExpression.vb
浏览文件 @ e23a577a
' Copyright (c) Microsoft. All Rights Reserved. Licensed under the Apache License, Version 2.0. See License.txt in the project root for license information.
' Copyright (c) Microsoft. All Rights Reserved. Licensed under the Apache License, Version 2.0. See License.txt in the project root for license information.
Imports Microsoft.CodeAnalysis.VisualBasic.Syntax
Imports Microsoft.CodeAnalysis.Test.Utilities
......@@ -27,7 +27,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Arguments(1):
IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: System.Object) (Syntax: 'd')
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -61,7 +61,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Arguments(1):
IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: System.Object) (Syntax: 'd')
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -96,7 +96,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: System.Object) (Syntax: 'd')
IParameterReferenceExpression: e (OperationKind.ParameterReferenceExpression, Type: System.Object) (Syntax: 'e')
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -133,7 +133,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
ArgumentNames(2):
"d"
"c"
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -171,7 +171,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: System.Object) (Syntax: 'd')
IParameterReferenceExpression: e (OperationKind.ParameterReferenceExpression, Type: System.Object) (Syntax: 'e')
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -244,7 +244,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Arguments(1):
IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: System.Object) (Syntax: 'd')
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -285,7 +285,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: System.Object) (Syntax: 'd')
IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: System.Object) (Syntax: 'd')
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -328,7 +328,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
ArgumentNames(2):
"x2"
"x"
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -372,7 +372,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
ArgumentNames(2):
"x2"
"x"
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = <![CDATA[
......@@ -429,6 +429,54 @@ BC30518: Overload resolution failed because no accessible 'P1' can be called wit
VerifyOperationTreeAndDiagnosticsForTest(Of InvocationExpressionSyntax)(source, expectedOperationTree, expectedDiagnostics)
End Sub
<CompilerTrait(CompilerFeature.IOperation)>
<Fact()>
Public Sub DynamicInvocationExpression_InvokeDelegateWithArgument()
Dim source = <![CDATA[
Option Strict Off
Imports System.Runtime.InteropServices
Class C
Delegate Sub MySubDelegate(ByVal x As Integer)
Private Sub M(c As C, d As Object)
Dim x = c(d)(d)'BIND:"c(d)(d)"
End Sub
Default ReadOnly Property P1(x As Integer) As MySubDelegate
Get
Return Nothing
End Get
End Property
Default ReadOnly Property P1(x As String) As MySubDelegate
Get
Return Nothing
End Get
End Property
End Class]]>.Value
Dim expectedOperationTree = <![CDATA[
IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: System.Object) (Syntax: 'c(d)(d)')
Expression: IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: System.Object) (Syntax: 'c(d)')
Expression: IDynamicMemberReferenceExpression (Member Name: "P1", Containing Type: null) (OperationKind.DynamicMemberReferenceExpression, Type: System.Object) (Syntax: 'c')
Type Arguments(0)
Instance Receiver: IParameterReferenceExpression: c (OperationKind.ParameterReferenceExpression, Type: C) (Syntax: 'c')
Arguments(1):
IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: System.Object) (Syntax: 'd')
ArgumentNames(0)
ArgumentRefKinds: null
Arguments(1):
IParameterReferenceExpression: d (OperationKind.ParameterReferenceExpression, Type: System.Object) (Syntax: 'd')
ArgumentNames(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
VerifyOperationTreeAndDiagnosticsForTest(Of InvocationExpressionSyntax)(source, expectedOperationTree, expectedDiagnostics)
End Sub
End Class
End Namespace
src/Compilers/VisualBasic/Test/Semantic/IOperation/IOperationTests_IDynamicMemberReferenceExpression.vb
浏览文件 @ e23a577a
......@@ -27,7 +27,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Instance Receiver: ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: System.Object) (Syntax: 'd')
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -56,7 +56,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Instance Receiver: ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: System.Object) (Syntax: 'd')
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -85,7 +85,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Instance Receiver: ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: System.Object) (Syntax: 'd')
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = <![CDATA[
......@@ -117,7 +117,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Instance Receiver: ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: System.Object) (Syntax: 'd')
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -147,7 +147,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
IInvalidExpression (OperationKind.InvalidExpression, Type: null, IsInvalid) (Syntax: '')
Children(0)
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = <![CDATA[
......@@ -183,7 +183,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Instance Receiver: ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: System.Object) (Syntax: 'd')
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -213,7 +213,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Instance Receiver: ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: System.Object) (Syntax: 'd')
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -243,7 +243,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Instance Receiver: ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: System.Object) (Syntax: 'd')
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = <![CDATA[
......@@ -277,7 +277,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Instance Receiver: ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: System.Object) (Syntax: 'd')
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -308,10 +308,10 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Instance Receiver: ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: System.Object) (Syntax: 'd')
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -341,7 +341,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Instance Receiver: ILocalReferenceExpression: d (OperationKind.LocalReferenceExpression, Type: System.Object) (Syntax: 'd')
Arguments(0)
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -376,7 +376,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Arguments(1):
ILocalReferenceExpression: x (OperationKind.LocalReferenceExpression, Type: System.Object) (Syntax: 'x')
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -412,7 +412,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Arguments(1):
ILocalReferenceExpression: x (OperationKind.LocalReferenceExpression, Type: System.Object) (Syntax: 'x')
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......
src/Compilers/VisualBasic/Test/Semantic/IOperation/IOperationTests_IParameterReferenceExpression.vb
浏览文件 @ e23a577a
......@@ -516,7 +516,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Conversion: CommonConversion (Exists: True, IsIdentity: False, IsNumeric: False, IsReference: False, IsUserDefined: False) (MethodSymbol: null)
Operand: IParameterReferenceExpression: x (OperationKind.ParameterReferenceExpression, Type: System.Int32) (Syntax: 'x')
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -545,7 +545,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Arguments(1):
IParameterReferenceExpression: y (OperationKind.ParameterReferenceExpression, Type: System.Int32) (Syntax: 'y')
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......@@ -574,7 +574,7 @@ IDynamicInvocationExpression (OperationKind.DynamicInvocationExpression, Type: S
Conversion: CommonConversion (Exists: True, IsIdentity: False, IsNumeric: False, IsReference: False, IsUserDefined: False) (MethodSymbol: null)
Operand: IParameterReferenceExpression: y (OperationKind.ParameterReferenceExpression, Type: System.Int32) (Syntax: 'y')
ArgumentNames(0)
ArgumentRefKinds(0)
ArgumentRefKinds: null
]]>.Value
Dim expectedDiagnostics = String.Empty
......
src/Test/Utilities/Portable/Compilation/OperationTreeVerifier.cs
浏览文件 @ e23a577a
......@@ -261,7 +261,7 @@ private void Visit(IOperation operation, string header)
Unindent();
}
private void VisitArrayCommon<T>(ImmutableArray<T> list, string header, bool logElementCount, Action<T> arrayElementVisitor)
private void VisitArrayCommon<T>(ImmutableArray<T> list, string header, bool logElementCount, bool logNullForDefault, Action<T> arrayElementVisitor)
{
Debug.Assert(!string.IsNullOrEmpty(header));
......@@ -280,7 +280,8 @@ private void VisitArrayCommon<T>(ImmutableArray<T> list, string header, bool log
}
else
{
LogString($"{header}(0)");
var suffix = logNullForDefault && list.IsDefault ? ": null" : "(0)";
LogString($"{header}{suffix}");
LogNewLine();
}
......@@ -316,25 +317,25 @@ private void VisitChildren(IOperation operation)
}
}
private void VisitArray<T>(ImmutableArray<T> list, string header, bool logElementCount)
private void VisitArray<T>(ImmutableArray<T> list, string header, bool logElementCount, bool logNullForDefault = false)
where T: IOperation
{
VisitArrayCommon(list, header, logElementCount, VisitOperationArrayElement);
VisitArrayCommon(list, header, logElementCount, logNullForDefault, VisitOperationArrayElement);
}
private void VisitArray(ImmutableArray<ISymbol> list, string header, bool logElementCount)
private void VisitArray(ImmutableArray<ISymbol> list, string header, bool logElementCount, bool logNullForDefault = false)
{
VisitArrayCommon(list, header, logElementCount, VisitSymbolArrayElement);
VisitArrayCommon(list, header, logElementCount, logNullForDefault, VisitSymbolArrayElement);
}
private void VisitArray(ImmutableArray<string> list, string header, bool logElementCount)
private void VisitArray(ImmutableArray<string> list, string header, bool logElementCount, bool logNullForDefault = false)
{
VisitArrayCommon(list, header, logElementCount, VisitStringArrayElement);
VisitArrayCommon(list, header, logElementCount, logNullForDefault, VisitStringArrayElement);
}
private void VisitArray(ImmutableArray<RefKind> list, string header, bool logElementCount)
private void VisitArray(ImmutableArray<RefKind> list, string header, bool logElementCount, bool logNullForDefault = false)
{
VisitArrayCommon(list, header, logElementCount, VisitRefKindArrayElement);
VisitArrayCommon(list, header, logElementCount, logNullForDefault, VisitRefKindArrayElement);
}
private void VisitInstanceExpression(IOperation instance)
......@@ -625,7 +626,7 @@ private void VisitDynamicArguments(HasDynamicArgumentsExpression operation)
{
VisitArray(operation.Arguments, "Arguments", logElementCount: true);
VisitArray(operation.ArgumentNames, "ArgumentNames", logElementCount: true);
VisitArray(operation.ArgumentRefKinds, "ArgumentRefKinds", logElementCount: true);
VisitArray(operation.ArgumentRefKinds, "ArgumentRefKinds", logElementCount: true, logNullForDefault: true);
VerifyGetArgumentNamePublicApi(operation, operation.ArgumentNames);
VerifyGetArgumentRefKindPublicApi(operation, operation.ArgumentRefKinds);
......@@ -1247,7 +1248,7 @@ public override void VisitDynamicMemberReferenceExpression(IDynamicMemberReferen
LogString(")");
LogCommonPropertiesAndNewLine(operation);
VisitArrayCommon(operation.TypeArguments, "Type Arguments", true, VisitSymbolArrayElement);
VisitArrayCommon(operation.TypeArguments, "Type Arguments", logElementCount: true,logNullForDefault: false, arrayElementVisitor: VisitSymbolArrayElement);
VisitInstanceExpression(operation.Instance);
}
......
Markdown is supported
0% 或 .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑！
想要评论请 注册 或