Data flow: Rename DataFlowParameter to InputSig

This commit is contained in:
Tom Hvitved
2023-08-07 11:19:06 +02:00
parent 6208175aa9
commit 4d14311653
3 changed files with 5 additions and 5 deletions

View File

@@ -6,7 +6,7 @@
*/
/** Provides language-specific data flow parameters. */
signature module DataFlowParameter {
signature module InputSig {
class Node {
/** Gets a textual representation of this element. */
string toString();
@@ -227,7 +227,7 @@ signature module DataFlowParameter {
predicate golangSpecificParamArgFilter(DataFlowCall call, ParameterNode p, ArgumentNode arg);
}
module Configs<DataFlowParameter Lang> {
module Configs<InputSig Lang> {
private import Lang
private import internal.DataFlowImplCommon::MakeImplCommon<Lang>
import DataFlowImplCommonPublic
@@ -431,7 +431,7 @@ module Configs<DataFlowParameter Lang> {
}
}
module DataFlowMake<DataFlowParameter Lang> {
module DataFlowMake<InputSig Lang> {
private import Lang
private import internal.DataFlowImpl::MakeImpl<Lang>
import Configs<Lang>

View File

@@ -8,7 +8,7 @@ private import codeql.util.Unit
private import codeql.util.Option
private import codeql.dataflow.DataFlow
module MakeImpl<DataFlowParameter Lang> {
module MakeImpl<InputSig Lang> {
private import Lang
private import DataFlowMake<Lang>
private import DataFlowImplCommon::MakeImplCommon<Lang>

View File

@@ -1,6 +1,6 @@
private import codeql.dataflow.DataFlow
module MakeImplCommon<DataFlowParameter Lang> {
module MakeImplCommon<InputSig Lang> {
private import Lang
import Cached