| transformation bug463395(); |
| |
| modeltype ecore uses 'http://www.eclipse.org/emf/2002/Ecore'; |
| |
| intermediate class I { |
| any : OclAny[*]; |
| void : OclVoid[*]; |
| } |
| |
| main() { |
| |
| var e = object EClass{}; |
| var p = object EPackage{}; |
| p.eClassifiers += OrderedSet{null, e}; |
| assert fatal (p.eClassifiers->includes(e)); |
| |
| var i = object I{}; |
| assert fatal (i.any->isEmpty()); |
| assert fatal (i.void->isEmpty()); |
| i.any += OrderedSet{null}; |
| i.void += OrderedSet{null}; |
| assert fatal (i.any->includes(null)); |
| assert fatal (i.void->includes(null)); |
| |
| } |