RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
This pull request addresses part of the checklist in #321 and contains the tree walking methods in JavaTranslator and some methods in AbstractTranslator. Note that this haven't been fully tested so some of the translation might not work!
This pull request addresses part of the checklist in #321 and contains the tree walking methods in
JavaTranslatorand some methods inAbstractTranslator. Note that this haven't been fully tested so some of the translation might not work!