Skip to content

Commit fee4407

Browse files
author
Max Schaefer
committed
Autoformat.
1 parent 3befce9 commit fee4407

File tree

1 file changed

+2
-6
lines changed

1 file changed

+2
-6
lines changed

java/ql/automodel/src/AutomodelApplicationModeCharacteristics.qll

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -559,9 +559,7 @@ private class OtherArgumentToModeledMethodCharacteristic extends Characteristics
559559
private 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.

0 commit comments

Comments
 (0)