Change Propagation

Change propagation across imports provides the following features:

The effectiveness of these mechanisms depends on whether all files are in open Eclipse projects.

All files are in open Eclipse projects

Change propagation works on such files as long as all changes are made using Eclipse POOSL. After any changes made outside of Eclipse POOSL, please refresh (F5) the corresponding project in Eclipse to re-validate any depending files.

Some files are outside open Eclipse projects

Such files are not tracked by Eclipse Poosl. After any changes, please perform Project -> Clean... to re-validate any depending files.