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

Use ArgumentPosition instead of int

Browse Source 
This matches what all of the other languages do.
This commit is contained in:
Owen Mansel-Chan
2022-11-30 10:53:54 +00:00
parent 55c4643b20
commit 635c202ced
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImplSpecific.qll
View File

@@ -17,7 +17,7 @@ class SummarizedCallableBase = FlowSummary::SummarizedCallableBase;
DataFlowCallable inject(SummarizedCallable c) { result.asSummarizedCallable() = c } DataFlowCallable inject(SummarizedCallable c) { result.asSummarizedCallable() = c }
/** Gets the parameter position of the instance parameter. */ /** Gets the parameter position of the instance parameter. */
int instanceParameterPosition() { result = -1 } ArgumentPosition instanceParameterPosition() { result = -1 }
/** Gets the synthesized summary data-flow node for the given values. */ /** Gets the synthesized summary data-flow node for the given values. */
Node summaryNode(SummarizedCallable c, SummaryNodeState state) { result = getSummaryNode(c, state) } Node summaryNode(SummarizedCallable c, SummaryNodeState state) { result = getSummaryNode(c, state) }