examples/org.eclipse.ocl.examples.build/src/org/eclipse/ocl/examples/build/xtend/GenerateOCLstdlibXtend.xtend - ocl/org.eclipse.ocl - Git at Google

 /*******************************************************************************
  * Copyright (c) 2013, 2017 Willink Transformations and others.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v2.0
  * which accompanies this distribution, and is available at
  * http://www.eclipse.org/legal/epl-v20.html
  *
  * Contributors:
  *     E.D.Willink - initial API and implementation
  *******************************************************************************/
 package org.eclipse.ocl.examples.build.xtend

 import org.eclipse.ocl.pivot.DataType
 import org.eclipse.ocl.pivot.Model
 import org.eclipse.ocl.pivot.Package
 import org.eclipse.ocl.pivot.utilities.ClassUtil
 import java.util.Collection
 import java.util.GregorianCalendar

 class GenerateOCLstdlibXtend extends GenerateOCLstdlib
 {
 	protected override String declareClassTypes(/*@NonNull*/ Model root, /*@NonNull*/ Collection</*@NonNull*/ String> excludedEClassifierNames) {
 		var pkge2classTypes = root.getSortedClassTypes();
 		if (pkge2classTypes.isEmpty()) return "";
 		var Package pkg = root.ownedPackages.findPackage();
 		var sortedPackages = root.getSortedPackages(pkge2classTypes.keySet());
 		'''
 		«FOR pkge : sortedPackages»

 			«FOR type : ClassUtil.nullFree(pkge2classTypes.get(pkge))»
 				«IF pkg == pkge && !excludedEClassifierNames.contains(type.name)»
 					private final @NonNull «type.eClass().name» «type.getPrefixedSymbolName("_"+type.partialName())» = create«type.eClass().name»(«getEcoreLiteral(type)»);
 				«ELSE»
 					private final @NonNull «type.eClass().name» «type.getPrefixedSymbolNameWithoutNormalization("_"+type.partialName())» = create«type.eClass().name»("«type.name»");
 				«ENDIF»
 			«ENDFOR»
 		«ENDFOR»
 		'''
 	}

 	protected override String declareCollectionTypes(Model root) {
 		var pkge2collectionTypes = root.getSortedCollectionTypes();
 		if (pkge2collectionTypes.isEmpty()) return "";
 		var sortedPackages = root.getSortedPackages(pkge2collectionTypes.keySet());
 		'''
 		«FOR pkge : sortedPackages»

 			«FOR type : ClassUtil.nullFree(pkge2collectionTypes.get(pkge))»«var typeName = type.getPrefixedSymbolName("_" + type.getName() + "_" + type.getElementType().partialName() + (if (type.isIsNullFree()) "_NullFree" else "") )»
 			«IF type.getOwnedSignature() !== null»
 			private final @NonNull «type.eClass.name» «typeName» = create«type.eClass.name»(«getEcoreLiteral(type)»«IF type.getOwnedSignature() !== null»«FOR templateParameter : type.getOwnedSignature().getOwnedParameters()», «templateParameter.getSymbolName()»«ENDFOR»«ENDIF»);
 			«ENDIF»
 			«ENDFOR»
 			«FOR type : ClassUtil.nullFree(pkge2collectionTypes.get(pkge))»«var typeName = type.getPrefixedSymbolName("_" + type.getName() + "_" + type.getElementType().partialName() + (if (type.isIsNullFree()) "_NullFree" else "") )»
 			«IF type.getOwnedSignature() === null»
 			private final @NonNull «type.eClass.name» «typeName» = create«type.eClass.name»(«type.getUnspecializedElement().getSymbolName()»);
 			«ENDIF»
 			«ENDFOR»
 		«ENDFOR»
 		'''
 	}

 	protected override String declareMapTypes(/*@NonNull*/ Model root) {
 		var pkge2mapTypes = root.getSortedMapTypes();
 		if (pkge2mapTypes.isEmpty()) return "";
 		var sortedPackages = root.getSortedPackages(pkge2mapTypes.keySet());
 		'''

 		«FOR pkge : sortedPackages»
 			«FOR type : ClassUtil.nullFree(pkge2mapTypes.get(pkge))»
 				«IF type.getOwnedSignature() !== null»
 					private final @NonNull «type.eClass.name» «type.getPrefixedSymbolName("_" + type.getName() + "_" + type.getKeyType().partialName() + "_" + type.getValueType().partialName())» = create«type.
 					eClass.name»(«getEcoreLiteral(type)»«IF type.getOwnedSignature() !== null»«FOR templateParameter : type.getOwnedSignature().getOwnedParameters()», «templateParameter.getSymbolName()»«ENDFOR»«ENDIF»);
 				«ENDIF»
 			«ENDFOR»
 			«FOR type : ClassUtil.nullFree(pkge2mapTypes.get(pkge))»
 				«IF type.getOwnedSignature() === null»
 					private final @NonNull «type.eClass.name» «type.getPrefixedSymbolName("_" + type.getName() + "_" + type.getKeyType().partialName() + "_" + type.getValueType().partialName())» = create«type.
 					eClass.name»(«type.getUnspecializedElement().getSymbolName()»);
 				«ENDIF»
 			«ENDFOR»
 		«ENDFOR»
 		'''
 	}

 	protected override String declarePrimitiveTypes(/*@NonNull*/ Model root) {
 		var pkge2primitiveTypes = root.getSortedPrimitiveTypes();
 		if (pkge2primitiveTypes.isEmpty()) return "";
 		var Package pkg = root.ownedPackages.findPackage();
 		var sortedPackages = root.getSortedPackages(pkge2primitiveTypes.keySet());
 		'''
 			«FOR pkge : sortedPackages»

 				«FOR type : ClassUtil.nullFree(pkge2primitiveTypes.get(pkge))»
 					«IF pkg == pkge && !excludedEClassifierNames.contains(type.name)»
 						private final @NonNull PrimitiveType «type.getPrefixedSymbolNameWithoutNormalization("_"+type.partialName())» = createPrimitiveType(«getEcoreLiteral(type)»);
 					«ELSE»
 						private final @NonNull PrimitiveType «type.getPrefixedSymbolNameWithoutNormalization("_"+type.partialName())» = createPrimitiveType("«type.name»");
 					«ENDIF»
 				«ENDFOR»
 			«ENDFOR»
 		'''
 	}

 	protected def String defineConstantType(DataType type) {'''
 		«IF "Boolean".equals(type.name)»
 			private void PrimitiveType «type.getPrefixedSymbolName("_"+type.partialName())» = OCLstdlib._Boolean;«ELSEIF "Classifier".equals(type.name)»
 			private void PrimitiveType «type.getPrefixedSymbolName("_"+type.partialName())» = OCLstdlib._Classifier;«ELSEIF "Integer".equals(type.name)»
 			private void PrimitiveType «type.getPrefixedSymbolName("_"+type.partialName())» = OCLstdlib._Integer;«ELSEIF "Real".equals(type.name)»
 			private void PrimitiveType «type.getPrefixedSymbolName("_"+type.partialName())» = OCLstdlib._Real;«ELSEIF "String".equals(type.name)»
 			private void PrimitiveType «type.getPrefixedSymbolName("_"+type.partialName())» = OCLstdlib._String;«ELSEIF "UnlimitedNatural".equals(type.name)»
 			private void PrimitiveType «type.getPrefixedSymbolName("_"+type.partialName())» = OCLstdlib._UnlimitedNatural;«ELSE»
 			private void DataType «type.getPrefixedSymbolName("_"+type.partialName())» = createDataType("«type.name»");«ENDIF»
 	'''}

 	/*@NonNull*/ protected override String generateMetamodel(/*@NonNull*/ Model root, /*@NonNull*/ Collection</*@NonNull*/ String> excludedEClassifierNames) {
 		thisModel = root;
 		var lib = ClassUtil.nonNullState(root.getLibrary());
 		var externalPackages = root.getSortedExternalPackages();
 		var year = new GregorianCalendar().get(GregorianCalendar.YEAR);
 		'''
 			/*******************************************************************************
 			 * Copyright (c) 2010, «year» Willink Transformations and others.
 			 * All rights reserved. This program and the accompanying materials
 			 * are made available under the terms of the Eclipse Public License v2.0
 			 * which accompanies this distribution, and is available at
 			 * http://www.eclipse.org/legal/epl-v20.html
 			 *
 			 * Contributors:
 			 *     E.D.Willink - initial API and implementation
 			 *******************************************************************************
 			 * This code is 100% auto-generated
 			 * from: «sourceFile»
 			 * by: org.eclipse.ocl.examples.build.xtend.generateOCLstdlib.xtend
 			 * and: org.eclipse.ocl.examples.build.GenerateOCLstdlibModel.mwe2
 			 *
 			 * Do not edit it.
 			 *******************************************************************************/
 			package	«javaPackageName»;

 			import java.io.IOException;
 			import java.util.ArrayList;
 			import java.util.List;
 			import java.util.Map;
 			import java.util.Set;

 			import org.eclipse.emf.common.notify.Notification;
 			import org.eclipse.emf.common.notify.NotificationChain;
 			import org.eclipse.emf.common.util.TreeIterator;
 			import org.eclipse.emf.common.util.URI;
 			import org.eclipse.emf.ecore.EObject;
 			import org.eclipse.emf.ecore.EPackage;
 			import org.eclipse.emf.ecore.EReference;
 			import org.eclipse.emf.ecore.impl.BasicEObjectImpl;
 			import org.eclipse.emf.ecore.resource.Resource;
 			import org.eclipse.emf.ecore.resource.ResourceSet;
 			import org.eclipse.emf.ecore.xmi.impl.XMIResourceImpl;
 			import org.eclipse.jdt.annotation.NonNull;
 			import org.eclipse.jdt.annotation.Nullable;
 			import org.eclipse.ocl.pivot.*;
 			import org.eclipse.ocl.pivot.Class;
 			import org.eclipse.ocl.pivot.Package;
 			import org.eclipse.ocl.pivot.ids.IdManager;
 			import org.eclipse.ocl.pivot.ids.PackageId;
 			import org.eclipse.ocl.pivot.internal.library.StandardLibraryContribution;
 			import org.eclipse.ocl.pivot.internal.resource.ASResourceImpl;
 			import org.eclipse.ocl.pivot.internal.resource.OCLASResourceFactory;
 			import org.eclipse.ocl.pivot.internal.utilities.AbstractContents;
 			import org.eclipse.ocl.pivot.internal.utilities.PivotUtilInternal;
 			import org.eclipse.ocl.pivot.model.OCLmetamodel;
 			import org.eclipse.ocl.pivot.utilities.ClassUtil;
 			import org.eclipse.ocl.pivot.utilities.MetamodelManager;
 			import org.eclipse.ocl.pivot.utilities.PivotConstants;
 			import org.eclipse.ocl.pivot.utilities.PivotUtil;
 			«IF ((externalPackages !== null) && !externalPackages.isEmpty())»

 			«FOR externalPackage : externalPackages»
 				«externalPackage.declarePackageImport()»
 			«ENDFOR»
 			«ENDIF»

 			/**
 			 * This is the «uri» Standard Library
 			 * auto-generated from «sourceFile».
 			 * It facilitates efficient library loading without the overheads of model reading.
 			 * <p>
 			 * This Standard Library may be registered as the definition of a Standard Library for
 			 * the OCL evaluation framework by invoking {@link #install}.
 			 * <p>
 			 * The Standard Library is normally activated when the MetamodelManager attempts
 			 * to locate a library type when its default Standard Library URI is the same
 			 * as this Standard Library.
 			 */
 			@SuppressWarnings("unused")
 			public class «javaClassName» extends ASResourceImpl
 			{
 				/**
 				 *	The static package-of-types pivot model of the Standard Library.
 				 */
 				private static «javaClassName» INSTANCE = null;

 				/**
 				 *	The URI of this Standard Library.
 				 */
 				public static final @NonNull String STDLIB_URI = "«uri»";

 				/**
 				 *	The URI of the AS representation of this Standard Library.
 				 */
 				public static final @NonNull URI STDLIB_AS_URI = URI.createURI("«uri»" + PivotConstants.DOT_OCL_AS_FILE_EXTENSION);

 				/**
 				 * Return the default «uri» standard Library Resource
 				 * if it jas been created, or null if not.
 				 *  This static definition auto-generated from «sourceFile»
 				 *  is used as the default when no overriding copy is registered.
 				 * It cannot be unloaded or rather unloading has no effect.
 				 */
 				public static @Nullable «javaClassName» basicGetDefault() {
 					return INSTANCE;
 				}

 				/**
 				 * Return the default «uri» standard Library Resource.
 				 *  This static definition auto-generated from «sourceFile»
 				 *  is used as the default when no overriding copy is registered.
 				 * It cannot be unloaded or rather unloading has no effect.
 				 */
 				public static @NonNull «javaClassName» getDefault() {
 					«javaClassName» oclstdlib = INSTANCE;
 					if (oclstdlib == null) {
 						Contents contents = new Contents("«lib.getURI»");
 						String asURI = STDLIB_URI + PivotConstants.DOT_OCL_AS_FILE_EXTENSION;
 						oclstdlib = INSTANCE = new ReadOnly(asURI, contents.getModel());
 						oclstdlib.setSaveable(false);
 					}
 					return oclstdlib;
 				}

 				/**
 				 * Return the default «uri» standard Library model.
 				 *  This static definition auto-generated from «sourceFile»
 				 *  is used as the default when no overriding copy is registered.
 				 */
 				public static @NonNull Model getDefaultModel() {
 					Model model = (Model)(getDefault().getContents().get(0));
 					assert model != null;
 					return model;
 				}
 				«IF (externalPackages.size() == 2)»

 				/**
 				 * Return the default «uri» standard Library package.
 				 *  This static definition auto-generated from «sourceFile»
 				 *  is used as the default when no overriding copy is registered.
 				 */
 				public static @NonNull Package getDefaultPackage() {
 					Package pkge = getDefaultModel().getOwnedPackages().get(0);
 					assert pkge != null;
 					return pkge;
 				}
 				«ENDIF»

 				/**
 				 * Install this library in the {@link StandardLibraryContribution#REGISTRY}
 				 * and the {@link OCLASResourceFactory#REGISTRY}.
 				 * This method may be invoked by standalone applications to replicate
 				 * the registration that should appear as a standard_library plugin
 				 * extension when running within Eclipse.
 				 */
 				public static void install() {
 					EPackage.Registry.INSTANCE.put(OCLstdlibPackage.eNS_URI, OCLstdlibPackage.eINSTANCE);
 					Loader contribution = new Loader();
 					StandardLibraryContribution.REGISTRY.put(STDLIB_URI, contribution);
 					OCLASResourceFactory.REGISTRY.put(STDLIB_AS_URI, contribution);
 				}

 				/**
 				 * Install this library in the {@link StandardLibraryContribution#REGISTRY}
 				 * and the {@link OCLASResourceFactory#REGISTRY}
 				 * unless some other library contribution has already been installed.
 				 */
 				public static void lazyInstall() {
 					if (StandardLibraryContribution.REGISTRY.get(STDLIB_URI) == null) {
 						install();
 					}
 				}

 				/**
 				 * Uninstall this library from the {@link StandardLibraryContribution#REGISTRY}
 				 * and the {@link OCLASResourceFactory#REGISTRY}.
 				 * This method may be invoked by standalone applications to release the library
 				 * resources for garbage collection and memory leakage detection.
 				 */
 				public static void uninstall() {
 					StandardLibraryContribution.REGISTRY.remove(STDLIB_URI);
 					OCLASResourceFactory.REGISTRY.remove(STDLIB_AS_URI);
 					INSTANCE = null;
 				}

 				/**
 				 * The Loader shares the Standard Library instance whenever this default library
 				 * is loaded from the registry of Standard Libraries populated by the standard_library
 				 * extension point.
 				 */
 				public static class Loader implements StandardLibraryContribution
 				{
 					@Override
 					public @NonNull StandardLibraryContribution getContribution() {
 						return this;
 					}

 					@Override
 					public @NonNull Resource getResource() {
 						return getDefault();
 					}
 				}

 				/**
 				 * A ReadOnly «javaClassName» overrides inherited functionality to impose immutable shared behaviour.
 				 */
 				protected static class ReadOnly extends «javaClassName» implements ImmutableResource
 				{
 					protected ReadOnly(@NonNull String asURI, @NonNull Model libraryModel) {
 						super(asURI, libraryModel);
 					}

 					/**
 					 * Overridden to inhibit entry of the shared instance in any ResourceSet.
 					 */
 					@Override
 					public NotificationChain basicSetResourceSet(ResourceSet resourceSet, NotificationChain notifications) {
 						return notifications;
 					}

 					/**
 					 * Overridden to inhibit unloading of the shared instance.
 					 */
 					@Override
 					protected void doUnload() {}

 					@Override
 					public boolean isCompatibleWith(@NonNull String metamodelURI) {
 						return OCLmetamodel.PIVOT_URI.equals(metamodelURI);
 					}

 					/**
 					 * Overridden to trivialise loading of the shared instance.
 					 */
 					@Override
 					public void load(Map<?, ?> options) throws IOException {
 						if (this != INSTANCE) {
 							super.load(options);
 						}
 						else {
 							setLoaded(true);
 						}
 					}

 					/**
 					 * Overridden to inhibit unloading of the shared instance.
 					 */
 					@Override
 					protected Notification setLoaded(boolean isLoaded) {
 						if (isLoaded) {
 							return super.setLoaded(isLoaded);
 						}
 						else {
 							return null;
 						}
 					}
 				}

 				/**
 				 *	Construct a copy of the OCL Standard Library with specified resource URI,
 				 *  and package name, prefix and namespace URI.
 				 */
 				public static @NonNull «javaClassName» create(@NonNull String asURI) {
 					Contents contents = new Contents(asURI);
 					return new «javaClassName»(asURI, contents.getModel());
 				}

 				/**
 				 *	Construct an OCL Standard Library with specified resource URI and library content.
 				 */
 				private «javaClassName»(@NonNull String asURI, @NonNull Model libraryModel) {
 					super(ClassUtil.nonNullState(URI.createURI(asURI)), OCLASResourceFactory.getInstance());
 					assert PivotUtilInternal.isASURI(asURI);
 					getContents().add(libraryModel);
 				}

 				private static class Contents extends AbstractContents
 				{
 					private final @NonNull Model «root.getPrefixedSymbolName("model")»;
 					«FOR pkge : root.getSortedPackages()»
 					private final @NonNull «pkge.eClass().getName()» «pkge.getPrefixedSymbolName(if (pkge == root.getOrphanPackage()) "orphanage" else pkge.getName())»;
 					«ENDFOR»

 					private Contents(@NonNull String asURI)
 					{
 						«root.getSymbolName()» = createModel(asURI);
 						«FOR pkge : root.getSortedPackages()»
 						«pkge.getSymbolName()» = create«pkge.eClass().getName()»("«pkge.getName()»", "«pkge.getNsPrefix()»", "«pkge.getURI()»", «pkge.getGeneratedPackageId()», «getEcoreLiteral(pkge)»);
 						«ENDFOR»
 						«root.installPackages()»
 						«root.installClassTypes()»
 						«root.installPrimitiveTypes()»
 						«root.installEnumerations()»
 						«root.installCollectionTypes()»
 						«root.installMapTypes()»
 						«root.installLambdaTypes()»
 						«root.installTupleTypes()»
 						«root.installOperations()»
 						«root.installIterations()»
 						«root.installCoercions()»
 						«root.installProperties()»
 						«root.installTemplateBindings()»
 						«root.installPrecedences()»
 						«root.installComments()»
 					}

 					public @NonNull Model getModel() {
 						return «root.getSymbolName()»;
 					}
 					«root.defineExternals()»
 					«root.definePackages()»
 					«root.declareClassTypes(excludedEClassifierNames)»
 					«root.declarePrimitiveTypes()»
 					«root.declareEnumerations()»
 					«root.defineTemplateParameters()»
 					«root.declareTupleTypes()»
 					«root.declareCollectionTypes()»
 					«root.declareMapTypes()»
 					«root.defineClassTypes()»
 					«root.definePrimitiveTypes()»
 					«root.defineEnumerations()»
 					«root.defineCollectionTypes()»
 					«root.defineMapTypes()»
 					«root.defineTupleTypes()»
 					«root.defineLambdaTypes()»
 					«root.defineOperations()»
 					«root.defineIterations()»
 					«root.defineCoercions()»
 					«root.defineProperties()»
 					«root.defineTemplateBindings()»
 					«root.definePrecedences()»
 					«root.defineComments()»
 				}
 			}
 		'''
 	}
 }
	/*******************************************************************************
	* Copyright (c) 2013, 2017 Willink Transformations and others.
	* All rights reserved. This program and the accompanying materials
	* are made available under the terms of the Eclipse Public License v2.0
	* which accompanies this distribution, and is available at
	* http://www.eclipse.org/legal/epl-v20.html
	*
	* Contributors:
	* E.D.Willink - initial API and implementation
	*******************************************************************************/
	package org.eclipse.ocl.examples.build.xtend

	import org.eclipse.ocl.pivot.DataType
	import org.eclipse.ocl.pivot.Model
	import org.eclipse.ocl.pivot.Package
	import org.eclipse.ocl.pivot.utilities.ClassUtil
	import java.util.Collection
	import java.util.GregorianCalendar

	class GenerateOCLstdlibXtend extends GenerateOCLstdlib
	{
	protected override String declareClassTypes(/@NonNull/ Model root, /@NonNull/ Collection</@NonNull/ String> excludedEClassifierNames) {
	var pkge2classTypes = root.getSortedClassTypes();
	if (pkge2classTypes.isEmpty()) return "";
	var Package pkg = root.ownedPackages.findPackage();
	var sortedPackages = root.getSortedPackages(pkge2classTypes.keySet());
	'''
	«FOR pkge : sortedPackages»

	«FOR type : ClassUtil.nullFree(pkge2classTypes.get(pkge))»
	«IF pkg == pkge && !excludedEClassifierNames.contains(type.name)»
	private final @NonNull «type.eClass().name» «type.getPrefixedSymbolName("_"+type.partialName())» = create«type.eClass().name»(«getEcoreLiteral(type)»);
	«ELSE»
	private final @NonNull «type.eClass().name» «type.getPrefixedSymbolNameWithoutNormalization("_"+type.partialName())» = create«type.eClass().name»("«type.name»");
	«ENDIF»
	«ENDFOR»
	«ENDFOR»
	'''
	}

	protected override String declareCollectionTypes(Model root) {
	var pkge2collectionTypes = root.getSortedCollectionTypes();
	if (pkge2collectionTypes.isEmpty()) return "";
	var sortedPackages = root.getSortedPackages(pkge2collectionTypes.keySet());
	'''
	«FOR pkge : sortedPackages»

	«FOR type : ClassUtil.nullFree(pkge2collectionTypes.get(pkge))»«var typeName = type.getPrefixedSymbolName("_" + type.getName() + "_" + type.getElementType().partialName() + (if (type.isIsNullFree()) "_NullFree" else "") )»
	«IF type.getOwnedSignature() !== null»
	private final @NonNull «type.eClass.name» «typeName» = create«type.eClass.name»(«getEcoreLiteral(type)»«IF type.getOwnedSignature() !== null»«FOR templateParameter : type.getOwnedSignature().getOwnedParameters()», «templateParameter.getSymbolName()»«ENDFOR»«ENDIF»);
	«ENDIF»
	«ENDFOR»
	«FOR type : ClassUtil.nullFree(pkge2collectionTypes.get(pkge))»«var typeName = type.getPrefixedSymbolName("_" + type.getName() + "_" + type.getElementType().partialName() + (if (type.isIsNullFree()) "_NullFree" else "") )»
	«IF type.getOwnedSignature() === null»
	private final @NonNull «type.eClass.name» «typeName» = create«type.eClass.name»(«type.getUnspecializedElement().getSymbolName()»);
	«ENDIF»
	«ENDFOR»
	«ENDFOR»
	'''
	}

	protected override String declareMapTypes(/@NonNull/ Model root) {
	var pkge2mapTypes = root.getSortedMapTypes();
	if (pkge2mapTypes.isEmpty()) return "";
	var sortedPackages = root.getSortedPackages(pkge2mapTypes.keySet());
	'''

	«FOR pkge : sortedPackages»
	«FOR type : ClassUtil.nullFree(pkge2mapTypes.get(pkge))»
	«IF type.getOwnedSignature() !== null»
	private final @NonNull «type.eClass.name» «type.getPrefixedSymbolName("_" + type.getName() + "_" + type.getKeyType().partialName() + "_" + type.getValueType().partialName())» = create«type.
	eClass.name»(«getEcoreLiteral(type)»«IF type.getOwnedSignature() !== null»«FOR templateParameter : type.getOwnedSignature().getOwnedParameters()», «templateParameter.getSymbolName()»«ENDFOR»«ENDIF»);
	«ENDIF»
	«ENDFOR»
	«FOR type : ClassUtil.nullFree(pkge2mapTypes.get(pkge))»
	«IF type.getOwnedSignature() === null»
	private final @NonNull «type.eClass.name» «type.getPrefixedSymbolName("_" + type.getName() + "_" + type.getKeyType().partialName() + "_" + type.getValueType().partialName())» = create«type.
	eClass.name»(«type.getUnspecializedElement().getSymbolName()»);
	«ENDIF»
	«ENDFOR»
	«ENDFOR»
	'''
	}

	protected override String declarePrimitiveTypes(/@NonNull/ Model root) {
	var pkge2primitiveTypes = root.getSortedPrimitiveTypes();
	if (pkge2primitiveTypes.isEmpty()) return "";
	var Package pkg = root.ownedPackages.findPackage();
	var sortedPackages = root.getSortedPackages(pkge2primitiveTypes.keySet());
	'''
	«FOR pkge : sortedPackages»

	«FOR type : ClassUtil.nullFree(pkge2primitiveTypes.get(pkge))»
	«IF pkg == pkge && !excludedEClassifierNames.contains(type.name)»
	private final @NonNull PrimitiveType «type.getPrefixedSymbolNameWithoutNormalization("_"+type.partialName())» = createPrimitiveType(«getEcoreLiteral(type)»);
	«ELSE»
	private final @NonNull PrimitiveType «type.getPrefixedSymbolNameWithoutNormalization("_"+type.partialName())» = createPrimitiveType("«type.name»");
	«ENDIF»
	«ENDFOR»
	«ENDFOR»
	'''
	}

	protected def String defineConstantType(DataType type) {'''
	«IF "Boolean".equals(type.name)»
	private void PrimitiveType «type.getPrefixedSymbolName("_"+type.partialName())» = OCLstdlib._Boolean;«ELSEIF "Classifier".equals(type.name)»
	private void PrimitiveType «type.getPrefixedSymbolName("_"+type.partialName())» = OCLstdlib._Classifier;«ELSEIF "Integer".equals(type.name)»
	private void PrimitiveType «type.getPrefixedSymbolName("_"+type.partialName())» = OCLstdlib._Integer;«ELSEIF "Real".equals(type.name)»
	private void PrimitiveType «type.getPrefixedSymbolName("_"+type.partialName())» = OCLstdlib._Real;«ELSEIF "String".equals(type.name)»
	private void PrimitiveType «type.getPrefixedSymbolName("_"+type.partialName())» = OCLstdlib._String;«ELSEIF "UnlimitedNatural".equals(type.name)»
	private void PrimitiveType «type.getPrefixedSymbolName("_"+type.partialName())» = OCLstdlib._UnlimitedNatural;«ELSE»
	private void DataType «type.getPrefixedSymbolName("_"+type.partialName())» = createDataType("«type.name»");«ENDIF»
	'''}

	/@NonNull/ protected override String generateMetamodel(/@NonNull/ Model root, /@NonNull/ Collection</@NonNull/ String> excludedEClassifierNames) {
	thisModel = root;
	var lib = ClassUtil.nonNullState(root.getLibrary());
	var externalPackages = root.getSortedExternalPackages();
	var year = new GregorianCalendar().get(GregorianCalendar.YEAR);
	'''
	/*******************************************************************************
	* Copyright (c) 2010, «year» Willink Transformations and others.
	* All rights reserved. This program and the accompanying materials
	* are made available under the terms of the Eclipse Public License v2.0
	* which accompanies this distribution, and is available at
	* http://www.eclipse.org/legal/epl-v20.html
	*
	* Contributors:
	* E.D.Willink - initial API and implementation
	*******************************************************************************
	* This code is 100% auto-generated
	* from: «sourceFile»
	* by: org.eclipse.ocl.examples.build.xtend.generateOCLstdlib.xtend
	* and: org.eclipse.ocl.examples.build.GenerateOCLstdlibModel.mwe2
	*
	* Do not edit it.
	*******************************************************************************/
	package «javaPackageName»;

	import java.io.IOException;
	import java.util.ArrayList;
	import java.util.List;
	import java.util.Map;
	import java.util.Set;

	import org.eclipse.emf.common.notify.Notification;
	import org.eclipse.emf.common.notify.NotificationChain;
	import org.eclipse.emf.common.util.TreeIterator;
	import org.eclipse.emf.common.util.URI;
	import org.eclipse.emf.ecore.EObject;
	import org.eclipse.emf.ecore.EPackage;
	import org.eclipse.emf.ecore.EReference;
	import org.eclipse.emf.ecore.impl.BasicEObjectImpl;
	import org.eclipse.emf.ecore.resource.Resource;
	import org.eclipse.emf.ecore.resource.ResourceSet;
	import org.eclipse.emf.ecore.xmi.impl.XMIResourceImpl;
	import org.eclipse.jdt.annotation.NonNull;
	import org.eclipse.jdt.annotation.Nullable;
	import org.eclipse.ocl.pivot.*;
	import org.eclipse.ocl.pivot.Class;
	import org.eclipse.ocl.pivot.Package;
	import org.eclipse.ocl.pivot.ids.IdManager;
	import org.eclipse.ocl.pivot.ids.PackageId;
	import org.eclipse.ocl.pivot.internal.library.StandardLibraryContribution;
	import org.eclipse.ocl.pivot.internal.resource.ASResourceImpl;
	import org.eclipse.ocl.pivot.internal.resource.OCLASResourceFactory;
	import org.eclipse.ocl.pivot.internal.utilities.AbstractContents;
	import org.eclipse.ocl.pivot.internal.utilities.PivotUtilInternal;
	import org.eclipse.ocl.pivot.model.OCLmetamodel;
	import org.eclipse.ocl.pivot.utilities.ClassUtil;
	import org.eclipse.ocl.pivot.utilities.MetamodelManager;
	import org.eclipse.ocl.pivot.utilities.PivotConstants;
	import org.eclipse.ocl.pivot.utilities.PivotUtil;
	«IF ((externalPackages !== null) && !externalPackages.isEmpty())»

	«FOR externalPackage : externalPackages»
	«externalPackage.declarePackageImport()»
	«ENDFOR»
	«ENDIF»

	/**
	* This is the «uri» Standard Library
	* auto-generated from «sourceFile».
	* It facilitates efficient library loading without the overheads of model reading.
	* <p>
	* This Standard Library may be registered as the definition of a Standard Library for
	* the OCL evaluation framework by invoking {@link #install}.
	* <p>
	* The Standard Library is normally activated when the MetamodelManager attempts
	* to locate a library type when its default Standard Library URI is the same
	* as this Standard Library.
	*/
	@SuppressWarnings("unused")
	public class «javaClassName» extends ASResourceImpl
	{
	/**
	* The static package-of-types pivot model of the Standard Library.
	*/
	private static «javaClassName» INSTANCE = null;

	/**
	* The URI of this Standard Library.
	*/
	public static final @NonNull String STDLIB_URI = "«uri»";

	/**
	* The URI of the AS representation of this Standard Library.
	*/
	public static final @NonNull URI STDLIB_AS_URI = URI.createURI("«uri»" + PivotConstants.DOT_OCL_AS_FILE_EXTENSION);

	/**
	* Return the default «uri» standard Library Resource
	* if it jas been created, or null if not.
	* This static definition auto-generated from «sourceFile»
	* is used as the default when no overriding copy is registered.
	* It cannot be unloaded or rather unloading has no effect.
	*/
	public static @Nullable «javaClassName» basicGetDefault() {
	return INSTANCE;
	}

	/**
	* Return the default «uri» standard Library Resource.
	* This static definition auto-generated from «sourceFile»
	* is used as the default when no overriding copy is registered.
	* It cannot be unloaded or rather unloading has no effect.
	*/
	public static @NonNull «javaClassName» getDefault() {
	«javaClassName» oclstdlib = INSTANCE;
	if (oclstdlib == null) {
	Contents contents = new Contents("«lib.getURI»");
	String asURI = STDLIB_URI + PivotConstants.DOT_OCL_AS_FILE_EXTENSION;
	oclstdlib = INSTANCE = new ReadOnly(asURI, contents.getModel());
	oclstdlib.setSaveable(false);
	}
	return oclstdlib;
	}

	/**
	* Return the default «uri» standard Library model.
	* This static definition auto-generated from «sourceFile»
	* is used as the default when no overriding copy is registered.
	*/
	public static @NonNull Model getDefaultModel() {
	Model model = (Model)(getDefault().getContents().get(0));
	assert model != null;
	return model;
	}
	«IF (externalPackages.size() == 2)»

	/**
	* Return the default «uri» standard Library package.
	* This static definition auto-generated from «sourceFile»
	* is used as the default when no overriding copy is registered.
	*/
	public static @NonNull Package getDefaultPackage() {
	Package pkge = getDefaultModel().getOwnedPackages().get(0);
	assert pkge != null;
	return pkge;
	}
	«ENDIF»

	/**
	* Install this library in the {@link StandardLibraryContribution#REGISTRY}
	* and the {@link OCLASResourceFactory#REGISTRY}.
	* This method may be invoked by standalone applications to replicate
	* the registration that should appear as a standard_library plugin
	* extension when running within Eclipse.
	*/
	public static void install() {
	EPackage.Registry.INSTANCE.put(OCLstdlibPackage.eNS_URI, OCLstdlibPackage.eINSTANCE);
	Loader contribution = new Loader();
	StandardLibraryContribution.REGISTRY.put(STDLIB_URI, contribution);
	OCLASResourceFactory.REGISTRY.put(STDLIB_AS_URI, contribution);
	}

	/**
	* Install this library in the {@link StandardLibraryContribution#REGISTRY}
	* and the {@link OCLASResourceFactory#REGISTRY}
	* unless some other library contribution has already been installed.
	*/
	public static void lazyInstall() {
	if (StandardLibraryContribution.REGISTRY.get(STDLIB_URI) == null) {
	install();
	}
	}

	/**
	* Uninstall this library from the {@link StandardLibraryContribution#REGISTRY}
	* and the {@link OCLASResourceFactory#REGISTRY}.
	* This method may be invoked by standalone applications to release the library
	* resources for garbage collection and memory leakage detection.
	*/
	public static void uninstall() {
	StandardLibraryContribution.REGISTRY.remove(STDLIB_URI);
	OCLASResourceFactory.REGISTRY.remove(STDLIB_AS_URI);
	INSTANCE = null;
	}

	/**
	* The Loader shares the Standard Library instance whenever this default library
	* is loaded from the registry of Standard Libraries populated by the standard_library
	* extension point.
	*/
	public static class Loader implements StandardLibraryContribution
	{
	@Override
	public @NonNull StandardLibraryContribution getContribution() {
	return this;
	}

	@Override
	public @NonNull Resource getResource() {
	return getDefault();
	}
	}

	/**
	* A ReadOnly «javaClassName» overrides inherited functionality to impose immutable shared behaviour.
	*/
	protected static class ReadOnly extends «javaClassName» implements ImmutableResource
	{
	protected ReadOnly(@NonNull String asURI, @NonNull Model libraryModel) {
	super(asURI, libraryModel);
	}

	/**
	* Overridden to inhibit entry of the shared instance in any ResourceSet.
	*/
	@Override
	public NotificationChain basicSetResourceSet(ResourceSet resourceSet, NotificationChain notifications) {
	return notifications;
	}

	/**
	* Overridden to inhibit unloading of the shared instance.
	*/
	@Override
	protected void doUnload() {}

	@Override
	public boolean isCompatibleWith(@NonNull String metamodelURI) {
	return OCLmetamodel.PIVOT_URI.equals(metamodelURI);
	}

	/**
	* Overridden to trivialise loading of the shared instance.
	*/
	@Override
	public void load(Map<?, ?> options) throws IOException {
	if (this != INSTANCE) {
	super.load(options);
	}
	else {
	setLoaded(true);
	}
	}

	/**
	* Overridden to inhibit unloading of the shared instance.
	*/
	@Override
	protected Notification setLoaded(boolean isLoaded) {
	if (isLoaded) {
	return super.setLoaded(isLoaded);
	}
	else {
	return null;
	}
	}
	}

	/**
	* Construct a copy of the OCL Standard Library with specified resource URI,
	* and package name, prefix and namespace URI.
	*/
	public static @NonNull «javaClassName» create(@NonNull String asURI) {
	Contents contents = new Contents(asURI);
	return new «javaClassName»(asURI, contents.getModel());
	}

	/**
	* Construct an OCL Standard Library with specified resource URI and library content.
	*/
	private «javaClassName»(@NonNull String asURI, @NonNull Model libraryModel) {
	super(ClassUtil.nonNullState(URI.createURI(asURI)), OCLASResourceFactory.getInstance());
	assert PivotUtilInternal.isASURI(asURI);
	getContents().add(libraryModel);
	}

	private static class Contents extends AbstractContents
	{
	private final @NonNull Model «root.getPrefixedSymbolName("model")»;
	«FOR pkge : root.getSortedPackages()»
	private final @NonNull «pkge.eClass().getName()» «pkge.getPrefixedSymbolName(if (pkge == root.getOrphanPackage()) "orphanage" else pkge.getName())»;
	«ENDFOR»

	private Contents(@NonNull String asURI)
	{
	«root.getSymbolName()» = createModel(asURI);
	«FOR pkge : root.getSortedPackages()»
	«pkge.getSymbolName()» = create«pkge.eClass().getName()»("«pkge.getName()»", "«pkge.getNsPrefix()»", "«pkge.getURI()»", «pkge.getGeneratedPackageId()», «getEcoreLiteral(pkge)»);
	«ENDFOR»
	«root.installPackages()»
	«root.installClassTypes()»
	«root.installPrimitiveTypes()»
	«root.installEnumerations()»
	«root.installCollectionTypes()»
	«root.installMapTypes()»
	«root.installLambdaTypes()»
	«root.installTupleTypes()»
	«root.installOperations()»
	«root.installIterations()»
	«root.installCoercions()»
	«root.installProperties()»
	«root.installTemplateBindings()»
	«root.installPrecedences()»
	«root.installComments()»
	}

	public @NonNull Model getModel() {
	return «root.getSymbolName()»;
	}
	«root.defineExternals()»
	«root.definePackages()»
	«root.declareClassTypes(excludedEClassifierNames)»
	«root.declarePrimitiveTypes()»
	«root.declareEnumerations()»
	«root.defineTemplateParameters()»
	«root.declareTupleTypes()»
	«root.declareCollectionTypes()»
	«root.declareMapTypes()»
	«root.defineClassTypes()»
	«root.definePrimitiveTypes()»
	«root.defineEnumerations()»
	«root.defineCollectionTypes()»
	«root.defineMapTypes()»
	«root.defineTupleTypes()»
	«root.defineLambdaTypes()»
	«root.defineOperations()»
	«root.defineIterations()»
	«root.defineCoercions()»
	«root.defineProperties()»
	«root.defineTemplateBindings()»
	«root.definePrecedences()»
	«root.defineComments()»
	}
	}
	'''
	}
	}