mirror of
https://github.com/github/codeql.git
synced 2026-04-25 08:45:14 +02:00
Python: Add starlette.requests.URL model
This commit is contained in:
committed by
Rasmus Wriedt Larsen
parent
a3f7885787
commit
4879a931eb
@@ -103,8 +103,10 @@ module Starlette {
|
||||
*/
|
||||
module Url {
|
||||
/** Gets a reference to the `starlette.requests.URL` class. */
|
||||
private API::Node classRef() {
|
||||
API::Node classRef() {
|
||||
result = API::moduleImport("starlette").getMember("requests").getMember("URL")
|
||||
or
|
||||
result = ModelOutput::getATypeNode("starlette.requests.URL~Subclass").getASubclass*()
|
||||
}
|
||||
|
||||
/**
|
||||
|
||||
@@ -244,6 +244,12 @@ class StarletteWebsocket extends FindSubclassesSpec {
|
||||
override API::Node getAlreadyModeledClass() { result = Starlette::WebSocket::classRef() }
|
||||
}
|
||||
|
||||
class StarletteUrl extends FindSubclassesSpec {
|
||||
StarletteUrl() { this = "starlette.requests.URL~Subclass" }
|
||||
|
||||
override API::Node getAlreadyModeledClass() { result = Starlette::Url::classRef() }
|
||||
}
|
||||
|
||||
class ClickhouseClient extends FindSubclassesSpec {
|
||||
ClickhouseClient() { this = "clickhouse_driver.client.Client~Subclass" }
|
||||
|
||||
|
||||
Reference in New Issue
Block a user