We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
@CalledMethods
1 parent fd16774 commit 96d02e6Copy full SHA for 96d02e6
test/stubs/org/checkerframework/checker/objectconstruction/qual/CalledMethods.java renamed to test/stubs/org/checkerframework/checker/calledmethods/qual/CalledMethods.java
test/stubs/org/checkerframework/checker/objectconstruction/qual/NotCalledMethods.java renamed to test/stubs/org/checkerframework/checker/calledmethods/qual/NotCalledMethods.java
0 commit comments