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