diff --git a/ql/test/library-tests/semmle/go/Types/Methods.expected b/ql/test/library-tests/semmle/go/Types/Methods.expected index a812cc5fbdd..4313c7ae71c 100644 --- a/ql/test/library-tests/semmle/go/Types/Methods.expected +++ b/ql/test/library-tests/semmle/go/Types/Methods.expected @@ -1,3 +1,14 @@ +| A | m | func() | +| AC | m | func() | +| AC | n | func() | +| AC | o | func() | +| AEmbedded | m | func() | +| AExtended | m | func() | +| AExtended | n | func() | +| B | m | func() | +| B | n | func() | +| C | n | func() | +| C | o | func() | | T | half | func() Foo | | T3 | half | func() Foo | | T4 | half | func() Foo | diff --git a/ql/test/library-tests/semmle/go/Types/QualifiedNames.expected b/ql/test/library-tests/semmle/go/Types/QualifiedNames.expected index 581bf0ee2cd..379e8e69e2c 100644 --- a/ql/test/library-tests/semmle/go/Types/QualifiedNames.expected +++ b/ql/test/library-tests/semmle/go/Types/QualifiedNames.expected @@ -1,4 +1,10 @@ +| A | github.com/github/codeql-go/ql/test/library-tests/semmle/go/Types/pkg1.A | +| AC | github.com/github/codeql-go/ql/test/library-tests/semmle/go/Types/pkg1.AC | +| AEmbedded | github.com/github/codeql-go/ql/test/library-tests/semmle/go/Types/pkg1.AEmbedded | +| AExtended | github.com/github/codeql-go/ql/test/library-tests/semmle/go/Types/pkg1.AExtended | +| B | github.com/github/codeql-go/ql/test/library-tests/semmle/go/Types/pkg1.B | | Bar | github.com/github/codeql-go/ql/test/library-tests/semmle/go/Types/pkg1.Bar | +| C | github.com/github/codeql-go/ql/test/library-tests/semmle/go/Types/pkg1.C | | Foo | github.com/github/codeql-go/ql/test/library-tests/semmle/go/Types/pkg1.Foo | | G | github.com/github/codeql-go/ql/test/library-tests/semmle/go/Types/pkg2.G | | T | github.com/github/codeql-go/ql/test/library-tests/semmle/go/Types/pkg1.T | diff --git a/ql/test/library-tests/semmle/go/Types/Types.expected b/ql/test/library-tests/semmle/go/Types/Types.expected index 13a4c8e2522..76ba254828e 100644 --- a/ql/test/library-tests/semmle/go/Types/Types.expected +++ b/ql/test/library-tests/semmle/go/Types/Types.expected @@ -1,4 +1,10 @@ +| A | A | +| AC | AC | +| AEmbedded | AEmbedded | +| AExtended | AExtended | +| B | B | | Bar | Bar | +| C | C | | Foo | Foo | | G | G | | T | T | diff --git a/ql/test/library-tests/semmle/go/Types/pkg1/interfaces.go b/ql/test/library-tests/semmle/go/Types/pkg1/interfaces.go new file mode 100644 index 00000000000..0937f560651 --- /dev/null +++ b/ql/test/library-tests/semmle/go/Types/pkg1/interfaces.go @@ -0,0 +1,29 @@ +package pkg1 + +type A interface { + m() +} + +type B interface { + m() + n() +} + +type C interface { + n() + o() +} + +type AEmbedded interface { + A +} + +type AC interface { + A + C +} + +type AExtended interface { + A + n() +}