Fix accordance to style guide

timoles · Marcono1234 · web-flow · commit 030e2bdd9b54 · 2021-05-04T13:59:52.000+02:00
Co-authored-by: Marcono1234 &lt;Marcono1234@users.noreply.github.com&gt;
diff --git a/java/ql/src/experimental/Security/CWE/CWE-665/InsecureRmiJmxEnvironmentConfiguration.ql b/java/ql/src/experimental/Security/CWE/CWE-665/InsecureRmiJmxEnvironmentConfiguration.ql
@@ -106,7 +106,7 @@ class FlowServerInitializedWithNullEnv extends DataFlow::Configuration {
   }
 }
 
-/** Returns true if within the passed PathNode a "jmx.remote.rmi.server.credential.types" is set. */
+/** Holds if within the passed PathNode a "jmx.remote.rmi.server.credential.types" is set. */
 predicate mapFlowContainsCredentialtype(DataFlow::PathNode source) {
   exists(MapToPutCredentialstypeConfiguration conf | conf.hasFlow(source.getNode(), _))
 }

Original file line number	Diff line number	Diff line change
`@@ -106,7 +106,7 @@ class FlowServerInitializedWithNullEnv extends DataFlow::Configuration {`
`106`	`106`	`}`
`107`	`107`	`}`
`108`	`108`
`109`		`-/** Returns true if within the passed PathNode a "jmx.remote.rmi.server.credential.types" is set. */`
	`109`	`+/** Holds if within the passed PathNode a "jmx.remote.rmi.server.credential.types" is set. */`
`110`	`110`	`predicate mapFlowContainsCredentialtype(DataFlow::PathNode source) {`
`111`	`111`	`exists(MapToPutCredentialstypeConfiguration conf \| conf.hasFlow(source.getNode(), _))`
`112`	`112`	`}`