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; | |
} | |
} |