Bug 284810

Description John T.E. Timm 2009-07-27 19:40:47 EDT

Build ID: M20080911-1700

Steps To Reproduce:
1. Create new UML model (Model A).
2. Create a class (Class A) that includes an OCL invariant.
3. Use UML2 EMF model importer to convert UML model to EMF model (make sure to include "Process Operation Bodies" in the model importer wizard).
4. Configure genmodel to use operations package.
5. Generate model code.
6. Create second project/model (Model B).
7. Create a class (Class B) that extends Class A in first model.
8. Create another invariant constraint (with a different name).
9. Use UML2 EMF model importer to create EMF model for Model B.
10. Make sure that Model B is NOT configured to use operatoins package.
11. Generate Model code.
12. Inspect ClassBImpl.java for compile error.

More information:
In this scenario, we are switching between using operations package and not using operations classes. The code that is used to generate the EOCL_ENV assumes that the user will either *always* use operations packages from one model to the next or *never* use operations packages from one model to the next. Therefore, if switching occurs, EOCL_ENV should be declared after each switch. The same problem occurs if we start Model A without operations package and switch to using operations package in Model B.