Repository navigation

Support for class Constants - #207

Merged

CatarinaGamboa merged 12 commits into

mainfrom

May 6, 2026

Commits on May 5, 2026
- get value of final static vars
  CatarinaGamboa
  committed
  13693c5
- Resolve static final constants inside refinement predicates
  
  CatarinaGamboa
  and
  claude
  committed
  7e17ba4
- change class names
  CatarinaGamboa
  committed
  3a5d2fe
- forgot to save
  CatarinaGamboa
  committed
  9cacea7
- add more javadoc
  CatarinaGamboa
  committed
  2e77dfa
- keep translation from final to literal value
  CatarinaGamboa
  committed
  faaeb06
Commits on May 6, 2026
- minor fix
  CatarinaGamboa
  committed
  ccb1958
- Preserve Static Final Names
  rcosta358
  committed
  905cc4f
- Improve Constant Not Found Error
  rcosta358
  committed
  0db3155
- Fix Test
  rcosta358
  committed
  1c9644c
- Resolve Source Static Final Fields
  rcosta358
  committed
  14dc9f9
- Fix Static Final Char Resolution
  rcosta358
  committed
  3c57814