Run the type checker in the background as an Eclipse job #5
Description
Computation of the change tree requires running the type checker. Since the type checker is slow, we should run it within an Eclipse job in a non-UI thread. This has several benefits:
- Eclipse will show a progress bar to inform the user about the progress of the task.
- Eclipse can show a message on the progress bar telling the user more about the task that is being performed.
- Eclipse will run the type checker in the background and void a UI freeze.