add qldoc to isPrivateField

This commit is contained in:
Erik Krogh Kristensen
2020-02-03 14:23:27 +01:00
parent 8fc273b9ec
commit 183dd68d6a

View File

@@ -536,6 +536,9 @@ module DataFlow {
pragma[noinline]
predicate accesses(Node base, string p) { getBase() = base and getPropertyName() = p }
/**
* Holds if this data flow node reads or writes a private field in a class.
*/
predicate isPrivateField() {
getPropertyName().charAt(0) = "#" and getPropertyNameExpr() instanceof Label
}