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

C#: Copy dotnet.Namespace implementation.

Browse Source
This commit is contained in:
Michael Nebel
2024-02-27 13:57:17 +01:00
parent 7ba25b23a5
commit 92447dc743
2 changed files with 48 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
csharp/ql/lib/semmle/code/csharp/Generics.qll
View File

@@ -16,7 +16,6 @@
import Location
import Namespace
private import commons.QualifiedName
private import dotnet
private import TypeRef
/**

54
csharp/ql/lib/semmle/code/csharp/Namespace.qll
View File

@@ -1,5 +1,6 @@
/** Provides classes for namespaces. */
private import semmle.code.csharp.commons.QualifiedName
import Element
import Type
private import dotnet
@@ -18,24 +19,44 @@ class TypeContainer extends Declaration, @type_container { }
* }
* ```
*/
class Namespace extends DotNet::Namespace, TypeContainer, Declaration, @namespace {
class Namespace extends TypeContainer, Declaration, @namespace {
override Namespace getParent() { result = this.getParentNamespace() }
override Namespace getParentNamespace() { parent_namespace(this, result) }
/**
* Gets the parent namespace, if any. For example the parent namespace of `System.IO`
* is `System`. The parent namespace of `System` is the global namespace.
*/
Namespace getParentNamespace() { parent_namespace(this, result) }
override Namespace getAChildNamespace() { parent_namespace(result, this) }
/**
* Gets a child namespace, if any. For example `System.IO` is a child in
* the namespace `System`.
*/
Namespace getAChildNamespace() { parent_namespace(result, this) }
override TypeContainer getChild(int i) {
i = 0 and
parent_namespace(result, this)
}
/**
* Holds if this namespace has the qualified name `qualifier`.`name`.
*
* For example if the qualified name is `System.Collections.Generic`, then
* `qualifier`=`System.Collections` and `name`=`Generic`.
*/
deprecated override predicate hasQualifiedName(string qualifier, string name) {
DotNet::Namespace.super.hasQualifiedName(qualifier, name)
namespaceHasQualifiedName(this, qualifier, name)
}
/**
* Holds if this namespace has the qualified name `qualifier`.`name`.
*
* For example if the qualified name is `System.Collections.Generic`, then
* `qualifier`=`System.Collections` and `name`=`Generic`.
*/
override predicate hasFullyQualifiedName(string qualifier, string name) {
DotNet::Namespace.super.hasFullyQualifiedName(qualifier, name)
namespaceHasQualifiedName(this, qualifier, name)
}
/**
@@ -123,7 +144,28 @@ class Namespace extends DotNet::Namespace, TypeContainer, Declaration, @namespac
override Location getALocation() { result = this.getADeclaration().getALocation() }
override string toString() { result = DotNet::Namespace.super.toString() }
/** Gets a textual representation of this namespace. */
override string toString() { result = this.getFullName() }
/** Holds if this is the global namespace. */
final predicate isGlobalNamespace() { this.getName() = "" }
/** Gets the simple name of this namespace, for example `IO` in `System.IO`. */
final override string getName() { namespaces(this, result) }
final override string getUndecoratedName() { namespaces(this, result) }
override string getAPrimaryQlClass() { result = "Namespace" }
/**
* Get the fully qualified name of this namespace.
*/
string getFullName() {
exists(string namespace, string name |
namespaceHasQualifiedName(this, namespace, name) and
result = getQualifiedName(namespace, name)
)
}
}
/**