mirror of
https://github.com/github/codeql.git
synced 2026-08-02 16:32:58 +02:00
16 lines
458 B
Plaintext
16 lines
458 B
Plaintext
/** Provides the `Element` class, the base class of all CIL program elements. */
|
|
|
|
private import dotnet
|
|
import semmle.code.csharp.Location
|
|
|
|
/** An element. */
|
|
class Element extends DotNet::Element, @cil_element {
|
|
override Location getLocation() { result = bestLocation(this) }
|
|
}
|
|
|
|
cached
|
|
private Location bestLocation(Element e) {
|
|
result = e.getALocation() and
|
|
(e.getALocation().getFile().isPdbSourceFile() implies result.getFile().isPdbSourceFile())
|
|
}
|