Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Define property methods as "getters" #6304

Merged
merged 36 commits into from
Nov 14, 2023
Merged

Define property methods as "getters" #6304

merged 36 commits into from
Nov 14, 2023

Conversation

mernst
Copy link
Member

@mernst mernst commented Nov 13, 2023 •
edited by smillst
Loading

Merge after #6302.

@mernst
New command-line option -AassumePureGetters
3c74502
@mernst
Merge ../checker-framework-branch-master into getters-pure
6fefee4
@mernst
Checkpoint
fd47257
@mernst
Minor updates to purity analysis
9613364
@mernst
Merge ../checker-framework-branch-master into purity-minor
4032b01
@mernst
Temporary diagnostics
fb2fd8d
@mernst
Added method isDeterministic() to the AnnotationProvider interface
9b73c01
@mernst
Do not instantiate PurityUtils
48a21c1
@mernst
Merge ../checker-framework-fork-mernst-branch-isDeterministic into ge…
d0eda64 
…tters-pure
@mernst
Merge ../checker-framework-fork-mernst-branch-purity-minor into isDet…
5ccb4d9 
…erministic
@mernst
Add assumeDeterministic variable
e58d92a
@mernst
Add comment
9e39c91
@mernst
Add comment
8b46918
@mernst
Merge ../checker-framework-fork-mernst-branch-purity-minor into isDet…
66d3c7e 
…erministic
@mernst
Merge ../checker-framework-fork-mernst-branch-isDeterministic into ge…
5346cc9 
…tters-pure
@mernst
Merge ../checker-framework-fork-mernst-branch-isDeterministic into ge…
32096b2 
…tters-pure
@mernst
parameter => argument
b695bca
@mernst
Text in Dataflow Manual
3f94cb5
@mernst
Adjust expected errors
90e2ed2
@mernst
Rename variable
2776bdc
@mernst
Merge ../checker-framework-fork-mernst-branch-purity-minor into isDet…
ff36cf5 
…erministic
@mernst
Merge ../checker-framework-fork-mernst-branch-isDeterministic into ge…
3f3a25f 
…tters-pure
@mernst
Tweaks
7e0a50c
@mernst
Add fix in MethodCall; remove diagnostics
4fdbbdb
@mernst
Merge ../checker-framework-branch-master into purity-minor
be326fd
@mernst
Merge ../checker-framework-fork-mernst-branch-purity-minor into isDet…
521aff7 
…erministic
@mernst
Merge ../checker-framework-fork-mernst-branch-isDeterministic into ge…
77f7813 
…tters-pure
@mernst
Refactor
a60aad1
@mernst
Define property methods as "getters"
64365f0
@mernst
Merge ../checker-framework-branch-master into purity-minor
91399e4
@mernst mernst mentioned this pull request Nov 13, 2023
Merged
@smillst smillst mentioned this pull request Nov 14, 2023
Merged
@smillst smillst enabled auto-merge (squash) November 14, 2023 17:47
@smillst smillst merged commit 338759c into typetools:master Nov 14, 2023
29 checks passed
@smillst smillst deleted the getters-and-trivial-properties-pure branch November 14, 2023 22:42
wmdietl pushed a commit to eisop/checker-framework that referenced this pull request Dec 5, 2023
@mernst @wmdietl
Define property methods as "getters" (typetools#6304)
d229879
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@smillst smillst smillst approved these changes

Assignees

@smillst smillst

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mernst @smillst