Java: Add Mockito.verify to MockitoMockMethod.

aschackmull · aschackmull · commit 4473ccdd5e03 · 2018-09-10T11:20:27.000+02:00
diff --git a/java/ql/src/semmle/code/java/frameworks/Mockito.qll b/java/ql/src/semmle/code/java/frameworks/Mockito.qll
@@ -397,7 +397,7 @@ class MockitoSettableField extends Field {
 class MockitoMockMethod extends Method {
   MockitoMockMethod() {
     this.getDeclaringType().hasQualifiedName("org.mockito", "Mockito") and
-    this.hasName("mock")
+    (this.hasName("mock") or this.hasName("verify"))
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -397,7 +397,7 @@ class MockitoSettableField extends Field {`
`397`	`397`	`class MockitoMockMethod extends Method {`
`398`	`398`	`MockitoMockMethod() {`
`399`	`399`	`this.getDeclaringType().hasQualifiedName("org.mockito", "Mockito") and`
`400`		`- this.hasName("mock")`
	`400`	`+ (this.hasName("mock") or this.hasName("verify"))`
`401`	`401`	`}`
`402`	`402`	`}`
`403`	`403`