Code

Discovery channel#158

Code

Open

wmdietl wants to merge 141 commits intoopprop:masteropprop/checker-framework:masterfrom lnsun:discovery-channellnsun/checker-framework:discovery-channelCopy head branch name to clipboard

+6,746-2,511

Commits

Commits on Jul 5, 2020

• Add comma

  mernst

  committed
  d428f34

• The POM files list only the lead developers

  mernst

  committed
  4feace5

• State earlier that utility files use the MIT license

  mernst

  committed
  2e62dc3

• Put classes in more logical order

  mernst

  committed
  e4df548

• Improve formatting of Javadoc comment

  mernst

  committed
  6bfde18

Commits on Jul 6, 2020

• Bump de.undercouch.download from 4.0.4 to 4.1.0

  dependabot-preview[bot]

  authored
  6db45f4

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

  mernst

  authored
  d7dcfe2

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

  mernst

  authored
  29dfee3

• Add Interning Checker method annotations @EqualsMethod and @CompareToMethod

  mernst

  authored
  360170a

• Fix indentation

  mernst

  committed
  70cc4f2

• Handle boxed primitives in the Signedness Checker

  mernst

  authored
  83305b2

• License clarification; fixes typetools#3429

  mernst

  authored
  7f44828

• Add TypeSystemError exception

  smillst

  authored
  2a9a131

• Remove external links to images

  Show description for fa95fd5
  olekw

  authored
  fa95fd5

Commits on Jul 7, 2020

• Fix unprintable class when param types are inferred from assignments

  kelloggm

  authored
  423d0a2

• Emphasize that -AuseConservativeDefaultsForUncheckedCode suppresses warnings

  mernst

  committed
  99406ea

• Rename WorkingNullness to NullnessSkipSome, simplify command-line argument

  mernst

  authored
  a751028

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

  Show description for 8f1dfe6
  smillst

  authored
  8f1dfe6

• Add contributor

  mernst

  committed
  8896256

• Fix null-pointer crash in Ainfer=stubs

  kelloggm

  authored
  dc530c3

• Implement @FindDistinct formal parameter annotation

  mernst

  authored
  4bd0591

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

  smillst

  authored
  999e2aa

• Update LiveSimple.pdf. (typetools#3421)

  xingweitian

  authored
  ca7d2e9

Commits on Jul 8, 2020

• Run Interning Checker on the Checker Framework codebase

  mernst

  authored
  2ec4fd3

• Grammar fix

  mernst

  committed
  ad8aeec

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

  kelloggm

  authored
  68a9d89

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

  mernst

  authored
  3c3ada0

• Test case for issue typetools#3449

  mernst

  committed
  d3da57a

Commits on Jul 9, 2020

• Re-enable Javadoc tests

  mernst

  authored
  c728dbd

• Bump versions.autoValue from 1.7.3 to 1.7.4

  dependabot-preview[bot]

  authored
  85b5f18

• Use -ArequirePrefixInWarningSuppressions when type-checking CF source code

  mernst

  authored
  2f8bfe0

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

  kelloggm

  authored
  cc5c3c7

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

  smillst

  authored
  5436ad4

• discoverer added

  lnsun

  committed
  8f3de5c

• package, static util, naming

  lnsun

  committed
  f8fb1f9

• doc

  lnsun

  committed
  055a82e

Commits on Jul 10, 2020

• doc

  lnsun

  committed
  b4d8199

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

  Show description for 492f41e
  jwaataja

  authored
  492f41e

• Add tests for conversionCharFromFormat

  mernst

  authored
  2b02999

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

  Show description for 9d44208
  smillst

  authored
  9d44208

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

  Show description for 820cbbf
  smillst

  authored
  820cbbf

• Tweak regarding format specifiers

  mernst

  authored
  b087dba

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

  smillst

  authored
  0004ac2

• Re-enable Javadoc tests

  mernst

  committed
  80ebb1e

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

  mernst

  committed
  ea0d493

Commits on Jul 12, 2020

• Documentation and minor refactoring

  mernst

  authored
  1280e82

• Add dependencies to Azure Pipelines jobs

  mernst

  authored
  70e3761

Commits on Jul 13, 2020

• Add more @AnnotatedFor

  mernst

  authored
  674c402

• Reduce latency by breaking all_tests into 2 jobs

  mernst

  authored
  f87607b

Commits on Jul 14, 2020

• Collect info from store in Accumulation Checker

  kelloggm

  authored
  0b5638c

Commits on Jul 15, 2020

• Default char and Character to @Unsigned

  mernst

  authored
  661592c

• Split long lines

  mernst

  committed
  a6d05ae

Commits on Jul 16, 2020

• Bump de.undercouch.download from 4.1.0 to 4.1.1

  dependabot-preview[bot]

  authored
  4e4eda9

• Rename file to avoid multiple test cases with same name

  mernst

  committed
  a263ef5

Commits on Jul 17, 2020

• StubParser documentation improvements

  mernst

  authored
  5621f64

Commits on Jul 20, 2020

• Lombok's NonNull is a type annotation

  mernst

  committed
  1f00a84

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

  xingweitian

  authored
  dbb8241

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

  smillst

  authored
  fed0216

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

  smillst

  authored
  9b1cbbd

• Add extraArgs argument to commonAssignmentCheck

  mernst

  authored
  6c2cf99

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

  PRITI1999

  authored
  3498970

Commits on Jul 21, 2020

• Add contributor

  mernst

  committed
  3c29667

• Reorder changelog

  mernst

  committed
  0c00b3f

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

  kelloggm

  authored
  cb8e74a

• Update makefile targets for Daikon type-checking

  mernst

  committed
  fb533f7

• Reduce duplication in comments

  mernst

  authored
  7c5bf4b

• Remove needless method argument

  mernst

  authored
  213e2bd

• Alphabetize dependencies

  mernst

  committed
  13261ea

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

  mernst

  committed
  8ec9df3

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

  aditya3434

  authored
  c44ded4

• Improve the documentation of Receiver (typetools#3473)

  mernst

  authored
  eafe915

Commits on Jul 22, 2020

• Fix grammar

  DmitriyShepelev

  authored
  bc3f109

• Documentation tweaks

  mernst

  authored
  15cc1c9

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

  dependabot-preview[bot]

  authored
  f358863

• Updated the number of developers

  NITIN23329

  authored
  11d7bca

Commits on Jul 23, 2020

• Turn URLs into links

  mernst

  authored
  5d8457b

• Documentation tweaks

  mernst

  committed
  4ad676e

• Avoid more unnecessary computation

  mernst

  committed
  90cdd5e

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

  Show description for bc9a120
  xingweitian

  authored
  bc9a120

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

  mernst

  authored
  d8e7924

Commits on Jul 24, 2020

• Expand information about contributing

  mernst

  committed
  90f4053

• Contributing annotations for non-JDK libraries

  mernst

  committed
  076e281

• Add a TypeHierarchy for the Signedness Checker

  mernst

  authored
  25d045f

• Correct/Improve UpperboundFor documentation

  smillst

  authored
  6369565

• Improve DefaultTypeHierarchy documentation

  mernst

  authored
  7b683dc

• make mergeStubsIntoType protected

  kelloggm

  authored
  013ff9a

• Enhance message for argument.type.incompatible

  mernst

  authored
  941fd23

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

  PRITI1999

  authored
  53b4d51

Commits on Jul 25, 2020

• Fix spelling

  mernst

  committed
  79f0c7c

Commits on Jul 26, 2020

• Javadoc fixes

  mernst

  authored
  683a390

• Adapt to JDK @Covariant annotations

  mernst

  authored
  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

• Update the version number.

  smillst

  committed
  8f1f06d

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

  mernst

  authored
  eab075d

• Add a link to Javadoc

  mernst

  committed
  408e1dd

• Fix usage instructions

  mernst

  committed
  239c5a9

Commits on Jul 28, 2020

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

  mernst

  authored
  53a6f3c

• How to distribute a stub file

  mernst

  authored
  bb1e380

• Add Javadoc

  t-rasmud

  authored
  a4b956c

• Fix typo

  wmdietl

  authored
  3f6bd29

Commits on Jul 29, 2020

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

  xingweitian

  authored
  1d358c4

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

  Show description for 781f189
  smillst

  authored
  781f189

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

  xingweitian

  authored
  4676bdb

• ComponentFinderUtil for Analysis

  lnsun

  committed
  f9fd483

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

  lnsun

  committed
  d97e51f

• Improve CFG visualization documentation (typetools#3514)

  mernst

  authored
  f9d4dc7

• Improve Dataflow Framework manual

  mernst

  authored
  52b58d5

• ComponentFinderUtil for Transfer

  lnsun

  committed
  c5f648c

• Make CFG construction more deteriministic (typetools#3517)

  mernst

  authored
  017e95d

Commits on Jul 30, 2020

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

  Show description for a05fba3
  xingweitian

  authored
  a05fba3

• doc

  lnsun

  committed
  63d5c2f

• Fix pre-commit hook

  mernst

  committed
  b498aac

Commits on Jul 31, 2020

• Add SystemUtil.sleep method (typetools#3527)

  mernst

  authored
  844034d

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

  aditya3434

  authored
  e8be209

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

  PRITI1999

  authored
  c46765e

• Interface should not reference implementation subclasses

  mernst

  authored
  b7f353d

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

  Show description for d9e984f
  jwaataja

  authored
  d9e984f

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

  wmdietl

  authored
  50baa53

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

  wmdietl

  authored
  b117399

• Visualize CFGs without package names (typetools#3516)

  mernst

  authored
  7200178

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

  mernst

  authored
  32a57f2

• Improve documentation

  mernst

  authored
  271497a

• Make @DefaultFor and @DefaultQualifierForUse consistent

  smillst

  authored
  1234f80

Commits on Aug 1, 2020

• Run Error Prone on every compile

  smillst

  authored
  299c191

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

  mernst

  authored
  4272294

• Another justification for annotating an entire file

  mernst

  committed
  627c921

Commits on Aug 2, 2020

• Don't use deprecated class

  mernst

  authored
  ee56f99

Commits on Aug 3, 2020

• Improve documentation

  mernst

  committed
  b2cc961

• Bump plume-util from 1.1.4 to 1.1.5

  dependabot-preview[bot]

  authored
  e16123b

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

  PRITI1999

  authored
  c9c65d1

• Prep for release.

  smillst

  committed
  a8a4e50

• new release 3.6.0

  smillst

  committed
  3611815

• Fix dataflow test classpath. (typetools#3548)

  smillst

  authored
  b087452

• Update version to 3.6.1-SNAPSHOT.

  smillst

  committed
  75151d1

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

  smillst

  committed
  2f26266

Commits on Aug 4, 2020

• Do pluggable type-checking in misc CI job

  mernst

  authored
  8fbe02d

• Change file name to match the class it contains

  mernst

  committed
  07f8f42

• Improve whitespace style

  mernst

  authored
  3c0c443

• rename util

  lnsun

  committed
  8e0c4d0

• replace default getter with supplier

  lnsun

  committed
  01450b7

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

  lnsun

  committed
  982c70c