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
559559private class FunctionValueCharacteristic extends CharacteristicsImpl:: LikelyNotASinkCharacteristic {
560560 FunctionValueCharacteristic ( ) { this = "function value" }
561561
562- override predicate appliesToEndpoint ( Endpoint e ) {
563- e .asNode ( ) .asExpr ( ) instanceof FunctionalExpr
564- }
562+ override predicate appliesToEndpoint ( Endpoint e ) { e .asNode ( ) .asExpr ( ) instanceof FunctionalExpr }
565563}
566564
567565/**
@@ -575,9 +573,7 @@ private class CannotBeTaintedCharacteristic extends CharacteristicsImpl::LikelyN
575573{
576574 CannotBeTaintedCharacteristic ( ) { this = "cannot be tainted" }
577575
578- override predicate appliesToEndpoint ( Endpoint e ) {
579- not this .isKnownOutNodeForStep ( e )
580- }
576+ override predicate appliesToEndpoint ( Endpoint e ) { not this .isKnownOutNodeForStep ( e ) }
581577
582578 /**
583579 * 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