Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 64c8136

Browse files
committed
autoformat
1 parent 8ae55fb commit 64c8136

1 file changed

Lines changed: 5 additions & 6 deletions

File tree

javascript/ql/src/semmle/javascript/dataflow/internal/StepSummary.qll

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -26,8 +26,8 @@ abstract class TypeTrackingPseudoProperty extends string {
2626
TypeTrackingPseudoProperty() { any() }
2727

2828
/**
29-
* Gets a property name that `this` can be copied to in a `LoadStoreStep(this, result)`.
30-
*/
29+
* Gets a property name that `this` can be copied to in a `LoadStoreStep(this, result)`.
30+
*/
3131
string getLoadStoreToProp() { none() }
3232
}
3333

@@ -41,10 +41,9 @@ newtype TStepSummary =
4141
StoreStep(PropertyName prop) or
4242
LoadStep(PropertyName prop) or
4343
LoadStoreStep(PropertyName fromProp, PropertyName toProp) {
44-
fromProp = toProp or
45-
exists(TypeTrackingPseudoProperty prop |
46-
fromProp = prop and toProp = prop.getLoadStoreToProp()
47-
)
44+
fromProp = toProp
45+
or
46+
exists(TypeTrackingPseudoProperty prop | fromProp = prop and toProp = prop.getLoadStoreToProp())
4847
}
4948

5049
/**

0 commit comments

Comments
 (0)