Code

PICO inference part#51

Code

Draft

Ao-senXiong wants to merge 180 commits intoopprop:masteropprop/immutability:masterfrom Ao-senXiong:PICO-inferenceAo-senXiong/immutability:PICO-inferenceCopy head branch name to clipboard

+4,007-2,160

Commits

Commits on Mar 20, 2019

• adapt pico to CF and CFI master

  baoruiz

  committed
  8772985

Commits on Mar 28, 2019

• fix pico per changes in upstream CF and CFI

  baoruiz

  committed
  c8e412f

Commits on Apr 2, 2019

• remove incorrect aliasing and unnecessary method check

  baoruiz

  committed
  9e27922

Commits on Apr 18, 2019

• remove wrong test diagnostic

  baoruiz

  committed
  0298a5f

• adapt to upstream changes

  baoruiz

  committed
  5ddc6ae

Commits on Apr 24, 2019

• fix extends and implements check

  baoruiz

  committed
  c4e9ed4

Commits on Apr 30, 2019

• tweak travis build script

  baoruiz

  committed
  8b8bd6b

Commits on Jul 3, 2019

• Remove useless separators.

  xingweitian

  committed
  e3bc7a5

Commits on Jul 10, 2019

• Unify the name of test files.

  xingweitian

  committed
  21d2fae

Commits on Jul 24, 2019

• Fix typo.

  xingweitian

  committed
  8b69770

• Fix typo.

  xingweitian

  committed
  dd4717a

Commits on Jul 26, 2019

• Fix typo.

  xingweitian

  committed
  e468c1e

Commits on Jul 27, 2019

• Complete the messages.

  xingweitian

  committed
  0391e9d

• Merge pull request opprop#3 from xingweitian/adapt-to-cf-master

  Show description for 0ee8410
  wmdietl

  authored
  0ee8410

Commits on Jul 28, 2019

• Use all dirs and jar file to fix the issue that "messages.properties" cannot be found. (#1)

  

  xingweitian

  authored and

  wmdietl

  committed
  fb54eb2

• Merge remote-tracking branch 'origin/adapt-to-cf-master' into adapt-to-cf-master

  xingweitian

  committed
  6a29832

• Tweaks.

  xingweitian

  committed
  6c07c6c

• Merge remote-tracking branch 'upstream/adapt-to-cf-master' into adapt-to-cf-master

  xingweitian

  committed
  cab2d60

Commits on Jul 30, 2019

• Use the correct error key.

  xingweitian

  committed
  10613ac

Commits on Aug 17, 2019

• Merge pull request opprop#4 from xingweitian/adapt-to-cf-master

  Show description for 147db8d
  xingweitian

  authored
  147db8d

• Merge pull request opprop#6 from xingweitian/xwt-fix-test-cases

  Show description for 505dcf8
  xingweitian

  authored
  505dcf8

Commits on Aug 18, 2019

• Fix typo (CompatabilityBEI2.java -> CompatibilityBEI2.java) and make CompatibilityBEI2.java pass. (opprop#8)

  Show description for ab8af46
  xingweitian

  authored
  ab8af46

Commits on Sep 10, 2019

• Update.

  xingweitian

  committed
  a19d94f

• Update.

  xingweitian

  committed
  236d0f4

Commits on Nov 21, 2019

• api updates

  

  lnsun

  committed
  b74dc2a

• typo

  

  lnsun

  committed
  32c6852

• Merge remote-tracking branch 'xwt/adapt-to-cf-master' into ls-dev

  Show description for e630ebd
  

  lnsun

  committed
  e630ebd

Commits on Dec 2, 2019

• default-for annotator, default bottom on null, allow readonly as upper bound

  lnsun

  committed
  e6892fa

Commits on Dec 5, 2019

• Implement super constructor call check.

  Show description for de0969f
  

  xingweitian

  authored and

  lnsun

  committed
  de0969f

• Improve code and javadoc.

  

  xingweitian

  authored and

  lnsun

  committed
  d823dcf

• clean debug messages and comment

  lnsun

  committed
  0676e7d

• fixed HashCodeSafetyExample, addMissingAnnotations->replaceAnnotation

  lnsun

  committed
  09f6f01

• fixed CompatibilityBEI2 + ReceiverTypeOutsideConstructor: pull default annotation for extends and implements clauses

  lnsun

  committed
  0b34f3a

Commits on Dec 9, 2019

• milestone: all typecheck tests passed

  lnsun

  committed
  cfc4054

Commits on Dec 19, 2019

• add anno invalid check in local variables; add RDM extends/implements rules

  lnsun

  committed
  85d0945

• override cf default extends/implements checks

  lnsun

  committed
  afff4ed

Commits on Jan 17, 2020

• fix anonymous type of new clause and test case

  Show description for f514775
  lnsun

  committed
  f514775

• reuse test cases for typecheck and infer initial typecheck

  lnsun

  committed
  3210749

Commits on Jan 20, 2020

• fix a accidentally disabled test case

  lnsun

  committed
  2087d9a

Commits on Feb 28, 2020

• fix additional tests' errors

  lnsun

  committed
  257f732

Commits on Apr 6, 2020

• test vpa over imp

  lnsun

  committed
  d5909e9

• TODO: resolve path issues, remove this when fixed

  lnsun

  committed
  9b33196

Commits on Apr 7, 2020

• default class bound and super clause

  lnsun

  committed
  2bd7c5e

Commits on Apr 8, 2020

• default class bound and super clause enhanced

  lnsun

  committed
  08d136f

Commits on Apr 15, 2020

• implicit immutable class bound + cast.unsafe

  lnsun

  committed
  52fa126

• remove wrong cast.unsafe keys

  lnsun

  committed
  45f4c0f

Commits on Apr 16, 2020

• bound of array fixed to READONLY. VPA not needed here because any type is permitted.

  Show description for 90074b2
  lnsun

  committed
  90074b2

Commits on Apr 17, 2020

• bottom workaround + vpa interface

  lnsun

  committed
  857050e

Commits on Apr 18, 2020

• enum default immutable. TODO: fix constructor check in mutable enum decl

  lnsun

  committed
  4dab7b1

Commits on Apr 21, 2020

• fix enum default in inference

  lnsun

  committed
  a42c289

Commits on Apr 23, 2020

• doc

  lnsun

  committed
  761655d

• relocate common interface and annotator

  lnsun

  committed
  bdcbb4c

Commits on Apr 24, 2020

• bound

  lnsun

  committed
  5c42ad4

Commits on May 5, 2020

• enum & super clause

  lnsun

  committed
  4e72db6

• test case update

  lnsun

  committed
  ba48fda

Commits on May 6, 2020

• tweaks on generic

  lnsun

  committed
  b853156

Commits on May 7, 2020

• fix anno

  lnsun

  committed
  2e1c6b0

• Merge branch 'tmp' into typecheck-amend

  lnsun

  committed
  3f66342

Commits on May 8, 2020

• poly workaround

  lnsun

  committed
  461c86a

• update test cases (typecheck 100%, inference-init-tc 100%)

  lnsun

  committed
  c7b7d08

Commits on Jun 10, 2020

• API update: report

  lnsun

  committed
  14ad936

• API update: remove @DefaultInUncheckedCodeFor

  lnsun

  committed
  42cc297

• remove @spm

  lnsun

  committed
  765fc99

• Revert "remove @spm"

  Show description for 54dc0de
  lnsun

  committed
  54dc0de

• @spm for static moved to new api

  lnsun

  committed
  9c31c35

• exclude decl when checking static RDM (TC: 100%, INF: 6 fail)

  lnsun

  committed
  adf2c17

• small tweaks

  lnsun

  committed
  2e2ffd0

• tc cast.unsafe (TC: 100%, INF: 4 fail)

  lnsun

  committed
  6277e02

• inf-> workaround for anonymous class

  lnsun

  committed
  b90d5f9

• a small tweak

  lnsun

  committed
  13555c6

• update test cases (TC all pass)

  lnsun

  committed
  a4339f9

• re-remove @spm

  lnsun

  committed
  5da659f

• add CF all-systems test

  lnsun

  committed
  a954e32

• small tweaks on test drivers

  lnsun

  committed
  e53f3fb

• interface

  lnsun

  committed
  d3e571c

Commits on Jul 2, 2020

• isSubtype use native api

  lnsun

  committed
  9879f05

• infer atf + get bound

  lnsun

  committed
  ab48c6a

• tweaks

  lnsun

  committed
  9885f10

Commits on Jul 3, 2020

• checker.report update

  lnsun

  committed
  df3f2dd

• checker.report update

  lnsun

  committed
  a6df8de

Commits on Oct 9, 2020

• tc

  lnsun

  committed
  0209864

Commits on Oct 15, 2020

• tc

  lnsun

  committed
  12e4a8c

• ignore rdm on fields

  lnsun

  committed
  f04a5bb

Commits on Nov 20, 2020

• rdm field logic + tc

  lnsun

  committed
  aa240ec

Commits on Nov 24, 2020

• VPA post check

  lnsun

  committed
  06da98a

• vpa post check

  lnsun

  committed
  0d63613

Commits on Nov 26, 2020

• field rdm default

  lnsun

  committed
  d47daa5

Commits on Dec 2, 2020

• check anno

  lnsun

  committed
  ab44c1e

• tc update

  lnsun

  committed
  ef44406

Commits on Dec 16, 2020

• transitive (needs fix)

  lnsun

  committed
  5a67d2e

Commits on Jan 14, 2021

• class bound != PM

  lnsun

  committed
  fc6cf0b

• receiver != BOTTOM

  lnsun

  committed
  d8e1195

Commits on Jan 15, 2021

• stop assign immutable constant slot to enum usage. enum could be mutable

  lnsun

  committed
  f5972fd

• PICO does not need existential slot on class decl anno

  lnsun

  committed
  f1acb77

Commits on Jan 20, 2021

• use constant slot for explicit class decl anno

  lnsun

  committed
  a2f5726

• update init bound extraction function

  lnsun

  committed
  10d1e17

• update call to init bound extraction function

  lnsun

  committed
  6c31de8

• prevent poly infer

  lnsun

  committed
  0254063

Commits on Jan 22, 2021

• bound handling for anonymous class

  lnsun

  committed
  31ff749

• anonymous class method receiver workaround

  lnsun

  committed
  4f41dc4

Commits on Jan 23, 2021

• workarounds for anonymous class for getTypeOfExtendsImplements

  lnsun

  committed
  a152323

Commits on Jan 25, 2021

• extract method

  lnsun

  committed
  1c17437

• do not apply real anno to atm during infer

  lnsun

  committed
  cf64586

Commits on Jan 26, 2021

• not apply immutable constant to enum during infer-typecheck

  lnsun

  committed
  df55010

Commits on Jan 27, 2021

• add init bound extraction function

  lnsun

  committed
  e4cbe5f

Commits on Feb 23, 2021

• update tc

  lnsun

  committed
  50e3cea

Commits on Feb 24, 2021

• array bound -> RDM (TC)

  lnsun

  committed
  5a9e8ca

Commits on Feb 27, 2021

• exclude static inner class decl from static scope

  lnsun

  committed
  11834c1

• don't check with default during inference

  lnsun

  committed
  75e7d94

• add immutable alias for real type factory

  lnsun

  committed
  536326e

Commits on Feb 28, 2021

• array decl method

  lnsun

  committed
  00c72b0

• implicit shallow immutable warning (TC)

  lnsun

  committed
  1302fbd

Commits on Mar 9, 2021

• tune up vpa

  lnsun

  committed
  e135891

• better logic to check anonymous

  lnsun

  committed
  0dcb75a

• enum heck

  lnsun

  committed
  8951f83

Commits on Mar 23, 2021

• enforce check without refinement

  lnsun

  committed
  a33647d

• workaround for implicit lib type param

  lnsun

  committed
  2df57a3

• disable alias

  lnsun

  committed
  ab295d5

• workaround: vpa decl w/o anno

  lnsun

  committed
  2758917

• consistency infer and tc

  lnsun

  committed
  b4fb4b3

• ext and imp clause logic

  lnsun

  committed
  beae801

• override base ext/imp clause check

  lnsun

  committed
  c0167a1

• override base check on ext/imp clauses

  lnsun

  committed
  d73db45

• anonymous class logic

  lnsun

  committed
  ba2f6a0

Commits on Mar 25, 2021

• receiver cannot infer to poly

  lnsun

  committed
  b39968e

• allow explicit poly on receiver

  lnsun

  committed
  631d7fe

• class bound for infer

  lnsun

  committed
  a634bfb

• allow factory to get class decl slot

  lnsun

  committed
  afd4505

• annotator: handle decl bound

  lnsun

  committed
  e834b11

• annotator: skip null

  lnsun

  committed
  f1d8652

• annotator: replace real anno

  lnsun

  committed
  c5f3b1d

• annotator: not infer to poly

  lnsun

  committed
  0462aff

• annotator: drop super decl constraints

  lnsun

  committed
  4158e72

• visitor: skip uses w/o slot

  lnsun

  committed
  e0e742f

• rdm-field: field uses be both rdm or mutable

  lnsun

  committed
  b5e214d

• comments

  lnsun

  committed
  c201bd5

• notes

  lnsun

  committed
  c060dc1

• tweaks

  lnsun

  committed
  c1c8703

• stubs

  lnsun

  committed
  de054ce

• reim test cases

  lnsun

  committed
  78aef48

• glacier test cases

  lnsun

  committed
  bb9678c

• temp ignore all systems test

  lnsun

  committed
  64122f6

• stub path problem

  lnsun

  committed
  c96f3fa

Commits on Apr 9, 2021

• +useOptimisticUncheckedDefaults

  lnsun

  committed
  34e9a74

Commits on Apr 20, 2021

• import issue

  lnsun

  committed
  2cd3276

• import issue

  lnsun

  committed
  472e75c

Commits on Feb 9, 2022

• update pico, fix CF api rename, update gradle version

  

  Haifeng Shi

  committed
  6e4e3c6

Commits on Jul 13, 2022

• commits for fixing PICO-TypeCheck and part of PICO-Infer

  AndrewShf

  committed
  e4ced88

• merge opprop master with all_commits

  AndrewShf

  committed
  4d3e9b1

Commits on Jul 14, 2022

• merge with opprop master

  AndrewShf

  committed
  3b09267

Commits on Jul 17, 2022

• resolve new array problems

  AndrewShf

  committed
  c6dcc1b

Commits on Sep 8, 2022

• Merge remote-tracking branch 'opprop/master' into all_commits

  AndrewShf

  committed
  8044c38

• add inference component back to gradle test

  AndrewShf

  committed
  b3c275b

Commits on Jul 12, 2023

• E on line 5 extends readonly, but the declared on line 3 extends immutable

  AndrewShf

  committed
  e5f835a

• use valueof static method

  AndrewShf

  committed
  a065ae8

• use smaller case local variable

  AndrewShf

  committed
  f1e88cd

• add imports to the testfile

  AndrewShf

  committed
  6da6376

• change implicit.shallow.immutable from warning to error

  AndrewShf

  committed
  d7b2fda

• make the testcase more clear

  AndrewShf

  committed
  9db7411

• Clarify the purpose of the junit test; make default annotations explicitly for one junit test

  AndrewShf

  committed
  ec976a4

Commits on Oct 4, 2023

• refactor and fix bugs causing test failures

  AndrewShf

  committed
  5f981f7

Commits on Nov 18, 2023

• fix typecheck error

  Ao-senXiong

  committed
  2595256

Commits on May 1, 2024

• Adapt PICO to opprop

  Ao-senXiong

  committed
  298b218

• Delete glacier and reminfer test for merge

  Ao-senXiong

  committed
  6c2b999

• Delete reminfer test for merge

  Ao-senXiong

  committed
  6f8af25

• Add HoldsForDefaultValue for quals

  Ao-senXiong

  committed
  6e7e33a

• Delete old PICO files

  Ao-senXiong

  committed
  1a674b2

• Add new line at the end of files

  Ao-senXiong

  committed
  0139f8e

• Fix compile test errors

  Ao-senXiong

  committed
  5925ff4

Commits on May 2, 2024

• Delete reim and glacier related tests

  Ao-senXiong

  committed
  d365abc

• Add error to test case

  Ao-senXiong

  committed
  f75590d

• Handle initialization block

  Ao-senXiong

  committed
  c9157cf

• Add a new line at the end of file

  Ao-senXiong

  committed
  646139e

• Update build.gradle

  Ao-senXiong

  committed
  430aa12

• Enable inference and add object identity check

  Ao-senXiong

  committed
  a045608

Commits on May 5, 2024

• Fix all initial type check

  Ao-senXiong

  committed
  a8c87f7

Commits on May 7, 2024

• Disable inference check and see

  Ao-senXiong

  committed
  c3910eb

• Fix part of inference check

  Ao-senXiong

  committed
  f28c591

Commits on May 15, 2024

• Clean up inference code

  Ao-senXiong

  committed
  8eb5c37

Commits on May 31, 2024

• Don't check ObjectIdentity if it is infer mode

  Ao-senXiong

  committed
  b620abe