@@ -713,15 +713,19 @@ module StringOps {
713713 private class TestCall extends Range , DataFlow:: MethodCallNode {
714714 TestCall ( ) { getMethodName ( ) = "test" }
715715
716- override DataFlow:: Node getRegExpOperand ( boolean coerced ) { result = getReceiver ( ) and coerced = false }
716+ override DataFlow:: Node getRegExpOperand ( boolean coerced ) {
717+ result = getReceiver ( ) and coerced = false
718+ }
717719
718720 override DataFlow:: Node getStringOperand ( ) { result = getArgument ( 0 ) }
719721 }
720722
721723 private class MatchesCall extends Range , DataFlow:: MethodCallNode {
722724 MatchesCall ( ) { getMethodName ( ) = "matches" }
723725
724- override DataFlow:: Node getRegExpOperand ( boolean coerced ) { result = getArgument ( 0 ) and coerced = true }
726+ override DataFlow:: Node getRegExpOperand ( boolean coerced ) {
727+ result = getArgument ( 0 ) and coerced = true
728+ }
725729
726730 override DataFlow:: Node getStringOperand ( ) { result = getReceiver ( ) }
727731 }
@@ -756,12 +760,12 @@ module StringOps {
756760 boolean polarity ;
757761
758762 ExecTest ( ) {
759- exists ( Expr use | exec .flowsToExpr ( use ) |
760- impliesNotNull ( astNode , use , polarity )
761- )
763+ exists ( Expr use | exec .flowsToExpr ( use ) | impliesNotNull ( astNode , use , polarity ) )
762764 }
763765
764- override DataFlow:: Node getRegExpOperand ( boolean coerced ) { result = exec .getReceiver ( ) and coerced = false }
766+ override DataFlow:: Node getRegExpOperand ( boolean coerced ) {
767+ result = exec .getReceiver ( ) and coerced = false
768+ }
765769
766770 override DataFlow:: Node getStringOperand ( ) { result = exec .getArgument ( 0 ) }
767771
0 commit comments