%newWizardDesc
VisibilityKind::protected]]>
VisibilityKind::private or self.name.substring(1,2) = '__']]>
VisibilityKind::private or self.name.substring(1,2) = '__']]>
VisibilityKind::protected or self.name.substring(1,1) = '_']]>
VisibilityKind::protected or self.name.substring(1,1) = '_']]>
forAll(op1, op2 | op1<>op2 implies op1.name <> op2.name)]]>
forAll(param | param.name <> 'self' ))]]>
forAll(param | param.name <> 'self' )]]>
null]]>
ParameterDirectionKind::out and self.direction <> ParameterDirectionKind::return and self.direction <> ParameterDirectionKind::inout)]]>