File tree Expand file tree Collapse file tree 1 file changed +2
-6
lines changed Expand file tree Collapse file tree 1 file changed +2
-6
lines changed Original file line number Diff line number Diff line change @@ -559,9 +559,7 @@ private class OtherArgumentToModeledMethodCharacteristic extends Characteristics
559
559
private class FunctionValueCharacteristic extends CharacteristicsImpl:: LikelyNotASinkCharacteristic {
560
560
FunctionValueCharacteristic ( ) { this = "function value" }
561
561
562
- override predicate appliesToEndpoint ( Endpoint e ) {
563
- e .asNode ( ) .asExpr ( ) instanceof FunctionalExpr
564
- }
562
+ override predicate appliesToEndpoint ( Endpoint e ) { e .asNode ( ) .asExpr ( ) instanceof FunctionalExpr }
565
563
}
566
564
567
565
/**
@@ -575,9 +573,7 @@ private class CannotBeTaintedCharacteristic extends CharacteristicsImpl::LikelyN
575
573
{
576
574
CannotBeTaintedCharacteristic ( ) { this = "cannot be tainted" }
577
575
578
- override predicate appliesToEndpoint ( Endpoint e ) {
579
- not this .isKnownOutNodeForStep ( e )
580
- }
576
+ override predicate appliesToEndpoint ( Endpoint e ) { not this .isKnownOutNodeForStep ( e ) }
581
577
582
578
/**
583
579
* Holds if the node `n` is known as the predecessor in a modeled flow step.
You can’t perform that action at this time.
0 commit comments