hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 20:25:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

JS: Rename {Shared,Impl} -> ApiGraphModels{,Specific}

Browse Source
This commit is contained in:
Asger Feldthaus
2022-02-11 12:38:53 +01:00
parent 02c4966109
commit ab1642dd3f
3 changed files with 12 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
javascript/ql/lib/semmle/javascript/frameworks/data/ModelsAsData.qll
View File

@@ -21,7 +21,8 @@
*/
private import javascript
private import internal.Shared as Shared
private import internal.ApiGraphModels as Shared
private import internal.ApiGraphModelsSpecific as Specific
import Shared::ModelInput as ModelInput
import Shared::ModelOutput as ModelOutput

16
javascript/ql/lib/semmle/javascript/frameworks/data/internal/Shared.qll → javascript/ql/lib/semmle/javascript/frameworks/data/internal/ApiGraphModels.qll
View File

@@ -56,12 +56,12 @@
* the type is related to the `foo` package but is not intended to match a static type.
*/
private import Impl as Impl
private import ApiGraphModelsSpecific as Specific
import AccessPathSyntax
private class Unit = Impl::Unit;
private class Unit = Specific::Unit;
private module API = Impl::API;
private module API = Specific::API;
/** Module containing hooks for providing input data to be interpreted as a model. */
module ModelInput {
@@ -230,7 +230,7 @@ string getAPackageAlias(string package) {
* Holds if CSV rows involving `package` might be relevant for the analysis of this database.
*/
private predicate isRelevantPackage(string package) {
Impl::isPackageUsed(package)
Specific::isPackageUsed(package)
or
exists(string other |
isRelevantPackage(other) and
@@ -282,7 +282,7 @@ private API::Node getSuccessorFromNode(API::Node node, AccessPathToken token) {
result = node.getReturn()
or
// Language-specific tokens
result = Impl::getExtraSuccessorFromNode(node, token)
result = Specific::getExtraSuccessorFromNode(node, token)
}
/**
@@ -303,7 +303,7 @@ private API::Node getSuccessorFromInvoke(API::InvokeNode invoke, AccessPathToken
result = invoke.getReturn()
or
// Language-specific tokens
result = Impl::getExtraSuccessorFromInvoke(invoke, token)
result = Specific::getExtraSuccessorFromInvoke(invoke, token)
}
/**
@@ -314,7 +314,7 @@ private predicate invocationMatchesCallSiteFilter(API::InvokeNode invoke, Access
token.getName() = "WithArity" and
invoke.getNumArgument() = getAnIntFromStringUnbounded(token.getAnArgument())
or
Impl::invocationMatchesExtraCallSiteFilter(invoke, token)
Specific::invocationMatchesExtraCallSiteFilter(invoke, token)
}
/**
@@ -335,7 +335,7 @@ API::Node getNodeFromPath(string package, string type, AccessPath path, int n) {
)
or
// Language-specific cases, such as handling of global variables
result = Impl::getExtraNodeFromPath(package, type, path, n)
result = Specific::getExtraNodeFromPath(package, type, path, n)
)
or
result = getSuccessorFromNode(getNodeFromPath(package, type, path, n - 1), path.getToken(n - 1))

4
javascript/ql/lib/semmle/javascript/frameworks/data/internal/Impl.qll → javascript/ql/lib/semmle/javascript/frameworks/data/internal/ApiGraphModelsSpecific.qll
View File

@@ -1,5 +1,5 @@
/**
* Contains the language-specific part of the models-as-data implementation found in `Shared.qll`.
* Contains the language-specific part of the models-as-data implementation found in `ApiGraphModels.qll`.
*
* It must export the following members:
* ```codeql
@@ -15,7 +15,7 @@
private import javascript as js
private import js::DataFlow as DataFlow
private import Shared
private import ApiGraphModels
class Unit = js::Unit;