public void addAllElements( org.eclipse.ocl.pivot.@NonNull Class asClass, @NonNull ScopeView scopeView) { Attribution attribution = PivotUtilInternal.getAttribution(asClass); attribution.computeLookup(asClass, this, scopeView); org.eclipse.ocl.pivot.Class asUnspecializedClass = PivotUtil.getUnspecializedTemplateableElement(asClass); org.eclipse.ocl.pivot.Package asPackage = asUnspecializedClass.getOwningPackage(); if (asPackage != null) { attribution = PivotUtilInternal.getAttribution(asPackage); attribution.computeLookup(asPackage, this, scopeView); } { // FIXME redundant asPackage = asUnspecializedClass.getOwningPackage(); if (asPackage != null) { attribution = PivotUtilInternal.getAttribution(asPackage); attribution.computeLookup(asPackage, this, scopeView); } } }