Java: Simplify qldoc.

intrigus · intrigus · commit 149c4491cea4 · 2021-04-20T23:03:10.000+02:00
diff --git a/java/ql/src/experimental/Security/CWE/CWE-347/MissingJWTSignatureCheck.ql b/java/ql/src/experimental/Security/CWE/CWE-347/MissingJWTSignatureCheck.ql
@@ -50,7 +50,7 @@ private class JwtParserInsecureParseMethods extends Method {
   }
 }
 
-/** The `onClaimsJwt(jwt)` and `onPlaintextJwt(jwt)` methods defined in `JwtHandler`. */
+/** The `on(Claims|Plaintext)Jwt` methods defined in `JwtHandler`. */
 private class JwtHandlerOnJwtMethods extends Method {
   JwtHandlerOnJwtMethods() {
     this.hasName(["onClaimsJwt", "onPlaintextJwt"]) and
@@ -59,7 +59,7 @@ private class JwtHandlerOnJwtMethods extends Method {
   }
 }
 
-/** The `onClaimsJwt(jwt)` and `onPlaintextJwt(jwt)` methods defined in `JwtHandlerAdapter`. */
+/** The `on(Claims|Plaintext)Jwt` methods defined in `JwtHandlerAdapter`. */
 private class JwtHandlerAdapterOnJwtMethods extends Method {
   JwtHandlerAdapterOnJwtMethods() {
     this.hasName(["onClaimsJwt", "onPlaintextJwt"]) and

Original file line number	Diff line number	Diff line change
`@@ -50,7 +50,7 @@ private class JwtParserInsecureParseMethods extends Method {`
`50`	`50`	`}`
`51`	`51`	`}`
`52`	`52`
`53`		-/** The `onClaimsJwt(jwt)` and `onPlaintextJwt(jwt)` methods defined in `JwtHandler`. */
	`53`	+/** The `on(Claims\|Plaintext)Jwt` methods defined in `JwtHandler`. */
`54`	`54`	`private class JwtHandlerOnJwtMethods extends Method {`
`55`	`55`	`JwtHandlerOnJwtMethods() {`
`56`	`56`	`this.hasName(["onClaimsJwt", "onPlaintextJwt"]) and`
`@@ -59,7 +59,7 @@ private class JwtHandlerOnJwtMethods extends Method {`
`59`	`59`	`}`
`60`	`60`	`}`
`61`	`61`
`62`		-/** The `onClaimsJwt(jwt)` and `onPlaintextJwt(jwt)` methods defined in `JwtHandlerAdapter`. */
	`62`	+/** The `on(Claims\|Plaintext)Jwt` methods defined in `JwtHandlerAdapter`. */
`63`	`63`	`private class JwtHandlerAdapterOnJwtMethods extends Method {`
`64`	`64`	`JwtHandlerAdapterOnJwtMethods() {`
`65`	`65`	`this.hasName(["onClaimsJwt", "onPlaintextJwt"]) and`