Code

Optimize datastructure#156

Code

Open

wmdietl wants to merge 142 commits intoopprop:masteropprop/checker-framework:masterfrom wmdietl:issue3484wmdietl/checker-framework:issue3484Copy head branch name to clipboard

+6,827-2,585

Commits

Commits on Jul 5, 2020

• Add comma

  mernst

  committed
  d428f34

  Copy full SHA for d428f34

• The POM files list only the lead developers

  mernst

  committed
  4feace5

  Copy full SHA for 4feace5

• State earlier that utility files use the MIT license

  mernst

  committed
  2e62dc3

  Copy full SHA for 2e62dc3

• Put classes in more logical order

  mernst

  committed
  e4df548

  Copy full SHA for e4df548

• Improve formatting of Javadoc comment

  mernst

  committed
  6bfde18

  Copy full SHA for 6bfde18

Commits on Jul 6, 2020

• Bump de.undercouch.download from 4.0.4 to 4.1.0

  dependabot-preview[bot]

  authored
  6db45f4

  Copy full SHA for 6db45f4

• Add optional message argument to castNonNull; fixes typetools#3424 (typetools#3427)

  mernst

  authored
  d7dcfe2

  Copy full SHA for d7dcfe2

• Permit @UsesObjectEquals when the class overrides equals() (typetools#3426)

  mernst

  authored
  29dfee3

  Copy full SHA for 29dfee3

• Add Interning Checker method annotations @EqualsMethod and @CompareToMethod

  mernst

  authored
  360170a

  Copy full SHA for 360170a

• Fix indentation

  mernst

  committed
  70cc4f2

  Copy full SHA for 70cc4f2

• Handle boxed primitives in the Signedness Checker

  mernst

  authored
  83305b2

  Copy full SHA for 83305b2

• License clarification; fixes typetools#3429

  mernst

  authored
  7f44828

  Copy full SHA for 7f44828

• Add TypeSystemError exception

  smillst

  authored
  2a9a131

  Copy full SHA for 2a9a131

• Remove external links to images

  Show description for fa95fd5
  olekw

  authored
  fa95fd5

  Copy full SHA for fa95fd5

Commits on Jul 7, 2020

• Fix unprintable class when param types are inferred from assignments

  kelloggm

  authored
  423d0a2

  Copy full SHA for 423d0a2

• Emphasize that -AuseConservativeDefaultsForUncheckedCode suppresses warnings

  mernst

  committed
  99406ea

  Copy full SHA for 99406ea

• Rename WorkingNullness to NullnessSkipSome, simplify command-line argument

  mernst

  authored
  a751028

  Copy full SHA for a751028

• Add isPolymorphicQualifier method to QualifierHierarchy class. (typetools#3409)

  Show description for 8f1dfe6
  smillst

  authored
  8f1dfe6

  Copy full SHA for 8f1dfe6

• Add contributor

  mernst

  committed
  8896256

  Copy full SHA for 8896256

• Fix null-pointer crash in Ainfer=stubs

  kelloggm

  authored
  dc530c3

  Copy full SHA for dc530c3

• Implement @FindDistinct formal parameter annotation

  mernst

  authored
  4bd0591

  Copy full SHA for 4bd0591

• Interning Checker: Use factory method to get declaration annotation. (typetools#3440)

  smillst

  authored
  999e2aa

  Copy full SHA for 999e2aa

• Update LiveSimple.pdf. (typetools#3421)

  xingweitian

  authored
  ca7d2e9

  Copy full SHA for ca7d2e9

Commits on Jul 8, 2020

• Run Interning Checker on the Checker Framework codebase

  mernst

  authored
  2ec4fd3

  Copy full SHA for 2ec4fd3

• Grammar fix

  mernst

  committed
  ad8aeec

  Copy full SHA for ad8aeec

• Print type parameters correctly for outer classes using -Ainfer=stubs

  kelloggm

  authored
  68a9d89

  Copy full SHA for 68a9d89

• Add nullness annotations to framework-test project (typetools#3446)

  mernst

  authored
  3c3ada0

  Copy full SHA for 3c3ada0

• Test case for issue typetools#3449

  mernst

  committed
  d3da57a

  Copy full SHA for d3da57a

Commits on Jul 9, 2020

• Re-enable Javadoc tests

  mernst

  authored
  c728dbd

  Copy full SHA for c728dbd

• Bump versions.autoValue from 1.7.3 to 1.7.4

  dependabot-preview[bot]

  authored
  85b5f18

  Copy full SHA for 85b5f18

• Use -ArequirePrefixInWarningSuppressions when type-checking CF source code

  mernst

  authored
  2f8bfe0

  Copy full SHA for 2f8bfe0

• Do not do inference on compiler-generated variables in whole-program inference

  kelloggm

  authored
  cc5c3c7

  Copy full SHA for cc5c3c7

• Skip directories with generated java files. (typetools#3454)

  smillst

  authored
  5436ad4

  Copy full SHA for 5436ad4

Commits on Jul 10, 2020

• Prevent local classes from being written to stub files (typetools#3462)

  Show description for 492f41e
  jwaataja

  authored
  492f41e

  Copy full SHA for 492f41e

• Add tests for conversionCharFromFormat

  mernst

  authored
  2b02999

  Copy full SHA for 2b02999

• Default array.length to @initialized. (typetools#3459)

  Show description for 9d44208
  smillst

  authored
  9d44208

  Copy full SHA for 9d44208

• Add SignednessUtilExtra to checker-qual.jar (typetools#3458)

  Show description for 820cbbf
  smillst

  authored
  820cbbf

  Copy full SHA for 820cbbf

• Tweak regarding format specifiers

  mernst

  authored
  b087dba

  Copy full SHA for b087dba

• Run the Nullness Checker with -AuseConservativeDefaultsForUncheckedCode=source on the Checker Framework

  smillst

  authored
  0004ac2

  Copy full SHA for 0004ac2

• Re-enable Javadoc tests

  mernst

  committed
  80ebb1e

  Copy full SHA for 80ebb1e

• Change "locally-modified" to "locally-built"

  mernst

  committed
  ea0d493

  Copy full SHA for ea0d493

Commits on Jul 12, 2020

• Documentation and minor refactoring

  mernst

  authored
  1280e82

  Copy full SHA for 1280e82

• Add dependencies to Azure Pipelines jobs

  mernst

  authored
  70e3761

  Copy full SHA for 70e3761

Commits on Jul 13, 2020

• Add more @AnnotatedFor

  mernst

  authored
  674c402

  Copy full SHA for 674c402

• Reduce latency by breaking all_tests into 2 jobs

  mernst

  authored
  f87607b

  Copy full SHA for f87607b

Commits on Jul 14, 2020

• Collect info from store in Accumulation Checker

  kelloggm

  authored
  0b5638c

  Copy full SHA for 0b5638c

Commits on Jul 15, 2020

• Default char and Character to @Unsigned

  mernst

  authored
  661592c

  Copy full SHA for 661592c

• Split long lines

  mernst

  committed
  a6d05ae

  Copy full SHA for a6d05ae

Commits on Jul 16, 2020

• Bump de.undercouch.download from 4.1.0 to 4.1.1

  dependabot-preview[bot]

  authored
  4e4eda9

  Copy full SHA for 4e4eda9

• Rename file to avoid multiple test cases with same name

  mernst

  committed
  a263ef5

  Copy full SHA for a263ef5

Commits on Jul 17, 2020

• StubParser documentation improvements

  mernst

  authored
  5621f64

  Copy full SHA for 5621f64

Commits on Jul 20, 2020

• Lombok's NonNull is a type annotation

  mernst

  committed
  1f00a84

  Copy full SHA for 1f00a84

• Move getValue(Tree) to Analysis interface. (typetools#3420)

  xingweitian

  authored
  dbb8241

  Copy full SHA for dbb8241

• Don't ignore type arguments (Fixes typetools#3443.) (typetools#3456)

  smillst

  authored
  fed0216

  Copy full SHA for fed0216

• Add test case for Issue 2383. (typetools#3483)

  smillst

  authored
  9b1cbbd

  Copy full SHA for 9b1cbbd

• Add extraArgs argument to commonAssignmentCheck

  mernst

  authored
  6c2cf99

  Copy full SHA for 6c2cf99

• Add -Aversion command-line option; fixes typetools#3381

  PRITI1999

  authored
  3498970

  Copy full SHA for 3498970

Commits on Jul 21, 2020

• Add contributor

  mernst

  committed
  3c29667

  Copy full SHA for 3c29667

• Reorder changelog

  mernst

  committed
  0c00b3f

  Copy full SHA for 0c00b3f

• Add predicate support to accumulation checker (typetools#3476)

  kelloggm

  authored
  cb8e74a

  Copy full SHA for cb8e74a

• Update makefile targets for Daikon type-checking

  mernst

  committed
  fb533f7

  Copy full SHA for fb533f7

• Reduce duplication in comments

  mernst

  authored
  7c5bf4b

  Copy full SHA for 7c5bf4b

• Remove needless method argument

  mernst

  authored
  213e2bd

  Copy full SHA for 213e2bd

• Alphabetize dependencies

  mernst

  committed
  13261ea

  Copy full SHA for 13261ea

• Another example of a method that throws if its argument is null

  mernst

  committed
  8ec9df3

  Copy full SHA for 8ec9df3

• Support unique classes (Fixes typetools#3313) (typetools#3336)

  aditya3434

  authored
  c44ded4

  Copy full SHA for c44ded4

• Improve the documentation of Receiver (typetools#3473)

  mernst

  authored
  eafe915

  Copy full SHA for eafe915

Commits on Jul 22, 2020

• Fix grammar

  DmitriyShepelev

  authored
  bc3f109

  Copy full SHA for bc3f109

• Documentation tweaks

  mernst

  authored
  15cc1c9

  Copy full SHA for 15cc1c9

• Bump biz.aQute.bnd.gradle from 5.1.1 to 5.1.2

  dependabot-preview[bot]

  authored
  f358863

  Copy full SHA for f358863

• Updated the number of developers

  NITIN23329

  authored
  11d7bca

  Copy full SHA for 11d7bca

Commits on Jul 23, 2020

• Turn URLs into links

  mernst

  authored
  5d8457b

  Copy full SHA for 5d8457b

• Documentation tweaks

  mernst

  committed
  4ad676e

  Copy full SHA for 4ad676e

• Avoid more unnecessary computation

  mernst

  committed
  90cdd5e

  Copy full SHA for 90cdd5e

• Correct the logic of dataflow framework. (typetools#3414)

  Show description for bc9a120
  xingweitian

  authored
  bc9a120

  Copy full SHA for bc9a120

• Don't permit bottom to be null (typetools#3497)

  mernst

  authored
  d8e7924

  Copy full SHA for d8e7924

Commits on Jul 24, 2020

• Expand information about contributing

  mernst

  committed
  90f4053

  Copy full SHA for 90f4053

• Contributing annotations for non-JDK libraries

  mernst

  committed
  076e281

  Copy full SHA for 076e281

• Add a TypeHierarchy for the Signedness Checker

  mernst

  authored
  25d045f

  Copy full SHA for 25d045f

• Correct/Improve UpperboundFor documentation

  smillst

  authored
  6369565

  Copy full SHA for 6369565

• Improve DefaultTypeHierarchy documentation

  mernst

  authored
  7b683dc

  Copy full SHA for 7b683dc

• make mergeStubsIntoType protected

  kelloggm

  authored
  013ff9a

  Copy full SHA for 013ff9a

• Enhance message for argument.type.incompatible

  mernst

  authored
  941fd23

  Copy full SHA for 941fd23

• Retreive @minlen annotations from ArrayAccess receivers (typetools#3502)

  PRITI1999

  authored
  53b4d51

  Copy full SHA for 53b4d51

Commits on Jul 25, 2020

• Fix spelling

  mernst

  committed
  79f0c7c

  Copy full SHA for 79f0c7c

Commits on Jul 26, 2020

• Javadoc fixes

  mernst

  authored
  683a390

  Copy full SHA for 683a390

• Adapt to JDK @Covariant annotations

  mernst

  authored
  a726683

  Copy full SHA for a726683

Commits on Jul 27, 2020

• Bump com.gorylenko.gradle-git-properties from 2.2.2 to 2.2.3

  dependabot-preview[bot]

  authored
  923531b

  Copy full SHA for 923531b

• Update the version number.

  smillst

  committed
  8f1f06d

  Copy full SHA for 8f1f06d

• More information in Purity Checker messages (typetools#3512)

  mernst

  authored
  eab075d

  Copy full SHA for eab075d

• Add a link to Javadoc

  mernst

  committed
  408e1dd

  Copy full SHA for 408e1dd

• Fix usage instructions

  mernst

  committed
  239c5a9

  Copy full SHA for 239c5a9

Commits on Jul 28, 2020

• Clarify @Covariant documentation in terms of clients (typetools#3518)

  mernst

  authored
  53a6f3c

  Copy full SHA for 53a6f3c

• How to distribute a stub file

  mernst

  authored
  bb1e380

  Copy full SHA for bb1e380

• Add Javadoc

  t-rasmud

  authored
  a4b956c

  Copy full SHA for a4b956c

• Fix typo

  wmdietl

  authored
  3f6bd29

  Copy full SHA for 3f6bd29

Commits on Jul 29, 2020

• Add parameters to the output dot file's name. (typetools#3521)

  xingweitian

  authored
  1d358c4

  Copy full SHA for 1d358c4

• Deprecate *TypeVariable methods in QualifierHierarchy and improve documentation (typetools#3445)

  Show description for 781f189
  smillst

  authored
  781f189

  Copy full SHA for 781f189

• Fix issue 3482: Add method and class tree to CFGLambda, handle lambda case in DOTCFGVisualizer to avoid crash. (typetools#3490)

  xingweitian

  authored
  4676bdb

  Copy full SHA for 4676bdb

• Improve CFG visualization documentation (typetools#3514)

  mernst

  authored
  f9d4dc7

  Copy full SHA for f9d4dc7

• Improve Dataflow Framework manual

  mernst

  authored
  52b58d5

  Copy full SHA for 52b58d5

• Make CFG construction more deteriministic (typetools#3517)

  mernst

  authored
  017e95d

  Copy full SHA for 017e95d

Commits on Jul 30, 2020

• Add a new parameter "--string" to CFGVisualizeLauncher (typetools#3509)

  Show description for a05fba3
  xingweitian

  authored
  a05fba3

  Copy full SHA for a05fba3

• Fix pre-commit hook

  mernst

  committed
  b498aac

  Copy full SHA for b498aac

Commits on Jul 31, 2020

• Add SystemUtil.sleep method (typetools#3527)

  mernst

  authored
  844034d

  Copy full SHA for 844034d

• Add dump-on-error option (Fixes typetools#1395) (typetools#3406)

  aditya3434

  authored
  e8be209

  Copy full SHA for e8be209

• Improve UserError message in createActiveOptions() (typetools#3530)

  PRITI1999

  authored
  c46765e

  Copy full SHA for c46765e

• Interface should not reference implementation subclasses

  mernst

  authored
  b7f353d

  Copy full SHA for b7f353d

• Improve defaults for local variables with a qualifier parameter (typetools#3503)

  Show description for d9e984f
  jwaataja

  authored
  d9e984f

  Copy full SHA for d9e984f

• Remove FrameworkPer[Directory/File]Test and use CheckerFramework versions. (typetools#3525)

  wmdietl

  authored
  50baa53

  Copy full SHA for 50baa53

• Improve option handling (Fixes typetools#3528) (typetools#3537)

  wmdietl

  authored
  b117399

  Copy full SHA for b117399

• Visualize CFGs without package names (typetools#3516)

  mernst

  authored
  7200178

  Copy full SHA for 7200178

• Support remove() in iterator (typetools#3538)

  mernst

  authored
  32a57f2

  Copy full SHA for 32a57f2

• Improve documentation

  mernst

  authored
  271497a

  Copy full SHA for 271497a

• Make @DefaultFor and @DefaultQualifierForUse consistent

  smillst

  authored
  1234f80

  Copy full SHA for 1234f80

Commits on Aug 1, 2020

• Run Error Prone on every compile

  smillst

  authored
  299c191

  Copy full SHA for 299c191

• Change block labels from long to Object; this makes formatting more flexible

  mernst

  authored
  4272294

  Copy full SHA for 4272294

• Another justification for annotating an entire file

  mernst

  committed
  627c921

  Copy full SHA for 627c921

Commits on Aug 2, 2020

• Don't use deprecated class

  mernst

  authored
  ee56f99

  Copy full SHA for ee56f99

Commits on Aug 3, 2020

• Bump plume-util from 1.1.4 to 1.1.5

  dependabot-preview[bot]

  authored
  e16123b

  Copy full SHA for e16123b

• Propagate length information from argument to return value of Arrays.copyOf() (typetools#3524)

  PRITI1999

  authored
  c9c65d1

  Copy full SHA for c9c65d1

• Prep for release.

  smillst

  committed
  a8a4e50

  Copy full SHA for a8a4e50

• new release 3.6.0

  smillst

  committed
  3611815

  Copy full SHA for 3611815

• Fix dataflow test classpath. (typetools#3548)

  smillst

  authored
  b087452

  Copy full SHA for b087452

• Update version to 3.6.1-SNAPSHOT.

  smillst

  committed
  75151d1

  Copy full SHA for 75151d1

• Merge branch 'master' of github.com:typetools/checker-framework

  smillst

  committed
  2f26266

  Copy full SHA for 2f26266

Commits on Aug 4, 2020

• Only use reference equality.

  wmdietl

  committed
  d0eaf34

  Copy full SHA for d0eaf34

• Add test case from typetools#3550.

  wmdietl

  committed
  48ea6d0

  Copy full SHA for 48ea6d0

• Do pluggable type-checking in misc CI job

  mernst

  authored
  8fbe02d

  Copy full SHA for 8fbe02d

• Change file name to match the class it contains

  mernst

  committed
  07f8f42

  Copy full SHA for 07f8f42

• Improve whitespace style

  mernst

  authored
  3c0c443

  Copy full SHA for 3c0c443

• Rename TestChecker class

  mernst

  authored
  ea06f48

  Copy full SHA for ea06f48

• Make indentation consistent

  mernst

  committed
  1e1fba9

  Copy full SHA for 1e1fba9

• Ensure forking when invoking javac

  mernst

  committed
  592122d

  Copy full SHA for 592122d

• Concision

  mernst

  committed
  d57aec2

  Copy full SHA for d57aec2

• Another symptom of not using the Checker Framework compiler

  mernst

  committed
  8264dc1

  Copy full SHA for 8264dc1

• Add link to CFI

  mernst

  committed
  bac8adb

  Copy full SHA for bac8adb

• Suppress interning warnings. Fix javadoc.

  wmdietl

  committed
  c6f0ebf

  Copy full SHA for c6f0ebf

• Move getSuccessors() into Block (typetools#3534)

  mernst

  authored
  d5d9069

  Copy full SHA for d5d9069

• Undo change.

  wmdietl

  committed
  39221e3

  Copy full SHA for 39221e3

• Merge branch 'master' of github.com:typetools/checker-framework into issue3484

  wmdietl

  committed
  dbdf063

  Copy full SHA for dbdf063

Commits on Aug 5, 2020

• Improve interning annotations

  mernst

  committed
  1c825bd

  Copy full SHA for 1c825bd