[typetools/checker-framework] 78ff06: Use getCurrentPath in BaseTypeVisitory subclasses

0 views
Skip to first unread message

Suzanne Millstein

unread,
Oct 13, 2021, 6:36:19 PM10/13/21
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 78ff06e60fe5bd4138967d8752fb4d665584465c
https://github.com/typetools/checker-framework/commit/78ff06e60fe5bd4138967d8752fb4d665584465c
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2021-10-13 (Wed, 13 Oct 2021)

Changed paths:
M checker/src/main/java/org/checkerframework/checker/guieffect/GuiEffectVisitor.java
M framework/src/main/java/org/checkerframework/common/aliasing/AliasingVisitor.java

Log Message:
-----------
Use getCurrentPath in BaseTypeVisitory subclasses


Reply all
Reply to author
Forward
0 new messages