ValuePreservingCallable -> ValuePreservingMethod

smowton · aschackmull · web-flow · commit eed357dc9310 · 2021-03-05T13:28:35.000Z
Co-authored-by: Anders Schack-Mulligen &lt;aschackmull@users.noreply.github.com&gt;
diff --git a/java/ql/src/semmle/code/java/dataflow/FlowSteps.qll b/java/ql/src/semmle/code/java/dataflow/FlowSteps.qll
@@ -50,7 +50,7 @@ abstract class FluentMethod extends ValuePreservingCallable {
   override predicate returnsValue(int arg) { arg = -1 }
 }
 
-private class StandardLibraryValuePreservingCallable extends ValuePreservingCallable {
+private class StandardLibraryValuePreservingMethod extends ValuePreservingMethod {
   int returnsArgNo;
 
   StandardLibraryValuePreservingCallable() {

Original file line number	Diff line number	Diff line change
`@@ -50,7 +50,7 @@ abstract class FluentMethod extends ValuePreservingCallable {`
`50`	`50`	`override predicate returnsValue(int arg) { arg = -1 }`
`51`	`51`	`}`
`52`	`52`
`53`		`-private class StandardLibraryValuePreservingCallable extends ValuePreservingCallable {`
	`53`	`+private class StandardLibraryValuePreservingMethod extends ValuePreservingMethod {`
`54`	`54`	`int returnsArgNo;`
`55`	`55`
`56`	`56`	`StandardLibraryValuePreservingCallable() {`