[typetools/checker-framework] d76a8d: Disambiguate owners of fields in output (#6699)

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: d76a8d0ff350c79603b8f5fd473f1ee010747b0b
https://github.com/typetools/checker-framework/commit/d76a8d0ff350c79603b8f5fd473f1ee010747b0b
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2024-07-08 (Mon, 08 Jul 2024)

Changed paths:
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ExplicitThisNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/FieldAccessNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/ImplicitThisNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/Node.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/SuperNode.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/FieldAccess.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/ThisReference.java
M dataflow/src/main/java/org/checkerframework/dataflow/expression/ViewpointAdaptJavaExpression.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreeUtils.java

Log Message:
-----------
Disambiguate owners of fields in output (#6699)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications