@@ -224,7 +224,7 @@ public static void StaticMethod(TestTypeToTrack staticMethodParameter)
224224 new PropertyMapperCollection (
225225 new PropertyMapper ( // Definitely null => unflagged, definitely non-null => flagged, otherwise => maybe.
226226 "AString" ,
227- ( PointsToAbstractValue pointsToAbstractValue ) =>
227+ pointsToAbstractValue =>
228228 {
229229 return pointsToAbstractValue . NullState switch
230230 {
@@ -237,7 +237,7 @@ public static void StaticMethod(TestTypeToTrack staticMethodParameter)
237237 new HazardousUsageEvaluatorCollection (
238238 new HazardousUsageEvaluator ( // When TypeToTrack.Method() is invoked, need to evaluate its state.
239239 "Method" ,
240- ( IMethodSymbol methodSymbol , PropertySetAbstractValue abstractValue ) =>
240+ ( methodSymbol , abstractValue ) =>
241241 {
242242 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
243243
@@ -253,7 +253,7 @@ public static void StaticMethod(TestTypeToTrack staticMethodParameter)
253253 "OtherClass" ,
254254 "OtherMethod" ,
255255 "t" ,
256- ( IMethodSymbol methodSymbol , PropertySetAbstractValue abstractValue ) =>
256+ ( methodSymbol , abstractValue ) =>
257257 {
258258 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
259259
@@ -270,7 +270,7 @@ public static void StaticMethod(TestTypeToTrack staticMethodParameter)
270270 "OtherClass" ,
271271 "StaticMethod" ,
272272 "staticMethodParameter" ,
273- ( IMethodSymbol methodSymbol , PropertySetAbstractValue abstractValue ) =>
273+ ( methodSymbol , abstractValue ) =>
274274 {
275275 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
276276
@@ -399,7 +399,7 @@ void TestMethod()
399399 new (
400400 "TestTypeToTrackWithConstructor" ,
401401 new ConstructorMapper (
402- ( IMethodSymbol method , IReadOnlyList < PointsToAbstractValue > argumentPointsToAbstractValues ) =>
402+ ( method , argumentPointsToAbstractValues ) =>
403403 {
404404 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
405405 PropertySetAbstractValueKind kind = PropertySetAbstractValueKind . Unknown ;
@@ -420,7 +420,7 @@ void TestMethod()
420420 new PropertyMapperCollection (
421421 new PropertyMapper ( // Definitely null => unflagged, definitely non-null => flagged, otherwise => maybe.
422422 "AString" ,
423- ( PointsToAbstractValue pointsToAbstractValue ) =>
423+ pointsToAbstractValue =>
424424 {
425425 return pointsToAbstractValue . NullState switch
426426 {
@@ -433,7 +433,7 @@ void TestMethod()
433433 new HazardousUsageEvaluatorCollection (
434434 new HazardousUsageEvaluator (
435435 "Method" ,
436- ( IMethodSymbol methodSymbol , PropertySetAbstractValue abstractValue ) =>
436+ ( methodSymbol , abstractValue ) =>
437437 {
438438 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
439439
@@ -525,14 +525,14 @@ void TestMethod()
525525 new PropertyMapperCollection (
526526 new PropertyMapper (
527527 "AnEnum" ,
528- ( ValueContentAbstractValue valueContentAbstractValue ) =>
528+ valueContentAbstractValue =>
529529 {
530530 return PropertySetCallbacks . EvaluateLiteralValues ( valueContentAbstractValue , v => v is not null && v . Equals ( 0 ) ) ;
531531 } ) ) ,
532532 new HazardousUsageEvaluatorCollection (
533533 new HazardousUsageEvaluator ( // When TypeToTrack.Method() is invoked, need to evaluate its state.
534534 "Method" ,
535- ( IMethodSymbol methodSymbol , PropertySetAbstractValue abstractValue ) =>
535+ ( methodSymbol , abstractValue ) =>
536536 {
537537 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
538538
@@ -586,7 +586,7 @@ void TestMethod()
586586 new (
587587 "TestTypeToTrackWithConstructor" ,
588588 new ConstructorMapper (
589- ( IMethodSymbol method , IReadOnlyList < ValueContentAbstractValue > argumentValueContentAbstractValues , IReadOnlyList < PointsToAbstractValue > argumentPointsToAbstractValues ) =>
589+ ( method , argumentValueContentAbstractValues , argumentPointsToAbstractValues ) =>
590590 {
591591 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
592592
@@ -598,14 +598,14 @@ void TestMethod()
598598 new PropertyMapperCollection (
599599 new PropertyMapper (
600600 "AnEnum" ,
601- ( ValueContentAbstractValue valueContentAbstractValue ) =>
601+ valueContentAbstractValue =>
602602 {
603603 return PropertySetCallbacks . EvaluateLiteralValues ( valueContentAbstractValue , v => v is not null && v . Equals ( 0 ) ) ;
604604 } ) ) ,
605605 new HazardousUsageEvaluatorCollection (
606606 new HazardousUsageEvaluator ( // When TypeToTrack.Method() is invoked, need to evaluate its state.
607607 "Method" ,
608- ( IMethodSymbol methodSymbol , PropertySetAbstractValue abstractValue ) =>
608+ ( methodSymbol , abstractValue ) =>
609609 {
610610 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
611611
@@ -663,22 +663,22 @@ void TestMethod()
663663 new PropertyMapperCollection (
664664 new PropertyMapper (
665665 "AString" ,
666- ( ValueContentAbstractValue valueContentAbstractValue ) =>
666+ valueContentAbstractValue =>
667667 {
668668 return PropertySetCallbacks . EvaluateLiteralValues (
669669 valueContentAbstractValue ,
670670 v => ( v as string ) ? . StartsWith ( "T" , StringComparison . Ordinal ) == true ) ;
671671 } ) ,
672672 new PropertyMapper (
673673 "AnEnum" ,
674- ( ValueContentAbstractValue valueContentAbstractValue ) =>
674+ valueContentAbstractValue =>
675675 {
676676 return PropertySetCallbacks . EvaluateLiteralValues ( valueContentAbstractValue , v => v is not null && v . Equals ( 2 ) ) ;
677677 } ) ) ,
678678 new HazardousUsageEvaluatorCollection (
679679 new HazardousUsageEvaluator (
680680 "Method" ,
681- ( IMethodSymbol methodSymbol , PropertySetAbstractValue abstractValue ) =>
681+ ( methodSymbol , abstractValue ) =>
682682 {
683683 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
684684
@@ -823,7 +823,7 @@ void TestMethod()
823823 new (
824824 "TestTypeToTrackWithConstructor" ,
825825 new ConstructorMapper (
826- ( IMethodSymbol constructorMethodSymbol , IReadOnlyList < PointsToAbstractValue > argumentPointsToAbstractValues ) =>
826+ ( constructorMethodSymbol , argumentPointsToAbstractValues ) =>
827827 {
828828 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
829829
@@ -845,7 +845,7 @@ void TestMethod()
845845 new PropertyMapperCollection (
846846 new PropertyMapper (
847847 "AnObject" ,
848- ( PointsToAbstractValue pointsToAbstractValue ) =>
848+ pointsToAbstractValue =>
849849 {
850850 // Better to compare LocationTypeOpt to INamedTypeSymbol, but for this demonstration, just using MetadataName.
851851 PropertySetAbstractValueKind kind ;
@@ -865,7 +865,7 @@ void TestMethod()
865865 new HazardousUsageEvaluatorCollection (
866866 new HazardousUsageEvaluator ( // When TypeToTrack.Method() is invoked, need to evaluate its state.
867867 "Method" ,
868- ( IMethodSymbol methodSymbol , PropertySetAbstractValue abstractValue ) =>
868+ ( methodSymbol , abstractValue ) =>
869869 {
870870 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
871871
@@ -946,9 +946,9 @@ void TestMethod()
946946 new (
947947 "TestTypeToTrackWithConstructor" ,
948948 new ConstructorMapper (
949- ( IMethodSymbol constructorMethodSymbol ,
950- IReadOnlyList < ValueContentAbstractValue > argumentValueContentAbstractValues ,
951- IReadOnlyList < PointsToAbstractValue > argumentPointsToAbstractValues ) =>
949+ ( constructorMethodSymbol ,
950+ argumentValueContentAbstractValues ,
951+ argumentPointsToAbstractValues ) =>
952952 {
953953 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
954954
@@ -960,7 +960,7 @@ void TestMethod()
960960 new PropertyMapperCollection (
961961 new PropertyMapper (
962962 "AString" ,
963- ( ValueContentAbstractValue valueContentAbstractValue ) =>
963+ valueContentAbstractValue =>
964964 {
965965 return PropertySetCallbacks . EvaluateLiteralValues (
966966 valueContentAbstractValue ,
@@ -969,7 +969,7 @@ void TestMethod()
969969 new HazardousUsageEvaluatorCollection (
970970 new HazardousUsageEvaluator ( // When TypeToTrackWithConstructor.Method() is invoked, need to evaluate its state.
971971 "Method" ,
972- ( IMethodSymbol methodSymbol , PropertySetAbstractValue abstractValue ) =>
972+ ( methodSymbol , abstractValue ) =>
973973 {
974974 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
975975
@@ -1038,7 +1038,7 @@ TestTypeToTrackWithConstructor GetTestType()
10381038 new PropertyMapperCollection (
10391039 new PropertyMapper ( // Definitely null => unflagged, definitely non-null => flagged, otherwise => maybe.
10401040 "AString" ,
1041- ( PointsToAbstractValue pointsToAbstractValue ) =>
1041+ pointsToAbstractValue =>
10421042 {
10431043 return pointsToAbstractValue . NullState switch
10441044 {
@@ -1051,7 +1051,7 @@ TestTypeToTrackWithConstructor GetTestType()
10511051 new HazardousUsageEvaluatorCollection (
10521052 new HazardousUsageEvaluator (
10531053 HazardousUsageEvaluatorKind . Return ,
1054- ( PropertySetAbstractValue abstractValue ) =>
1054+ abstractValue =>
10551055 {
10561056 // With only one property being tracked, this is straightforward.
10571057 return abstractValue [ 0 ] switch
@@ -1142,7 +1142,7 @@ object TestMethod()
11421142 new PropertyMapperCollection (
11431143 new PropertyMapper ( // Definitely null => unflagged, definitely non-null => flagged, otherwise => maybe.
11441144 "AString" ,
1145- ( PointsToAbstractValue pointsToAbstractValue ) =>
1145+ pointsToAbstractValue =>
11461146 {
11471147 return pointsToAbstractValue . NullState switch
11481148 {
@@ -1155,7 +1155,7 @@ object TestMethod()
11551155 propertyIndex : 0 ) , // Both AString and AnObject point to index 0.
11561156 new PropertyMapper ( // Definitely null => unflagged, definitely non-null => flagged, otherwise => maybe.
11571157 "AnObject" ,
1158- ( PointsToAbstractValue pointsToAbstractValue ) =>
1158+ pointsToAbstractValue =>
11591159 {
11601160 return pointsToAbstractValue . NullState switch
11611161 {
@@ -1169,7 +1169,7 @@ object TestMethod()
11691169 new HazardousUsageEvaluatorCollection (
11701170 new HazardousUsageEvaluator ( // When TypeToTrack.Method() is invoked, need to evaluate its state.
11711171 "Method" ,
1172- ( IMethodSymbol methodSymbol , PropertySetAbstractValue abstractValue ) =>
1172+ ( methodSymbol , abstractValue ) =>
11731173 {
11741174 // When doing this for reals, need to examine the method to make sure we're looking at the right method and arguments.
11751175
0 commit comments