Code

Add @SideEffectsOnly annotation#5582

Code

Draft

mernst wants to merge 174 commits intotypetools:mastertypetools/checker-framework:masterfrom mernst:side-effects-onlymernst/checker-framework:side-effects-onlyCopy head branch name to clipboard

+1,073-50

Commits

Commits on Dec 3, 2020

• temp commit

  t-rasmud

  committed
  427c55a

• side effects only checker

  t-rasmud

  committed
  0ad09bb

Commits on Dec 4, 2020

• side effects only for this and field values

  t-rasmud

  committed
  15ca2db

• more tests

  t-rasmud

  committed
  2857929

• add null checks

  t-rasmud

  committed
  21dc0a4

• side effects only javadoc

  t-rasmud

  committed
  ef59d5e

• purity suggestions test

  t-rasmud

  committed
  40fdfd8

• nullness check

  t-rasmud

  committed
  ac6d8ca

• javadoc

  t-rasmud

  committed
  df56c0d

Commits on Dec 5, 2020

• remove sideeffectsonly from purity

  t-rasmud

  committed
  48d2d42

• remove side_effects_only from purity kinds

  t-rasmud

  committed
  595de2c

Commits on Dec 6, 2020

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  9347508

• remove unnecessary

  t-rasmud

  committed
  1459a9c

• add documentation

  t-rasmud

  committed
  39edb6d

• documentation for side effects only

  t-rasmud

  committed
  b3ecb7e

• fix formatting

  t-rasmud

  committed
  7300132

Commits on Dec 8, 2020

• fix side effects only for receiver

  t-rasmud

  committed
  8c3a428

Commits on Feb 16, 2021

• checher-qual after merging with master

  t-rasmud

  committed
  c34dd98

• remove unrelated

  t-rasmud

  committed
  1c9d4ad

Commits on Feb 17, 2021

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  dcc0390

• refactor qual

  t-rasmud

  committed
  a2dd514

Commits on Feb 23, 2021

• Merge github.com:typetools/checker-framework

  t-rasmud

  committed
  34c456b

• Merge github.com:typetools/checker-framework

  t-rasmud

  committed
  5eb932a

Commits on Mar 2, 2021

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  5fd464f

• remove unrelated test file

  t-rasmud

  committed
  a0442b4

• documenting toy checker

  t-rasmud

  committed
  ce77c26

• fix documentation and refactoring

  t-rasmud

  committed
  171090d

• fix SideEffectsOnly documentation

  t-rasmud

  committed
  6877a37

• improves documentation for SideEffectsOnly

  t-rasmud

  committed
  8a04d7f

• more documentation for SideEffectsOnly

  t-rasmud

  committed
  245984b

Commits on Mar 4, 2021

• Merge github.com:typetools/checker-framework

  t-rasmud

  committed
  d7a6c6a

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  837128d

• addressing review

  t-rasmud

  committed
  ec10c52

• addressing review: entryset() to keyset()

  t-rasmud

  committed
  201d09b

• give meaningful qualifier names

  t-rasmud

  committed
  39f0044

• address review

  t-rasmud

  committed
  835712a

Commits on Mar 5, 2021

• JavaExpression instead of String and clean-up

  t-rasmud

  committed
  9bbe372

• test case: change parameter names

  t-rasmud

  committed
  3e0fbe7

• fix documentation

  t-rasmud

  committed
  5f03c88

• Merge github.com:typetools/checker-framework

  t-rasmud

  committed
  d1dc0cb

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  9344756

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  5afaf07

• fix checker-qual

  t-rasmud

  committed
  237e037

• checker-qual signedness fix

  t-rasmud

  committed
  f93a6dc

Commits on Mar 6, 2021

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  4590c3d

Commits on Mar 9, 2021

• fix documentation for SideEffectsOnly

  t-rasmud

  committed
  810a45a

• SideEffectsOnly empty test

  t-rasmud

  committed
  6c3560e

• SideEffectsOnly documentation fixes

  t-rasmud

  committed
  d4d967d

Commits on Mar 11, 2021

• Merge branch 'side-effects-only' of github.com:t-rasmud/checker-framework into side-effects-only

  mernst

  committed
  9b85e87

Commits on Mar 18, 2021

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  d9cd13d

• Documentation improvements

  mernst

  committed
  4712584

• Tweaks

  mernst

  committed
  9275dee

Commits on Mar 22, 2021

• Fix error and test case for SideEffectsOnly field

  t-rasmud

  committed
  3d2caa1

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  9750682

• SideEffects relationship documentatio

  t-rasmud

  committed
  875f638

Commits on Mar 23, 2021

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  0541f0f

Commits on Mar 24, 2021

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  8ea0e1e

• Undo whitespace change

  mernst

  committed
  3092354

• Tweak documentation

  mernst

  committed
  4a11c51

Commits on Mar 30, 2021

• clean imports

  t-rasmud

  committed
  bf86930

• report error correctly

  t-rasmud

  committed
  dee4cd3

• address review comment

  t-rasmud

  committed
  6e5c391

• reintroduce incorrectly deleted code

  t-rasmud

  committed
  87bd9a7

Commits on Mar 31, 2021

• merge with master; check; skip pre-commit

  t-rasmud

  committed
  cbc6afb

• fix updateForMethodCall after merge

  t-rasmud

  committed
  7e0337c

Commits on Apr 2, 2021

• fix imports

  t-rasmud

  committed
  94176a4

Commits on Apr 3, 2021

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  d5c2fea

Commits on Apr 6, 2021

• fix deprecated method

  t-rasmud

  committed
  a2c749e

Commits on Apr 7, 2021

• javadoc fixes

  t-rasmud

  committed
  0d5d7b4

Commits on Apr 8, 2021

• test case for empty @SideEffectsOnly

  t-rasmud

  committed
  2abdc8c

Commits on Apr 9, 2021

• temp commit: experimenting

  t-rasmud

  committed
  a8cad8c

Commits on Apr 12, 2021

• SideEffectsOnly checker: reports error on some assignments

  t-rasmud

  committed
  1cc560e

Commits on May 19, 2021

• merge with master

  t-rasmud

  committed
  b446e3c

Commits on May 20, 2021

• imports refactoring

  t-rasmud

  committed
  8e62d1e

Commits on May 31, 2021

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  533f1eb

Commits on Jun 25, 2021

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  7e6f352

Commits on Jul 8, 2021

• merge

  t-rasmud

  committed
  9f19380

Commits on Jul 11, 2021

• handling method invocations

  t-rasmud

  committed
  0288bdf

Commits on Jul 14, 2021

• SEOnly checking at method invocations

  t-rasmud

  committed
  e09d7ea

Commits on Aug 3, 2021

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  42c6748

Commits on Aug 9, 2021

• Merge branch 'side-effects-only' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  0e478f5

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  72647aa

• fix package name

  t-rasmud

  committed
  f91ac19

Commits on Aug 12, 2021

• test case: Check SideEffectsOnly

  t-rasmud

  committed
  fc91585

Commits on Aug 15, 2021

• comments

  t-rasmud

  committed
  4bcbb3b

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  ebe7036

Commits on Aug 23, 2021

• builds

  t-rasmud

  committed
  e6a61f5

Commits on Oct 14, 2021

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  990e6e2

• SideEffectsOnlyAnnoChecker

  t-rasmud

  committed
  9220596

• test case fixes

  t-rasmud

  committed
  fccd5e6

Commits on Oct 18, 2021

• javadoc

  t-rasmud

  committed
  6d2d9fa

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  e5c48be

Commits on Oct 20, 2021

• documentation for -AcheckSideEffectsOnlyAnnotation

  t-rasmud

  committed
  3c8878c

Commits on Oct 21, 2021

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  a4439a1

• Documentation tweaks

  mernst

  committed
  15b3a08

Commits on Oct 27, 2021

• Tweak comment

  mernst

  committed
  8dd7d94

Commits on Nov 2, 2021

• change method name

  t-rasmud

  committed
  1264b07

• fix error message key

  t-rasmud

  committed
  5b0dbc5

• checkPurityAnnotations flag checks SideEffectsOnly

  t-rasmud

  committed
  1ecd0fe

Commits on Nov 6, 2021

• report error if invoked method not @SideEffectsOnly

  t-rasmud

  committed
  a984534

• report error if invoked method not @SideEffectsOnly

  t-rasmud

  committed
  177c221

Commits on Nov 8, 2021

• adding test case

  t-rasmud

  committed
  eb71099

• fixing javadoc

  t-rasmud

  committed
  a1115c7

• fixing javadoc

  t-rasmud

  committed
  30f4258

Commits on Nov 14, 2021

• testing CheckSideEffectsOnly functionality in Purity Checker

  t-rasmud

  committed
  b630298

• minor

  t-rasmud

  committed
  d1b69c4

Commits on Nov 15, 2021

• fix

  t-rasmud

  committed
  d9e3336

Commits on Nov 22, 2021

• Merge branch 'master' of github.com:t-rasmud/checker-framework into side-effects-only

  t-rasmud

  committed
  9632766

Commits on Jan 5, 2023

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  b0a4dd0

• Tweaks

  mernst

  committed
  2d33f32

Commits on Jan 8, 2023

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  5a1fc70

Commits on Jan 26, 2023

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  dfcd7a9

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  f595e57

• Assign body once

  mernst

  committed
  58a847e

• Merge branch 'master' into side-effects-only

  mernst

  authored
  b35a2d7

• Add default constructors as required by JDK 19

  mernst

  committed
  b4ed608

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  4c2764b

• Remove unneeded option

  mernst

  committed
  c88351c

• Tweak comments

  mernst

  committed
  0161dfb

• Rename

  mernst

  committed
  8d97f20

• Add documentation

  mernst

  committed
  f639ba2

• Rename variable

  mernst

  committed
  1463fff

• Merge branch 'side-effects-only' of github.com:mernst/checker-framework into side-effects-only

  mernst

  committed
  67c0e46

Commits on Feb 2, 2023

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  3b6c532

Commits on Feb 3, 2023

• Checkpoint

  mernst

  committed
  d74c8a4

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  ca34d95

• Merge branch 'master' into side-effects-only

  mernst

  authored
  6c5d10c

Commits on Feb 20, 2023

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  9d1f067

Commits on Mar 14, 2023

• Merge branch 'master' into side-effects-only

  mernst

  authored
  8b5e726

Commits on Jan 22, 2024

• Tweak definition of @SideEffectsOnly

  mernst

  committed
  0832758

• Reduce diffs with upstream

  mernst

  committed
  03bca3f

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  d52132e

Commits on Apr 1, 2024

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  98607fe

Commits on Apr 4, 2024

• Merge branch 'typetools:master' into side-effects-only

  jyoo980

  authored
  275e806

Commits on Apr 5, 2024

• Issue warning on @SideEffectsOnly({})

  jyoo980

  committed
  8c56e18

• Merge branch 'master' into side-effects-only

  jyoo980

  authored
  cf0f995

• Update manual guidance for @SideEffectsOnly({})

  jyoo980

  committed
  31d1b43

• Merge branch 'side-effects-only' of github.com:mernst/checker-framework into side-effects-only

  jyoo980

  committed
  3a69228

Commits on Apr 8, 2024

• Add test case for empty @SideEffectsOnly

  jyoo980

  committed
  a9fccf6

• Merge branch 'master' into side-effects-only

  jyoo980

  committed
  647c9b9

• Update tests

  jyoo980

  committed
  98c1b5d

Commits on Apr 10, 2024

• Merge branch 'master' into side-effects-only

  jyoo980

  committed
  ed83772

Commits on Apr 11, 2024

• Apply lint

  jyoo980

  committed
  3afb830

Commits on Apr 12, 2024

• Refactor SideEffectsOnlyChecker#visitMethodInvocation and pass more tests

  jyoo980

  committed
  2f7355b

• Fix failing test

  jyoo980

  committed
  b2fb30b

• Make behaviour consistent with manual when @SideEffectsOnly appears with @Pure or @SideEffectFree

  jyoo980

  committed
  9f9e005

• Add Javadoc

  jyoo980

  committed
  3bea5d8

Commits on Apr 13, 2024

• Add naive implementation for aliasing

  jyoo980

  committed
  7b1f256

• Improve error message

  jyoo980

  committed
  b7c8187

• Correct Javadoc

  jyoo980

  committed
  73c45c0

Commits on Apr 14, 2024

• "Unrefine" fields in abstract store depending on declared side-effects

  jyoo980

  committed
  01ff6f8

• Update Javadoc

  jyoo980

  committed
  4fe3a6e

Commits on Apr 15, 2024

• Remove unnecessary print line

  jyoo980

  committed
  61909fd

• Correct logic for field CFStore updates

  jyoo980

  committed
  a4f3ec1

• Update naming

  jyoo980

  committed
  7ec0b2f

• Merge branch 'master' into side-effects-only

  jyoo980

  authored
  da51f1b

• Merge branch 'master' into side-effects-only

  jyoo980

  authored
  9f81866

• Merge branch 'master' into side-effects-only

  jyoo980

  authored
  d4230fe

Commits on Apr 16, 2024

• Make refinement happen for local variables (THIS BREAKS TESTS)

  jyoo980

  committed
  64a6561

Commits on Apr 17, 2024

• Merge branch 'master' into side-effects-only

  jyoo980

  authored
  d5347bd

Commits on Apr 20, 2024

• Merge branch 'master' into side-effects-only

  jyoo980

  committed
  e02124d

Commits on Apr 23, 2024

• Update logic for removing information from method calls

  jyoo980

  committed
  d55c9d8

• Merge branch 'master' into side-effects-only

  jyoo980

  authored
  906c8b5

• Merge branch 'master' into side-effects-only

  jyoo980

  authored
  dcede5d

• Add test case

  jyoo980

  committed
  820002a

• Avoid CF crash when invalid expression is passed to @SideEffectsOnly

  jyoo980

  committed
  090ec33

• Merge branch 'master' into side-effects-only

  jyoo980

  authored
  4f46ad4

Commits on Apr 24, 2024

• Possible fix to forEach lambda

  jyoo980

  committed
  5911bfd

• Merge branch 'side-effects-only' of github.com:mernst/checker-framework into side-effects-only

  jyoo980

  committed
  44c5020

• Clean up test case

  jyoo980

  committed
  7e9e02c

Commits on Apr 26, 2024

• Merge branch 'master' into side-effects-only

  jyoo980

  committed
  a39c61d

Commits on Apr 27, 2024

• Removing sideEffectsUnrefineAliases flag

  jyoo980

  committed
  17c0ce6

Commits on Apr 29, 2024

• Merge branch 'master' into side-effects-only

  jyoo980

  committed
  e7cf745

Commits on Jul 8, 2024

• Merge ../checker-framework-branch-master into side-effects-only

  mernst

  committed
  8966a5d