| package bug328485 : bug = 'http://www.eclipse.org/mdt/ocl/bug328485' | |
| { | |
| class Bug328485 | |
| { | |
| property name : String; | |
| property names : Named[*]; | |
| invariant Self: let name : String = 'xx' in names->any(name | name = '') = 1; | |
| } | |
| class Named | |
| { | |
| property name : String; | |
| } | |
| } |