Skip to content
Open
Show file tree
Hide file tree
Changes from 5 commits
Commits
Show all changes
87 commits
Select commit Hold shift + click to select a range
ed27c10
Add initial DoubleJavacVisitor skeleton
avenger2597 Dec 22, 2025
c9f2bd3
Fix vist method issues
avenger2597 Dec 28, 2025
1cdd455
Address review comments
avenger2597 Jan 2, 2026
9c6428a
Merge ../checker-framework-branch-master into ajava-javac-visitor-base
mernst Jan 5, 2026
7f2cf81
Add contributor
mernst Jan 5, 2026
5f0beae
Style fix
avenger2597 Jan 6, 2026
03fff45
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Jan 6, 2026
a03e0a4
Update javadoc
avenger2597 Jan 6, 2026
672f8a5
Replace Error with BugInCF
avenger2597 Jan 7, 2026
f87fafb
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Jan 9, 2026
e55d7a5
Merge ../checker-framework-branch-master into ajava-javac-visitor-base
mernst Jan 12, 2026
7164538
Documentation
mernst Jan 12, 2026
d6718e7
Use `@link` for cross-references
mernst Jan 15, 2026
8efb894
Make constructor protected
mernst Jan 15, 2026
c433bca
Try to document the execution model
mernst Jan 15, 2026
eea6478
`scanOpt` was not needed; it and `scan` had identical behavior
mernst Jan 15, 2026
998fb1e
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Jan 16, 2026
e4a7a5f
Clean up class structure to follow superclass and updata javadoc
avenger2597 Jan 16, 2026
148231b
Update javadoc for scan methods
avenger2597 Jan 16, 2026
56b480f
Add scanAnnotations to permit different in annotations between 2 trees
avenger2597 Jan 16, 2026
05f0abf
Clarify record-component traversal limitations in visitClass javadoc
avenger2597 Jan 17, 2026
41495da
Tweak documentation
mernst Jan 17, 2026
683b863
Merge branch 'ajava-javac-visitor-base' of github.com:avenger2597/che…
mernst Jan 17, 2026
4e3dab2
Merge ../checker-framework-branch-master into ajava-javac-visitor-base
mernst Jan 17, 2026
674ca06
Merge ../checker-framework-branch-master into ajava-javac-visitor-base
mernst Jan 17, 2026
cff90ed
Merge ../checker-framework-branch-master into ajava-javac-visitor-base
mernst Jan 19, 2026
4d66137
Comment changes
mernst Jan 19, 2026
0321430
Comment changes
mernst Jan 19, 2026
4f929ee
Reinstate a comment
mernst Jan 19, 2026
7650f2b
Expand on design
mernst Jan 19, 2026
9577aa4
`scan` method
mernst Jan 19, 2026
0f766f6
Comments
mernst Jan 19, 2026
00334e1
Use parallel variable names
mernst Jan 19, 2026
16ff4ec
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Jan 23, 2026
ba28542
Update javadoc adn remove annotation comparison
avenger2597 Jan 23, 2026
9d79964
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Jan 23, 2026
0006bfb
Update Javadoc
avenger2597 Jan 23, 2026
f31da67
Consider Receiver Parameters may differ
avenger2597 Jan 23, 2026
bed7e40
Merge branch 'master' into ajava-javac-visitor-base
msridhar Feb 9, 2026
2889d36
Comment changes, and avoid computation on error
mernst Feb 9, 2026
23117e1
Merge ../checker-framework-branch-master into ajava-javac-visitor-base
mernst Feb 9, 2026
a0122bb
Fix reordering
mernst Feb 9, 2026
dbb45b7
Don't auto pause reviews
mernst Feb 9, 2026
1754104
Fix CodeRabbit configuration
mernst Feb 9, 2026
e07ba6f
Update javadoc
avenger2597 Feb 9, 2026
f7d1b73
Merge branch 'master' into ajava-javac-visitor-base
mernst Feb 9, 2026
642f707
Update javadoc for wildcards
avenger2597 Feb 10, 2026
5e28e2d
Update javadoc for record components
avenger2597 Feb 10, 2026
4c000a3
Fix cross-reference
mernst Feb 10, 2026
c666dd2
Use `@code`
mernst Feb 10, 2026
76db533
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Feb 10, 2026
818deff
Record components via reflection
avenger2597 Feb 11, 2026
606da06
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Feb 11, 2026
f510ea2
Reflection for permitsClause
avenger2597 Feb 11, 2026
caa0755
Added all missing visitXyz methods
avenger2597 Feb 14, 2026
799b2de
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Feb 20, 2026
625a944
Use reflection for JDK 12+ tree types to fix JDK 11 compilation
avenger2597 Feb 20, 2026
54109c1
Review comments
avenger2597 Feb 20, 2026
ca83fc2
Abstract out assertion methods
mernst Feb 21, 2026
06d9013
Change exception type
mernst Feb 21, 2026
8c76a45
Expand diagnostics
mernst Feb 21, 2026
d863591
Handle two null lists
mernst Feb 21, 2026
6f2c48f
Improve error message formatting
mernst Feb 21, 2026
c672281
Use `scanExpr` rather than `scan`
mernst Feb 22, 2026
4d0e243
Briefer error message
mernst Feb 22, 2026
910e865
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Feb 25, 2026
5494660
Address review comments in DoubleJavacVisitor
avenger2597 Feb 25, 2026
34409ac
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Feb 25, 2026
44bae00
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Feb 26, 2026
cf51bc1
Merge ../checker-framework-branch-master into ajava-javac-visitor-base
mernst Mar 2, 2026
14a0991
Merge ../checker-framework-branch-master into ajava-javac-visitor-base
mernst Mar 2, 2026
57985ba
Put error key in brackets
mernst Mar 2, 2026
0008444
Merge ../checker-framework-fork-mernst-branch-more-square-brackets in…
mernst Mar 2, 2026
7668ccc
Undo a change
mernst Mar 2, 2026
cb5f029
Another pair of brackets
mernst Mar 2, 2026
41f46dd
Merge ../checker-framework-fork-mernst-branch-more-square-brackets in…
mernst Mar 2, 2026
224f485
Merge ../checker-framework-branch-master into more-square-brackets
mernst Mar 3, 2026
775a2db
Add space around heading
mernst Mar 3, 2026
f26dca7
Merge ../checker-framework-branch-master into more-square-brackets
mernst Mar 3, 2026
065df80
Merge ../checker-framework-fork-mernst-branch-more-square-brackets in…
mernst Mar 3, 2026
c24c4cc
Merge ../checker-framework-branch-master into ajava-javac-visitor-base
mernst Mar 3, 2026
d4d3d7f
Simplify scanList and assertSameLength to not accept null
avenger2597 Mar 3, 2026
cde31a6
Merge ../checker-framework-branch-master into ajava-javac-visitor-base
mernst Mar 4, 2026
89762e6
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Mar 11, 2026
a158884
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Mar 11, 2026
9daafeb
Merge branch 'master' into ajava-javac-visitor-base
avenger2597 Mar 24, 2026
043a558
Merge ../checker-framework-branch-master into ajava-javac-visitor-base
mernst Apr 4, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions docs/manual/contributors.tex
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
Anant Jain,
Anatoly Kupriyanov,
Andy Turner,
Ankit Yadav,
Aosen Xiong,
Arie van Deursen,
Artem Pyanykh,
Expand Down
Loading