Code

ECE - Evaluate Subtyping#22

Code

Merged

xyliew25 merged 32 commits intomainsource-academy/java-slang:mainfrom cse/subtypesource-academy/java-slang:cse/subtypeCopy head branch name to clipboardApr 1, 2024

+9,519-3,102

Commits

Commits on Mar 15, 2024

• Add location to nodeCreator

  xyliew25

  committed
  92997c2

  Copy full SHA for 92997c2

• Push target for RES_OVERLOAD regardless of instance/static

  xyliew25

  committed
  4eec0ca

  Copy full SHA for 4eec0ca

• Resolve method overloading with subtyping

  Show description for b8d0855
  xyliew25

  committed
  b8d0855

  Copy full SHA for b8d0855

Commits on Mar 16, 2024

• Initial attempt for doc

  xyliew25

  committed
  b6933df

  Copy full SHA for b6933df

Commits on Mar 18, 2024

• Return context even evaluation failed

  xyliew25

  committed
  c8eb9a0

  Copy full SHA for c8eb9a0

• Handle interpreting language error

  xyliew25

  committed
  ad12ad8

  Copy full SHA for ad12ad8

Commits on Mar 22, 2024

• Declare implicit Object class

  xyliew25

  committed
  f865382

  Copy full SHA for f865382

• Extract NullLiteral

  xyliew25

  committed
  73be850

  Copy full SHA for 73be850

• Create diff frames for new obj and set alias to static fields

  Show description for d55d040
  xyliew25

  committed
  d55d040

  Copy full SHA for d55d040

• Support name resolution for subtyping

  xyliew25

  committed
  1084948

  Copy full SHA for 1084948

• Push target on stash regardless instance/static mtd for res_override use

  xyliew25

  committed
  01cd6a7

  Copy full SHA for 01cd6a7

• Throw ambiguous method overloading resolution error

  xyliew25

  committed
  c7f6cf8

  Copy full SHA for c7f6cf8

• Make non local var simple name qualified

  xyliew25

  committed
  42cd2ff

  Copy full SHA for 42cd2ff

• Add test for more complex qualified name resolution

  Show description for be97f81
  xyliew25

  committed
  be97f81

  Copy full SHA for be97f81

• Evaluate more complex qualified method invocation

  Show description for 44e7760
  xyliew25

  committed
  44e7760

  Copy full SHA for 44e7760

Commits on Mar 23, 2024

• Evaluate more complex qualified method invocation with instance field

  xyliew25

  committed
  e081dff

  Copy full SHA for e081dff

• Fix tests on explicit constructor invocation to Object()

  xyliew25

  committed
  349a92b

  Copy full SHA for 349a92b

Commits on Mar 24, 2024

• Extend mtd frame from global env

  Show description for a074775
  xyliew25

  committed
  a074775

  Copy full SHA for a074775

Commits on Mar 25, 2024

• Prepend instance field init only if alternate constructor invocation is absent

  xyliew25

  committed
  620874a

  Copy full SHA for 620874a

• Add test for superclass constructor invocation

  xyliew25

  committed
  bbbe0a1

  Copy full SHA for bbbe0a1

• Break obj extension from class

  Show description for 90e272a
  xyliew25

  committed
  90e272a

  Copy full SHA for 90e272a

Commits on Mar 30, 2024

• Restructure test files

  xyliew25

  committed
  2e7d327

  Copy full SHA for 2e7d327

• Remove debugging logs

  xyliew25

  committed
  4141ff9

  Copy full SHA for 4141ff9

• Extract constants

  xyliew25

  committed
  def8a4f

  Copy full SHA for def8a4f

• Add classDecl ref to Class

  xyliew25

  committed
  165c394

  Copy full SHA for 165c394

• Add objects getter

  xyliew25

  committed
  081b753

  Copy full SHA for 081b753

• Extract structs

  xyliew25

  committed
  155c3ac

  Copy full SHA for 155c3ac

• Remove done TODO

  xyliew25

  committed
  5700b2d

  Copy full SHA for 5700b2d

• Implement astToString()

  xyliew25

  committed
  e158d9f

  Copy full SHA for e158d9f

Commits on Mar 31, 2024

• Refactor: Pass Environment instead of Context

  xyliew25

  committed
  4e0564a

  Copy full SHA for 4e0564a

Commits on Apr 1, 2024

• Refactor code

  xyliew25

  committed
  e5545ad

  Copy full SHA for e5545ad

• Update scope doc

  xyliew25

  committed
  c2b188d

  Copy full SHA for c2b188d