hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Apply QL autoformatter to ModelsAsData.qll

Browse Source 
Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot]
2025-07-23 09:38:10 +00:00
parent 0245cd872c
commit 2cc732e235
1 changed files with 0 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll
View File

@@ -49,8 +49,6 @@ private import codeql.rust.dataflow.FlowSource
private import codeql.rust.dataflow.FlowSink
private import codeql.rust.elements.internal.CallExprBaseImpl::Impl as CallExprBaseImpl
/**
* Holds if in a call to the function with canonical path `path`, the value referred
* to by `output` is a flow source of the given `kind`.
@@ -64,8 +62,6 @@ extensible predicate sourceModel(
string path, string output, string kind, string provenance, QlBuiltins::ExtensionId madId
);
/**
* Holds if in a call to the function with canonical path `path`, the value referred
* to by `input` is a flow sink of the given `kind`.
@@ -80,8 +76,6 @@ extensible predicate sinkModel(
string path, string input, string kind, string provenance, QlBuiltins::ExtensionId madId
);
/**
* Holds if in a call to the function with canonical path `path`, the value referred
* to by `input` can flow to the value referred to by `output`.
@@ -116,8 +110,6 @@ predicate interpretModelForTest(QlBuiltins::ExtensionId madId, string model) {
)
}
private class SummarizedCallableFromModel extends SummarizedCallable::Range {
private string path;
@@ -146,8 +138,6 @@ private class SummarizedCallableFromModel extends SummarizedCallable::Range {
}
}
private class FlowSourceFromModel extends FlowSource::Range {
private string path;
@@ -164,8 +154,6 @@ private class FlowSourceFromModel extends FlowSource::Range {
}
}
private class FlowSinkFromModel extends FlowSink::Range {
private string path;