C#: Minor edits

calumgrant · calumgrant · commit dfbb1946d32a · 2019-08-29T18:11:00.000+01:00
diff --git a/csharp/extractor/Semmle.Extraction.CSharp/Entities/TypeMention.cs b/csharp/extractor/Semmle.Extraction.CSharp/Entities/TypeMention.cs
@@ -24,7 +24,7 @@ class TypeMention : FreshEntity
 
         static TypeSyntax GetElementType(TypeSyntax type)
         {
-            switch(type)
+            switch (type)
             {
                 case ArrayTypeSyntax ats:
                     return GetElementType(ats.ElementType);
@@ -35,16 +35,16 @@ static TypeSyntax GetElementType(TypeSyntax type)
             }
         }
 
-        static Type GetElementType(Type t)
+        static Type GetElementType(Type type)
         {
-            switch(t)
+            switch (type)
             {
                 case ArrayType at:
                     return GetElementType(at.ElementType.Type);
                 case NamedType nt when nt.symbol.IsBoundNullable():
                     return nt.TypeArguments.Single();
                 default:
-                    return t;
+                    return type;
             }
         }
 
diff --git a/csharp/ql/test/library-tests/regressions/Program.cs b/csharp/ql/test/library-tests/regressions/Program.cs
@@ -180,4 +180,4 @@ void F()
     }
 }
 
-// semmle-extractor-options: /r:System.Dynamic.Runtime.dll /langversion:8.0
+// semmle-extractor-options: /r:System.Dynamic.Runtime.dll

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,7 @@ class TypeMention : FreshEntity`
`24`	`24`
`25`	`25`	`static TypeSyntax GetElementType(TypeSyntax type)`
`26`	`26`	`{`
`27`		`- switch(type)`
	`27`	`+ switch (type)`
`28`	`28`	`{`
`29`	`29`	`case ArrayTypeSyntax ats:`
`30`	`30`	`return GetElementType(ats.ElementType);`
`@@ -35,16 +35,16 @@ static TypeSyntax GetElementType(TypeSyntax type)`
`35`	`35`	`}`
`36`	`36`	`}`
`37`	`37`
`38`		`- static Type GetElementType(Type t)`
	`38`	`+ static Type GetElementType(Type type)`
`39`	`39`	`{`
`40`		`- switch(t)`
	`40`	`+ switch (type)`
`41`	`41`	`{`
`42`	`42`	`case ArrayType at:`
`43`	`43`	`return GetElementType(at.ElementType.Type);`
`44`	`44`	`case NamedType nt when nt.symbol.IsBoundNullable():`
`45`	`45`	`return nt.TypeArguments.Single();`
`46`	`46`	`default:`
`47`		`- return t;`
	`47`	`+ return type;`
`48`	`48`	`}`
`49`	`49`	`}`
`50`	`50`
Original file line number	Diff line number	Diff line change
`@@ -180,4 +180,4 @@ void F()`
`180`	`180`	`}`
`181`	`181`	`}`
`182`	`182`
`183`		`-// semmle-extractor-options: /r:System.Dynamic.Runtime.dll /langversion:8.0`
	`183`	`+// semmle-extractor-options: /r:System.Dynamic.Runtime.dll`