A data flow node that reads or writes an object property or class member.
The default subclasses do not model global variable references or variable
references inside with statements as property references.
See PropWrite and PropRead for concrete syntax examples.
Import path
import javascriptDirect supertypes
Indirect supertypes
Predicates
| accesses | Holds if this data flow node accesses property |
| getAnAccessorCallee | Gets an accessor ( |
| getBase | Gets the data flow node corresponding to the base object whose property is read from or written to. |
| getPropertyName | Gets the name of the property being read or written, if it can be statically determined. |
| getPropertyNameExpr | Gets the expression specifying the name of the property being read or written, if any. |
| isPrivateField | Holds if this data flow node reads or writes a private field in a class. |
| mayHavePropertyName | Holds if this property reference may access a property named |
Inherited predicates
| accessesGlobal | Holds if this data flow node accesses the global variable | from Node |
| analyze | Gets type inference results for this data flow node. | from Node |
| asExpr | Gets the expression corresponding to this data flow node, if any. | from Node |
| getABoundFunctionValue | Gets a function value that may reach this node, possibly derived from a partial function invocation. | from Node |
| getAFunctionValue | Gets a function value that may reach this node. | from Node |
| getAFunctionValue | Gets a function value that may reach this node with the given | from Node |
| getALocalSource | Gets a source node from which data may flow to this node in zero or more local steps. | from Node |
| getAPredecessor | Gets a data flow node from which data may flow to this node in one local step. | from Node |
| getASuccessor | Gets a data flow node to which data may flow from this node in one local step. | from Node |
| getAstNode | Gets the AST node corresponding to this data flow node, if any. | from Node |
| getBasicBlock | Gets the basic block to which this node belongs. | from Node |
| getContainer | Gets the container in which this node occurs. | from Node |
| getEnclosingExpr | Gets the expression enclosing this data flow node. In most cases the result is the same as | from Node |
| getEndColumn | Gets the end column of this data flow node. | from Node |
| getEndLine | Gets the end line of this data flow node. | from Node |
| getFile | Gets the file this data flow node comes from. | from Node |
| getImmediatePredecessor | Gets the immediate predecessor of this node, if any. | from Node |
| getIntValue | Gets the integer value of this node, if it is an integer constant. | from Node |
| getLocation | Gets the location of this node. | from Node |
| getStartColumn | Gets the start column of this data flow node. | from Node |
| getStartLine | Gets the start line of this data flow node. | from Node |
| getStringValue | Gets the string value of this node, if it is a string literal or constant string concatenation. | from Node |
| getTopLevel | Gets the toplevel in which this node occurs. | from Node |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |
| hasUnderlyingType | Holds if this node is annotated with the given named type, or is declared as a subtype thereof, or is a union or intersection containing such a type. | from Node |
| hasUnderlyingType | Holds if this node is annotated with the given named type, or is declared as a subtype thereof, or is a union or intersection containing such a type. | from Node |
| isIncomplete | Holds if the flow information for this node is incomplete. | from Node |
| mayHaveBooleanValue | Holds if this node may evaluate to the Boolean value | from Node |
| mayHaveStringValue | Holds if this node may evaluate to the string | from Node |
| toString | Gets a textual representation of this element. | from Node |