hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 02:05:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2331 from calumgrant/cs/default-interface-methods

Browse Source 
C#: Tests for default interface methods
This commit is contained in:
Tom Hvitved
2019-11-15 16:36:47 +01:00
committed by GitHub
parent 810a046428 aac360463b
commit c95db9e6f8
3 changed files with 32 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
csharp/ql/test/library-tests/csharp8/DefaultInterfaceMethods.cs Normal file
View File

@@ -0,0 +1,27 @@
using System;
interface IPerson
{
string Name { get; }
string Greeting
{
get => "Hello";
set { }
}
string Greet(string name) => Greeting + " " + name;
string GreetingString => Greet(Name);
void Greet();
}
class Person : IPerson
{
public string Name => "Petra";
string IPerson.Greeting { get => "Howdy"; set { } }
public void Greet() { }
}

4
csharp/ql/test/library-tests/csharp8/DefaultInterfaceMethods.expected
View File

@@ -0,0 +1,4 @@
| DefaultInterfaceMethods.cs:9:9:9:11 | get_Greeting |
| DefaultInterfaceMethods.cs:10:9:10:11 | set_Greeting |
| DefaultInterfaceMethods.cs:13:12:13:16 | Greet |
| DefaultInterfaceMethods.cs:15:30:15:40 | get_GreetingString |

2
csharp/ql/test/library-tests/csharp8/DefaultInterfaceMethods.ql
View File

@@ -1,6 +1,6 @@
import csharp
class DefaultInterfaceMethod extends Method {
class DefaultInterfaceMethod extends Callable {
DefaultInterfaceMethod() {
this.hasBody() and
this.getDeclaringType() instanceof Interface