@@ -713,15 +713,19 @@ module StringOps {
713
713
private class TestCall extends Range , DataFlow:: MethodCallNode {
714
714
TestCall ( ) { getMethodName ( ) = "test" }
715
715
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
+ }
717
719
718
720
override DataFlow:: Node getStringOperand ( ) { result = getArgument ( 0 ) }
719
721
}
720
722
721
723
private class MatchesCall extends Range , DataFlow:: MethodCallNode {
722
724
MatchesCall ( ) { getMethodName ( ) = "matches" }
723
725
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
+ }
725
729
726
730
override DataFlow:: Node getStringOperand ( ) { result = getReceiver ( ) }
727
731
}
@@ -756,12 +760,12 @@ module StringOps {
756
760
boolean polarity ;
757
761
758
762
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 ) )
762
764
}
763
765
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
+ }
765
769
766
770
override DataFlow:: Node getStringOperand ( ) { result = exec .getArgument ( 0 ) }
767
771
0 commit comments