protected org.eclipse.ocl.pivot.@NonNull Package createPackage( org.eclipse.ocl.pivot.@NonNull Package domainPackage) { org.eclipse.ocl.pivot.Package pivotPackage = PivotFactory.eINSTANCE.createPackage(); pivotPackage.setName(domainPackage.getName()); pivotPackage.setURI(domainPackage.getURI()); for (org.eclipse.ocl.pivot.Class domainType : domainPackage.getOwnedClasses()) { if (domainType != null) { org.eclipse.ocl.pivot.Class pivotType = createType(domainType); pivotPackage.getOwnedClasses().add(pivotType); } } return pivotPackage; }