/** * <!-- begin-user-doc --> * <!-- end-user-doc --> * <!-- begin-model-doc --> * The Boolean query membersAreDistinguishable() determines whether all of the namespace's members are distinguishable within it. * result = self.member->forAll( memb | * self.member->excluding(memb)->forAll(other | * memb.isDistinguishableFrom(other, self))) * @param namespace The receiving '<em><b>Namespace</b></em>' model object. * <!-- end-model-doc --> * @generated NOT */ public static boolean membersAreDistinguishable(Namespace namespace) { EList<NamedElement> namespaceMembers = namespace.getMembers(); for (NamedElement member : namespaceMembers) { for (NamedElement otherMember : namespaceMembers) { if (member != otherMember && !member.isDistinguishableFrom(otherMember, namespace)) { return false; } } } return true; }