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

Skip to content

Commit 910995a

Browse files
hvitvedhvitved
committed
C#: Autoformat QL code
1 parent 6243c72 commit 910995a

13 files changed

Lines changed: 1519 additions & 1643 deletions

File tree

‎csharp/ql/src/Language Abuse/MissedReadonlyOpportunity.ql‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -26,9 +26,7 @@ predicate isReadonlyCompatibleDefinition(AssignableDefinition def, Field f) {
2626
}
2727

2828
predicate canBeReadonly(Field f) {
29-
forex(AssignableDefinition def | defTargetsField(def, f) |
30-
isReadonlyCompatibleDefinition(def, f)
31-
)
29+
forex(AssignableDefinition def | defTargetsField(def, f) | isReadonlyCompatibleDefinition(def, f))
3230
}
3331

3432
from Field f

‎csharp/ql/src/Useless code/DefaultToString.ql‎

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -55,11 +55,7 @@ predicate alwaysDefaultToString(ValueOrRefType t) {
5555
overriding.getAMethod() instanceof ToStringMethod and
5656
overriding.getABaseType+() = t
5757
) and
58-
(
59-
(t.isAbstract() or t instanceof Interface)
60-
implies
61-
not t.isEffectivelyPublic()
62-
)
58+
((t.isAbstract() or t instanceof Interface) implies not t.isEffectivelyPublic())
6359
}
6460

6561
newtype TDefaultToStringType = TDefaultToStringType0(ValueOrRefType t) { alwaysDefaultToString(t) }

‎csharp/ql/src/semmle/code/csharp/Member.qll‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -112,9 +112,7 @@ class Modifiable extends Declaration, @modifiable {
112112
* Holds if this declaration is effectively `public`, because it
113113
* and all enclosing types are `public`.
114114
*/
115-
predicate isEffectivelyPublic() {
116-
not isEffectivelyPrivate() and not isEffectivelyInternal()
117-
}
115+
predicate isEffectivelyPublic() { not isEffectivelyPrivate() and not isEffectivelyInternal() }
118116
}
119117

120118
/** A declaration that is a member of a type. */

0 commit comments

Comments
 (0)