mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
17 lines
498 B
Plaintext
17 lines
498 B
Plaintext
import csharp
|
|
import semmle.code.csharp.commons.QualifiedName
|
|
|
|
query predicate records(RecordClass t, string i, RecordCloneMethod clone) {
|
|
t.getABaseInterface().toStringWithTypes() = i and
|
|
clone = t.getCloneMethod() and
|
|
t.fromSource()
|
|
}
|
|
|
|
query predicate members(RecordClass t, string ms, string l) {
|
|
t.fromSource() and
|
|
exists(Member m | t.hasMember(m) |
|
|
ms = getFullyQualifiedNameWithTypes(m) and
|
|
if m.fromSource() then l = m.getLocation().toString() else l = "no location"
|
|
)
|
|
}
|