RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
Below is a check list of things that will need to happen before we can translate RESOLVE files on the new compiler. Currently, the list is incomplete and new items will be added when we encounter them during the refactoring process.
Refactor Check List
[x] Tree walking methods in AbstractTranslator
[x] Tree walking methods in CTranslator
[x] Tree walking methods in JavaTranslator
New Changes Check List
[x] FileOutputListener method for displaying C and Java results
Summary
Below is a check list of things that will need to happen before we can translate
RESOLVEfiles on the new compiler. Currently, the list is incomplete and new items will be added when we encounter them during the refactoring process.Refactor Check List
AbstractTranslatorCTranslatorJavaTranslatorNew Changes Check List
FileOutputListenermethod for displayingCandJavaresults