examples/org.eclipse.ocl.examples.pivot/emf-gen/org/eclipse/ocl/examples/pivot/bodies/TypedMultiplicityElementBodies.java - ocl/org.eclipse.ocl - Git at Google

 /**
  * <copyright>
  *
  * Copyright (c) 2012 E.D.Willink and others.
  * All rights reserved.   This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
  * which accompanies this distribution, and is available at
  * http://www.eclipse.org/legal/epl-v10.html
  *
  * Contributors:
  *   E.D.Willink - Initial API and implementation
  *
  * </copyright>
  *************************************************************************
  * This code is 100% auto-generated
  * from: pivot
  * using: org.eclipse.ocl.examples.codegen.tables.model2tables.mtl
  *
  * Do not edit it.
  */
 package org.eclipse.ocl.examples.pivot.bodies;

 import org.eclipse.ocl.examples.domain.elements.DomainStandardLibrary;
 import org.eclipse.ocl.examples.domain.elements.DomainType;
 import org.eclipse.ocl.examples.domain.evaluation.DomainEvaluator;
 import org.eclipse.ocl.examples.domain.evaluation.InvalidValueException;
 import org.eclipse.ocl.examples.domain.library.AbstractBinaryOperation;
 import org.eclipse.ocl.examples.domain.library.AbstractUnaryOperation;
 import org.eclipse.ocl.examples.domain.library.LibraryBinaryOperation;
 import org.eclipse.ocl.examples.domain.library.LibraryProperty;
 import org.eclipse.ocl.examples.domain.values.ObjectValue;
 import org.eclipse.ocl.examples.domain.values.StringValue;
 import org.eclipse.ocl.examples.domain.values.Value;
 import org.eclipse.ocl.examples.domain.values.ValueFactory;
 import org.eclipse.ocl.examples.library.executor.ExecutorOperation;
 import org.eclipse.ocl.examples.library.executor.ExecutorProperty;
 import org.eclipse.ocl.examples.library.executor.ExecutorType;
 import org.eclipse.ocl.examples.library.oclstdlib.OCLstdlibTables;
 import org.eclipse.ocl.examples.pivot.PivotTables;

 /**
  * TypedMultiplicityElementBodies provides the Java implementation bodies of OCL-defined TypedMultiplicityElement operations and properties.
  */
 @SuppressWarnings("nls")
 public class TypedMultiplicityElementBodies
 {

 	/**
 	 * Implementation of the TypedMultiplicityElement::CompatibleBody '' <body>.
 	 */
 	public static class _CompatibleBody_body_ extends AbstractBinaryOperation
 	{
 		public static _CompatibleBody_body_ INSTANCE = new _CompatibleBody_body_();

 		/*
 		let bodyType : Type = bodySpecification.type
 	in
 	  if bodyType.oclIsKindOf(CollectionType)
 	  then
 	    let
 	      bodyCollectionType : CollectionType = bodyType.oclAsType(CollectionType)
 	    in
 	      let bodyElementType : Type = bodyCollectionType.elementType
 	      in
 	        bodyElementType.conformsTo(self.type) and self.isOrdered =
 	        (
 	          bodyCollectionType.conformsTo(OrderedSet(OclAny)) or
 	          bodyCollectionType.conformsTo(Sequence(OclAny))
 	        ) and self.isUnique =
 	        (
 	          bodyCollectionType.conformsTo(OrderedSet(OclAny)) or
 	          bodyCollectionType.conformsTo(Set(OclAny))
 	        )
 	  else bodyType.conformsTo(self.type)
 	  endif
 		*/
 		public Value evaluate(DomainEvaluator evaluator, DomainType returnType, final Value self, final Value bodySpecification) throws InvalidValueException {
 			final ValueFactory valueFactory = evaluator.getValueFactory();
 			final DomainStandardLibrary standardLibrary = valueFactory.getStandardLibrary();
 			final ExecutorType T_Boolean = OCLstdlibTables.Types._Boolean;
 			final ExecutorOperation O_OclAny_oclIsKindOf = OCLstdlibTables.Operations._OclAny__oclIsKindOf;
 			final Value T_ClassClassifier_Pivot_ecore__pivot__CollectionType_ = valueFactory.createTypeValue(PivotTables.Types._CollectionType);
 			final ExecutorOperation O_Boolean_and = OCLstdlibTables.Operations._Boolean__and;
 			final ExecutorOperation O_OclType_conformsTo = OCLstdlibTables.Operations._OclType__conformsTo;
 			final ExecutorType T_Pivot_ecore__pivot__Type = PivotTables.Types._Type;
 			final ExecutorProperty P_TypedElement_type = PivotTables.Properties._TypedElement__type;
 			final LibraryProperty IP_TypedElement_type = P_TypedElement_type.getImplementation();
 			final ExecutorOperation O_Boolean__eq_ = OCLstdlibTables.Operations._Boolean___eq_;
 			final ExecutorProperty P_MultiplicityElement_isOrdered = PivotTables.Properties._MultiplicityElement__isOrdered;
 			final LibraryProperty IP_MultiplicityElement_isOrdered = P_MultiplicityElement_isOrdered.getImplementation();
 			final ExecutorOperation O_Boolean_or = OCLstdlibTables.Operations._Boolean__or;
 			final Value T_CollectionClassifier_OrderedSet_OclAny__OclAny_ = valueFactory.createTypeValue(OCLstdlibTables.Types._OrderedSet);
 			final Value T_CollectionClassifier_Sequence_OclAny__OclAny_ = valueFactory.createTypeValue(OCLstdlibTables.Types._Sequence);
 			final ExecutorProperty P_MultiplicityElement_isUnique = PivotTables.Properties._MultiplicityElement__isUnique;
 			final LibraryProperty IP_MultiplicityElement_isUnique = P_MultiplicityElement_isUnique.getImplementation();
 			final Value T_CollectionClassifier_Set_OclAny__OclAny_ = valueFactory.createTypeValue(OCLstdlibTables.Types._Set);
 			final ExecutorProperty P_CollectionType_elementType = PivotTables.Properties._CollectionType__elementType;
 			final LibraryProperty IP_CollectionType_elementType = P_CollectionType_elementType.getImplementation();
 			final ExecutorType T_Pivot_ecore__pivot__CollectionType = PivotTables.Types._CollectionType;
 			final ExecutorOperation O_OclAny_oclAsType = OCLstdlibTables.Operations._OclAny__oclAsType;


 			Value A_symbol_116 = IP_TypedElement_type.evaluate(evaluator, T_Pivot_ecore__pivot__Type, bodySpecification, P_TypedElement_type);

 			final Value V_bodyType = A_symbol_116;

 				DomainType static_A_symbol_117 = valueFactory.typeOf(V_bodyType);
 				LibraryBinaryOperation dynamic_A_symbol_117 = (LibraryBinaryOperation)static_A_symbol_117.lookupImplementation(standardLibrary, O_OclAny_oclIsKindOf);
 				Value A_symbol_117 = dynamic_A_symbol_117.evaluate(evaluator, T_Boolean, V_bodyType, T_ClassClassifier_Pivot_ecore__pivot__CollectionType_);
 			Value A_symbol_118;
 			if (A_symbol_117.isTrue()) {

 				DomainType static_A_symbol_119 = valueFactory.typeOf(V_bodyType);
 				LibraryBinaryOperation dynamic_A_symbol_119 = (LibraryBinaryOperation)static_A_symbol_119.lookupImplementation(standardLibrary, O_OclAny_oclAsType);
 				Value A_symbol_119 = dynamic_A_symbol_119.evaluate(evaluator, T_Pivot_ecore__pivot__CollectionType, V_bodyType, T_ClassClassifier_Pivot_ecore__pivot__CollectionType_);
 				final Value V_bodyCollectionType = A_symbol_119;

 				Value A_symbol_120 = IP_CollectionType_elementType.evaluate(evaluator, T_Pivot_ecore__pivot__Type, V_bodyCollectionType, P_CollectionType_elementType);

 				final Value V_bodyElementType = A_symbol_120;
 				Value leftA_symbol_121;
 				try {
 					Value leftA_symbol_122;
 					try {


 						Value A_symbol_123 = IP_TypedElement_type.evaluate(evaluator, T_Pivot_ecore__pivot__Type, self, P_TypedElement_type);

 						DomainType static_A_symbol_124 = valueFactory.typeOf(V_bodyElementType);
 						LibraryBinaryOperation dynamic_A_symbol_124 = (LibraryBinaryOperation)static_A_symbol_124.lookupImplementation(standardLibrary, O_OclType_conformsTo);
 						Value A_symbol_124 = dynamic_A_symbol_124.evaluate(evaluator, T_Boolean, V_bodyElementType, A_symbol_123);
 						leftA_symbol_122 = A_symbol_124;
 					} catch (InvalidValueException e) {
 						leftA_symbol_122 = valueFactory.createInvalidValue(e);
 					}
 					Value A_symbol_124 = leftA_symbol_122;
 					Value rightA_symbol_122;
 					try {
 						Value leftA_symbol_125;
 						try {

 							Value A_symbol_126 = IP_MultiplicityElement_isOrdered.evaluate(evaluator, T_Boolean, self, P_MultiplicityElement_isOrdered);

 							leftA_symbol_125 = A_symbol_126;
 						} catch (InvalidValueException e) {
 							leftA_symbol_125 = valueFactory.createInvalidValue(e);
 						}
 						Value A_symbol_126 = leftA_symbol_125;
 						Value rightA_symbol_125;
 						try {
 							Value leftA_symbol_127;
 							try {

 								DomainType static_A_symbol_128 = valueFactory.typeOf(V_bodyCollectionType);
 								LibraryBinaryOperation dynamic_A_symbol_128 = (LibraryBinaryOperation)static_A_symbol_128.lookupImplementation(standardLibrary, O_OclType_conformsTo);
 								Value A_symbol_128 = dynamic_A_symbol_128.evaluate(evaluator, T_Boolean, V_bodyCollectionType, T_CollectionClassifier_OrderedSet_OclAny__OclAny_);
 								leftA_symbol_127 = A_symbol_128;
 							} catch (InvalidValueException e) {
 								leftA_symbol_127 = valueFactory.createInvalidValue(e);
 							}
 							Value A_symbol_128 = leftA_symbol_127;
 							Value rightA_symbol_127;
 							try {

 								DomainType static_A_symbol_129 = valueFactory.typeOf(V_bodyCollectionType);
 								LibraryBinaryOperation dynamic_A_symbol_129 = (LibraryBinaryOperation)static_A_symbol_129.lookupImplementation(standardLibrary, O_OclType_conformsTo);
 								Value A_symbol_129 = dynamic_A_symbol_129.evaluate(evaluator, T_Boolean, V_bodyCollectionType, T_CollectionClassifier_Sequence_OclAny__OclAny_);
 								rightA_symbol_127 = A_symbol_129;
 							} catch (InvalidValueException e) {
 								rightA_symbol_127 = valueFactory.createInvalidValue(e);
 							}
 							Value A_symbol_129 = rightA_symbol_127;
 							DomainType static_A_symbol_127 = valueFactory.typeOf(A_symbol_128);
 							LibraryBinaryOperation dynamic_A_symbol_127 = (LibraryBinaryOperation)static_A_symbol_127.lookupImplementation(standardLibrary, O_Boolean_or);
 							Value A_symbol_127 = dynamic_A_symbol_127.evaluate(evaluator, T_Boolean, A_symbol_128, A_symbol_129);
 							rightA_symbol_125 = A_symbol_127;
 						} catch (InvalidValueException e) {
 							rightA_symbol_125 = valueFactory.createInvalidValue(e);
 						}
 						Value A_symbol_127 = rightA_symbol_125;
 						DomainType static_A_symbol_125 = valueFactory.typeOf(A_symbol_126, A_symbol_127);
 						LibraryBinaryOperation dynamic_A_symbol_125 = (LibraryBinaryOperation)static_A_symbol_125.lookupImplementation(standardLibrary, O_Boolean__eq_);
 						Value A_symbol_125 = dynamic_A_symbol_125.evaluate(evaluator, T_Boolean, A_symbol_126, A_symbol_127);
 						rightA_symbol_122 = A_symbol_125;
 					} catch (InvalidValueException e) {
 						rightA_symbol_122 = valueFactory.createInvalidValue(e);
 					}
 					Value A_symbol_125 = rightA_symbol_122;
 					DomainType static_A_symbol_122 = valueFactory.typeOf(A_symbol_124);
 					LibraryBinaryOperation dynamic_A_symbol_122 = (LibraryBinaryOperation)static_A_symbol_122.lookupImplementation(standardLibrary, O_Boolean_and);
 					Value A_symbol_122 = dynamic_A_symbol_122.evaluate(evaluator, T_Boolean, A_symbol_124, A_symbol_125);
 					leftA_symbol_121 = A_symbol_122;
 				} catch (InvalidValueException e) {
 					leftA_symbol_121 = valueFactory.createInvalidValue(e);
 				}
 				Value A_symbol_122 = leftA_symbol_121;
 				Value rightA_symbol_121;
 				try {
 					Value leftA_symbol_130;
 					try {

 						Value A_symbol_131 = IP_MultiplicityElement_isUnique.evaluate(evaluator, T_Boolean, self, P_MultiplicityElement_isUnique);

 						leftA_symbol_130 = A_symbol_131;
 					} catch (InvalidValueException e) {
 						leftA_symbol_130 = valueFactory.createInvalidValue(e);
 					}
 					Value A_symbol_131 = leftA_symbol_130;
 					Value rightA_symbol_130;
 					try {
 						Value leftA_symbol_132;
 						try {

 							DomainType static_A_symbol_133 = valueFactory.typeOf(V_bodyCollectionType);
 							LibraryBinaryOperation dynamic_A_symbol_133 = (LibraryBinaryOperation)static_A_symbol_133.lookupImplementation(standardLibrary, O_OclType_conformsTo);
 							Value A_symbol_133 = dynamic_A_symbol_133.evaluate(evaluator, T_Boolean, V_bodyCollectionType, T_CollectionClassifier_OrderedSet_OclAny__OclAny_);
 							leftA_symbol_132 = A_symbol_133;
 						} catch (InvalidValueException e) {
 							leftA_symbol_132 = valueFactory.createInvalidValue(e);
 						}
 						Value A_symbol_133 = leftA_symbol_132;
 						Value rightA_symbol_132;
 						try {

 							DomainType static_A_symbol_134 = valueFactory.typeOf(V_bodyCollectionType);
 							LibraryBinaryOperation dynamic_A_symbol_134 = (LibraryBinaryOperation)static_A_symbol_134.lookupImplementation(standardLibrary, O_OclType_conformsTo);
 							Value A_symbol_134 = dynamic_A_symbol_134.evaluate(evaluator, T_Boolean, V_bodyCollectionType, T_CollectionClassifier_Set_OclAny__OclAny_);
 							rightA_symbol_132 = A_symbol_134;
 						} catch (InvalidValueException e) {
 							rightA_symbol_132 = valueFactory.createInvalidValue(e);
 						}
 						Value A_symbol_134 = rightA_symbol_132;
 						DomainType static_A_symbol_132 = valueFactory.typeOf(A_symbol_133);
 						LibraryBinaryOperation dynamic_A_symbol_132 = (LibraryBinaryOperation)static_A_symbol_132.lookupImplementation(standardLibrary, O_Boolean_or);
 						Value A_symbol_132 = dynamic_A_symbol_132.evaluate(evaluator, T_Boolean, A_symbol_133, A_symbol_134);
 						rightA_symbol_130 = A_symbol_132;
 					} catch (InvalidValueException e) {
 						rightA_symbol_130 = valueFactory.createInvalidValue(e);
 					}
 					Value A_symbol_132 = rightA_symbol_130;
 					DomainType static_A_symbol_130 = valueFactory.typeOf(A_symbol_131, A_symbol_132);
 					LibraryBinaryOperation dynamic_A_symbol_130 = (LibraryBinaryOperation)static_A_symbol_130.lookupImplementation(standardLibrary, O_Boolean__eq_);
 					Value A_symbol_130 = dynamic_A_symbol_130.evaluate(evaluator, T_Boolean, A_symbol_131, A_symbol_132);
 					rightA_symbol_121 = A_symbol_130;
 				} catch (InvalidValueException e) {
 					rightA_symbol_121 = valueFactory.createInvalidValue(e);
 				}
 				Value A_symbol_130 = rightA_symbol_121;
 				DomainType static_A_symbol_121 = valueFactory.typeOf(A_symbol_122);
 				LibraryBinaryOperation dynamic_A_symbol_121 = (LibraryBinaryOperation)static_A_symbol_121.lookupImplementation(standardLibrary, O_Boolean_and);
 				Value A_symbol_121 = dynamic_A_symbol_121.evaluate(evaluator, T_Boolean, A_symbol_122, A_symbol_130);
 				final Value A_symbol_135 = A_symbol_121;
 				final Value A_symbol_136 = A_symbol_135;
 				A_symbol_118 = A_symbol_136;
 			}
 			else if (A_symbol_117.isFalse()) {


 				Value A_symbol_137 = IP_TypedElement_type.evaluate(evaluator, T_Pivot_ecore__pivot__Type, self, P_TypedElement_type);

 				DomainType static_A_symbol_138 = valueFactory.typeOf(V_bodyType);
 				LibraryBinaryOperation dynamic_A_symbol_138 = (LibraryBinaryOperation)static_A_symbol_138.lookupImplementation(standardLibrary, O_OclType_conformsTo);
 				Value A_symbol_138 = dynamic_A_symbol_138.evaluate(evaluator, T_Boolean, V_bodyType, A_symbol_137);
 				A_symbol_118 = A_symbol_138;
 			}
 			else if (A_symbol_117.isNull()) {
 				A_symbol_118 = valueFactory.throwInvalidValueException("null if condition");
 			}
 			else {
 				A_symbol_118 = valueFactory.throwInvalidValueException("invalid if condition");
 			}
 			final Value A_symbol_139 = A_symbol_118;
 			return A_symbol_139;
 		}
 	}

 	/**
 	 * Implementation of the TypedMultiplicityElement::makeParameter '' <body>.
 	 */
 	public static class _makeParameter_body_ extends AbstractUnaryOperation
 	{
 		public static _makeParameter_body_ INSTANCE = new _makeParameter_body_();

 		/*
 		Parameter{name = 'name'}
 		*/
 		public Value evaluate(DomainEvaluator evaluator, DomainType returnType, final Value self) throws InvalidValueException {
 			final ExecutorProperty P_NamedElement_name = PivotTables.Properties._NamedElement__name;
 			final ValueFactory valueFactory = evaluator.getValueFactory();
 			final StringValue S_name = valueFactory.stringValueOf("name");

 			ObjectValue A_symbol_140 = PivotTables.Types._Parameter.createInstance(valueFactory);

 			P_NamedElement_name.setValue(A_symbol_140, S_name);

 			return A_symbol_140;
 		}
 	}
 }
	/**
	* <copyright>
	*
	* Copyright (c) 2012 E.D.Willink and others.
	* All rights reserved. This program and the accompanying materials
	* are made available under the terms of the Eclipse Public License v1.0
	* which accompanies this distribution, and is available at
	* http://www.eclipse.org/legal/epl-v10.html
	*
	* Contributors:
	* E.D.Willink - Initial API and implementation
	*
	* </copyright>
	*************************************************************************
	* This code is 100% auto-generated
	* from: pivot
	* using: org.eclipse.ocl.examples.codegen.tables.model2tables.mtl
	*
	* Do not edit it.
	*/
	package org.eclipse.ocl.examples.pivot.bodies;

	import org.eclipse.ocl.examples.domain.elements.DomainStandardLibrary;
	import org.eclipse.ocl.examples.domain.elements.DomainType;
	import org.eclipse.ocl.examples.domain.evaluation.DomainEvaluator;
	import org.eclipse.ocl.examples.domain.evaluation.InvalidValueException;
	import org.eclipse.ocl.examples.domain.library.AbstractBinaryOperation;
	import org.eclipse.ocl.examples.domain.library.AbstractUnaryOperation;
	import org.eclipse.ocl.examples.domain.library.LibraryBinaryOperation;
	import org.eclipse.ocl.examples.domain.library.LibraryProperty;
	import org.eclipse.ocl.examples.domain.values.ObjectValue;
	import org.eclipse.ocl.examples.domain.values.StringValue;
	import org.eclipse.ocl.examples.domain.values.Value;
	import org.eclipse.ocl.examples.domain.values.ValueFactory;
	import org.eclipse.ocl.examples.library.executor.ExecutorOperation;
	import org.eclipse.ocl.examples.library.executor.ExecutorProperty;
	import org.eclipse.ocl.examples.library.executor.ExecutorType;
	import org.eclipse.ocl.examples.library.oclstdlib.OCLstdlibTables;
	import org.eclipse.ocl.examples.pivot.PivotTables;

	/**
	* TypedMultiplicityElementBodies provides the Java implementation bodies of OCL-defined TypedMultiplicityElement operations and properties.
	*/
	@SuppressWarnings("nls")
	public class TypedMultiplicityElementBodies
	{

	/**
	* Implementation of the TypedMultiplicityElement::CompatibleBody '' <body>.
	*/
	public static class _CompatibleBody_body_ extends AbstractBinaryOperation
	{
	public static _CompatibleBody_body_ INSTANCE = new _CompatibleBody_body_();

	/*
	let bodyType : Type = bodySpecification.type
	in
	if bodyType.oclIsKindOf(CollectionType)
	then
	let
	bodyCollectionType : CollectionType = bodyType.oclAsType(CollectionType)
	in
	let bodyElementType : Type = bodyCollectionType.elementType
	in
	bodyElementType.conformsTo(self.type) and self.isOrdered =
	(
	bodyCollectionType.conformsTo(OrderedSet(OclAny)) or
	bodyCollectionType.conformsTo(Sequence(OclAny))
	) and self.isUnique =
	(
	bodyCollectionType.conformsTo(OrderedSet(OclAny)) or
	bodyCollectionType.conformsTo(Set(OclAny))
	)
	else bodyType.conformsTo(self.type)
	endif
	*/
	public Value evaluate(DomainEvaluator evaluator, DomainType returnType, final Value self, final Value bodySpecification) throws InvalidValueException {
	final ValueFactory valueFactory = evaluator.getValueFactory();
	final DomainStandardLibrary standardLibrary = valueFactory.getStandardLibrary();
	final ExecutorType T_Boolean = OCLstdlibTables.Types._Boolean;
	final ExecutorOperation O_OclAny_oclIsKindOf = OCLstdlibTables.Operations._OclAny__oclIsKindOf;
	final Value T_ClassClassifier_Pivot_ecore__pivot__CollectionType_ = valueFactory.createTypeValue(PivotTables.Types._CollectionType);
	final ExecutorOperation O_Boolean_and = OCLstdlibTables.Operations._Boolean__and;
	final ExecutorOperation O_OclType_conformsTo = OCLstdlibTables.Operations._OclType__conformsTo;
	final ExecutorType T_Pivot_ecore__pivot__Type = PivotTables.Types._Type;
	final ExecutorProperty P_TypedElement_type = PivotTables.Properties._TypedElement__type;
	final LibraryProperty IP_TypedElement_type = P_TypedElement_type.getImplementation();
	final ExecutorOperation O_Boolean__eq_ = OCLstdlibTables.Operations._Boolean___eq_;
	final ExecutorProperty P_MultiplicityElement_isOrdered = PivotTables.Properties._MultiplicityElement__isOrdered;
	final LibraryProperty IP_MultiplicityElement_isOrdered = P_MultiplicityElement_isOrdered.getImplementation();
	final ExecutorOperation O_Boolean_or = OCLstdlibTables.Operations._Boolean__or;
	final Value T_CollectionClassifier_OrderedSet_OclAny__OclAny_ = valueFactory.createTypeValue(OCLstdlibTables.Types._OrderedSet);
	final Value T_CollectionClassifier_Sequence_OclAny__OclAny_ = valueFactory.createTypeValue(OCLstdlibTables.Types._Sequence);
	final ExecutorProperty P_MultiplicityElement_isUnique = PivotTables.Properties._MultiplicityElement__isUnique;
	final LibraryProperty IP_MultiplicityElement_isUnique = P_MultiplicityElement_isUnique.getImplementation();
	final Value T_CollectionClassifier_Set_OclAny__OclAny_ = valueFactory.createTypeValue(OCLstdlibTables.Types._Set);
	final ExecutorProperty P_CollectionType_elementType = PivotTables.Properties._CollectionType__elementType;
	final LibraryProperty IP_CollectionType_elementType = P_CollectionType_elementType.getImplementation();
	final ExecutorType T_Pivot_ecore__pivot__CollectionType = PivotTables.Types._CollectionType;
	final ExecutorOperation O_OclAny_oclAsType = OCLstdlibTables.Operations._OclAny__oclAsType;


	Value A_symbol_116 = IP_TypedElement_type.evaluate(evaluator, T_Pivot_ecore__pivot__Type, bodySpecification, P_TypedElement_type);

	final Value V_bodyType = A_symbol_116;

	DomainType static_A_symbol_117 = valueFactory.typeOf(V_bodyType);
	LibraryBinaryOperation dynamic_A_symbol_117 = (LibraryBinaryOperation)static_A_symbol_117.lookupImplementation(standardLibrary, O_OclAny_oclIsKindOf);
	Value A_symbol_117 = dynamic_A_symbol_117.evaluate(evaluator, T_Boolean, V_bodyType, T_ClassClassifier_Pivot_ecore__pivot__CollectionType_);
	Value A_symbol_118;
	if (A_symbol_117.isTrue()) {

	DomainType static_A_symbol_119 = valueFactory.typeOf(V_bodyType);
	LibraryBinaryOperation dynamic_A_symbol_119 = (LibraryBinaryOperation)static_A_symbol_119.lookupImplementation(standardLibrary, O_OclAny_oclAsType);
	Value A_symbol_119 = dynamic_A_symbol_119.evaluate(evaluator, T_Pivot_ecore__pivot__CollectionType, V_bodyType, T_ClassClassifier_Pivot_ecore__pivot__CollectionType_);
	final Value V_bodyCollectionType = A_symbol_119;

	Value A_symbol_120 = IP_CollectionType_elementType.evaluate(evaluator, T_Pivot_ecore__pivot__Type, V_bodyCollectionType, P_CollectionType_elementType);

	final Value V_bodyElementType = A_symbol_120;
	Value leftA_symbol_121;
	try {
	Value leftA_symbol_122;
	try {


	Value A_symbol_123 = IP_TypedElement_type.evaluate(evaluator, T_Pivot_ecore__pivot__Type, self, P_TypedElement_type);

	DomainType static_A_symbol_124 = valueFactory.typeOf(V_bodyElementType);
	LibraryBinaryOperation dynamic_A_symbol_124 = (LibraryBinaryOperation)static_A_symbol_124.lookupImplementation(standardLibrary, O_OclType_conformsTo);
	Value A_symbol_124 = dynamic_A_symbol_124.evaluate(evaluator, T_Boolean, V_bodyElementType, A_symbol_123);
	leftA_symbol_122 = A_symbol_124;
	} catch (InvalidValueException e) {
	leftA_symbol_122 = valueFactory.createInvalidValue(e);
	}
	Value A_symbol_124 = leftA_symbol_122;
	Value rightA_symbol_122;
	try {
	Value leftA_symbol_125;
	try {

	Value A_symbol_126 = IP_MultiplicityElement_isOrdered.evaluate(evaluator, T_Boolean, self, P_MultiplicityElement_isOrdered);

	leftA_symbol_125 = A_symbol_126;
	} catch (InvalidValueException e) {
	leftA_symbol_125 = valueFactory.createInvalidValue(e);
	}
	Value A_symbol_126 = leftA_symbol_125;
	Value rightA_symbol_125;
	try {
	Value leftA_symbol_127;
	try {

	DomainType static_A_symbol_128 = valueFactory.typeOf(V_bodyCollectionType);
	LibraryBinaryOperation dynamic_A_symbol_128 = (LibraryBinaryOperation)static_A_symbol_128.lookupImplementation(standardLibrary, O_OclType_conformsTo);
	Value A_symbol_128 = dynamic_A_symbol_128.evaluate(evaluator, T_Boolean, V_bodyCollectionType, T_CollectionClassifier_OrderedSet_OclAny__OclAny_);
	leftA_symbol_127 = A_symbol_128;
	} catch (InvalidValueException e) {
	leftA_symbol_127 = valueFactory.createInvalidValue(e);
	}
	Value A_symbol_128 = leftA_symbol_127;
	Value rightA_symbol_127;
	try {

	DomainType static_A_symbol_129 = valueFactory.typeOf(V_bodyCollectionType);
	LibraryBinaryOperation dynamic_A_symbol_129 = (LibraryBinaryOperation)static_A_symbol_129.lookupImplementation(standardLibrary, O_OclType_conformsTo);
	Value A_symbol_129 = dynamic_A_symbol_129.evaluate(evaluator, T_Boolean, V_bodyCollectionType, T_CollectionClassifier_Sequence_OclAny__OclAny_);
	rightA_symbol_127 = A_symbol_129;
	} catch (InvalidValueException e) {
	rightA_symbol_127 = valueFactory.createInvalidValue(e);
	}
	Value A_symbol_129 = rightA_symbol_127;
	DomainType static_A_symbol_127 = valueFactory.typeOf(A_symbol_128);
	LibraryBinaryOperation dynamic_A_symbol_127 = (LibraryBinaryOperation)static_A_symbol_127.lookupImplementation(standardLibrary, O_Boolean_or);
	Value A_symbol_127 = dynamic_A_symbol_127.evaluate(evaluator, T_Boolean, A_symbol_128, A_symbol_129);
	rightA_symbol_125 = A_symbol_127;
	} catch (InvalidValueException e) {
	rightA_symbol_125 = valueFactory.createInvalidValue(e);
	}
	Value A_symbol_127 = rightA_symbol_125;
	DomainType static_A_symbol_125 = valueFactory.typeOf(A_symbol_126, A_symbol_127);
	LibraryBinaryOperation dynamic_A_symbol_125 = (LibraryBinaryOperation)static_A_symbol_125.lookupImplementation(standardLibrary, O_Boolean__eq_);
	Value A_symbol_125 = dynamic_A_symbol_125.evaluate(evaluator, T_Boolean, A_symbol_126, A_symbol_127);
	rightA_symbol_122 = A_symbol_125;
	} catch (InvalidValueException e) {
	rightA_symbol_122 = valueFactory.createInvalidValue(e);
	}
	Value A_symbol_125 = rightA_symbol_122;
	DomainType static_A_symbol_122 = valueFactory.typeOf(A_symbol_124);
	LibraryBinaryOperation dynamic_A_symbol_122 = (LibraryBinaryOperation)static_A_symbol_122.lookupImplementation(standardLibrary, O_Boolean_and);
	Value A_symbol_122 = dynamic_A_symbol_122.evaluate(evaluator, T_Boolean, A_symbol_124, A_symbol_125);
	leftA_symbol_121 = A_symbol_122;
	} catch (InvalidValueException e) {
	leftA_symbol_121 = valueFactory.createInvalidValue(e);
	}
	Value A_symbol_122 = leftA_symbol_121;
	Value rightA_symbol_121;
	try {
	Value leftA_symbol_130;
	try {

	Value A_symbol_131 = IP_MultiplicityElement_isUnique.evaluate(evaluator, T_Boolean, self, P_MultiplicityElement_isUnique);

	leftA_symbol_130 = A_symbol_131;
	} catch (InvalidValueException e) {
	leftA_symbol_130 = valueFactory.createInvalidValue(e);
	}
	Value A_symbol_131 = leftA_symbol_130;
	Value rightA_symbol_130;
	try {
	Value leftA_symbol_132;
	try {

	DomainType static_A_symbol_133 = valueFactory.typeOf(V_bodyCollectionType);
	LibraryBinaryOperation dynamic_A_symbol_133 = (LibraryBinaryOperation)static_A_symbol_133.lookupImplementation(standardLibrary, O_OclType_conformsTo);
	Value A_symbol_133 = dynamic_A_symbol_133.evaluate(evaluator, T_Boolean, V_bodyCollectionType, T_CollectionClassifier_OrderedSet_OclAny__OclAny_);
	leftA_symbol_132 = A_symbol_133;
	} catch (InvalidValueException e) {
	leftA_symbol_132 = valueFactory.createInvalidValue(e);
	}
	Value A_symbol_133 = leftA_symbol_132;
	Value rightA_symbol_132;
	try {

	DomainType static_A_symbol_134 = valueFactory.typeOf(V_bodyCollectionType);
	LibraryBinaryOperation dynamic_A_symbol_134 = (LibraryBinaryOperation)static_A_symbol_134.lookupImplementation(standardLibrary, O_OclType_conformsTo);
	Value A_symbol_134 = dynamic_A_symbol_134.evaluate(evaluator, T_Boolean, V_bodyCollectionType, T_CollectionClassifier_Set_OclAny__OclAny_);
	rightA_symbol_132 = A_symbol_134;
	} catch (InvalidValueException e) {
	rightA_symbol_132 = valueFactory.createInvalidValue(e);
	}
	Value A_symbol_134 = rightA_symbol_132;
	DomainType static_A_symbol_132 = valueFactory.typeOf(A_symbol_133);
	LibraryBinaryOperation dynamic_A_symbol_132 = (LibraryBinaryOperation)static_A_symbol_132.lookupImplementation(standardLibrary, O_Boolean_or);
	Value A_symbol_132 = dynamic_A_symbol_132.evaluate(evaluator, T_Boolean, A_symbol_133, A_symbol_134);
	rightA_symbol_130 = A_symbol_132;
	} catch (InvalidValueException e) {
	rightA_symbol_130 = valueFactory.createInvalidValue(e);
	}
	Value A_symbol_132 = rightA_symbol_130;
	DomainType static_A_symbol_130 = valueFactory.typeOf(A_symbol_131, A_symbol_132);
	LibraryBinaryOperation dynamic_A_symbol_130 = (LibraryBinaryOperation)static_A_symbol_130.lookupImplementation(standardLibrary, O_Boolean__eq_);
	Value A_symbol_130 = dynamic_A_symbol_130.evaluate(evaluator, T_Boolean, A_symbol_131, A_symbol_132);
	rightA_symbol_121 = A_symbol_130;
	} catch (InvalidValueException e) {
	rightA_symbol_121 = valueFactory.createInvalidValue(e);
	}
	Value A_symbol_130 = rightA_symbol_121;
	DomainType static_A_symbol_121 = valueFactory.typeOf(A_symbol_122);
	LibraryBinaryOperation dynamic_A_symbol_121 = (LibraryBinaryOperation)static_A_symbol_121.lookupImplementation(standardLibrary, O_Boolean_and);
	Value A_symbol_121 = dynamic_A_symbol_121.evaluate(evaluator, T_Boolean, A_symbol_122, A_symbol_130);
	final Value A_symbol_135 = A_symbol_121;
	final Value A_symbol_136 = A_symbol_135;
	A_symbol_118 = A_symbol_136;
	}
	else if (A_symbol_117.isFalse()) {


	Value A_symbol_137 = IP_TypedElement_type.evaluate(evaluator, T_Pivot_ecore__pivot__Type, self, P_TypedElement_type);

	DomainType static_A_symbol_138 = valueFactory.typeOf(V_bodyType);
	LibraryBinaryOperation dynamic_A_symbol_138 = (LibraryBinaryOperation)static_A_symbol_138.lookupImplementation(standardLibrary, O_OclType_conformsTo);
	Value A_symbol_138 = dynamic_A_symbol_138.evaluate(evaluator, T_Boolean, V_bodyType, A_symbol_137);
	A_symbol_118 = A_symbol_138;
	}
	else if (A_symbol_117.isNull()) {
	A_symbol_118 = valueFactory.throwInvalidValueException("null if condition");
	}
	else {
	A_symbol_118 = valueFactory.throwInvalidValueException("invalid if condition");
	}
	final Value A_symbol_139 = A_symbol_118;
	return A_symbol_139;
	}
	}

	/**
	* Implementation of the TypedMultiplicityElement::makeParameter '' <body>.
	*/
	public static class _makeParameter_body_ extends AbstractUnaryOperation
	{
	public static _makeParameter_body_ INSTANCE = new _makeParameter_body_();

	/*
	Parameter{name = 'name'}
	*/
	public Value evaluate(DomainEvaluator evaluator, DomainType returnType, final Value self) throws InvalidValueException {
	final ExecutorProperty P_NamedElement_name = PivotTables.Properties._NamedElement__name;
	final ValueFactory valueFactory = evaluator.getValueFactory();
	final StringValue S_name = valueFactory.stringValueOf("name");

	ObjectValue A_symbol_140 = PivotTables.Types._Parameter.createInstance(valueFactory);

	P_NamedElement_name.setValue(A_symbol_140, S_name);

	return A_symbol_140;
	}
	}
	}