Repository navigation

Walk to an ancestor's constructor spec through JDK bytecode delegation - #433

Merged

CatarinaGamboa merged 6 commits into

mainfrom

fix/367-bytecode-delegation

Oct 29, 2026

Merged

Walk to an ancestor's constructor spec through JDK bytecode delegation#433
CatarinaGamboa merged 6 commits into
mainfrom
fix/367-bytecode-delegation

Commits on Oct 29, 2026
- Read constructor delegation from JDK bytecode
  
  CatarinaGamboa
  and
  claude
  committed
  4ca0353
- Walk to an ancestor's constructor spec through bytecode delegation
  
  CatarinaGamboa
  and
  claude
  committed
  560167a
- Tighten state inheritance from delegated constructors
  
  CatarinaGamboa
  and
  claude
  committed
  1dfb337
- Check the state found after a delegating JDK constructor
  
  CatarinaGamboa
  and
  claude
  committed
  a1749db
- Use only known argument values in delegated constructor states
  
  CatarinaGamboa
  and
  claude
  committed
  69a62e8
- Replace a super constructor's parameters by their arguments at once
  
  CatarinaGamboa
  and
  claude
  committed
  4c8da01