diff options
Diffstat (limited to 'plugins/org.eclipse.qvtd.pivot.qvtbase')
9 files changed, 6 insertions, 41 deletions
diff --git a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Domain.java b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Domain.java index 261447624..ac45cd003 100644 --- a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Domain.java +++ b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Domain.java @@ -49,7 +49,6 @@ public interface Domain extends NamedElement, ReferringElement { * @see #setIsCheckable(boolean) * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getDomain_IsCheckable() * @model unsettable="true" required="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Domain!isCheckable'" * @generated */ boolean isIsCheckable(); @@ -103,7 +102,6 @@ public interface Domain extends NamedElement, ReferringElement { * @see #setIsEnforceable(boolean) * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getDomain_IsEnforceable() * @model unsettable="true" required="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Domain!isEnforceable'" * @generated */ boolean isIsEnforceable(); @@ -157,7 +155,6 @@ public interface Domain extends NamedElement, ReferringElement { * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getDomain_Rule() * @see org.eclipse.qvtd.pivot.qvtbase.Rule#getDomain * @model opposite="domain" required="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Domain!rule'" * @generated */ Rule getRule(); @@ -183,7 +180,7 @@ public interface Domain extends NamedElement, ReferringElement { * @return the value of the '<em>Typed Model</em>' reference. * @see #setTypedModel(TypedModel) * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getDomain_TypedModel() - * @model annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Domain!typedModel'" + * @model * @generated */ TypedModel getTypedModel(); @@ -203,7 +200,6 @@ public interface Domain extends NamedElement, ReferringElement { * <!-- end-user-doc --> * @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='NameIsTypedModelName'" * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\ttypedModel <> null implies name = typedModel.name\n\n'" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='final <%java.lang.<%@<%org.eclipse.jdt.annotation.NonNull%> %>String%> constraintName = \"Domain::NameIsTypedModelName\";\ntry {\n\t/**\n\t *\n\t * inv NameIsTypedModelName:\n\t * let severity : Integer[1] = constraintName.getSeverity()\n\t * in\n\t * if severity <= 0\n\t * then true\n\t * else\n\t * let result : Boolean[?] = typedModel <> null implies name = typedModel.name\n\t * in\n\t * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)\n\t * endif\n\t \052/\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor = <%org.eclipse.ocl.pivot.utilities.PivotUtil%>.getExecutor(this, context);\n\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_severity_0;\n\ttry {\n\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IntegerValue%> severity_0 = <%org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage%>.Literals.DOMAIN___VALIDATE_NAME_IS_TYPED_MODEL_NAME__DIAGNOSTICCHAIN_MAP);\n\t\tCAUGHT_severity_0 = severity_0;\n\t}\n\tcatch (<%java.lang.Exception%> e) {\n\t\tCAUGHT_severity_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t}\n\tif (CAUGHT_severity_0 instanceof <%org.eclipse.ocl.pivot.values.InvalidValueException%>) {\n\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)CAUGHT_severity_0;\n\t}\n\tfinal /*@Thrown\052/ boolean le = <%org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation%>.INSTANCE.evaluate(executor, CAUGHT_severity_0, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t/*@NonInvalid\052/ boolean symbol_0;\n\tif (le) {\n\t\tsymbol_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t}\n\telse {\n\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_result;\n\t\ttry {\n\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.Nullable%> %>TypedModel%> typedModel = this.getTypedModel();\n\t\t\tfinal /*@NonInvalid\052/ boolean ne = typedModel != null;\n\t\t\t/*@Thrown\052/ boolean result;\n\t\t\tif (ne) {\n\t\t\t\tfinal /*@NonInvalid\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>String%> name = this.getName();\n\t\t\t\tif (typedModel == null) {\n\t\t\t\t\tthrow new <%org.eclipse.ocl.pivot.values.InvalidValueException%>(\"Null source for \\\'NamedElement::name\\\'\");\n\t\t\t\t}\n\t\t\t\tfinal /*@Thrown\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>String%> name_0 = typedModel.getName();\n\t\t\t\tfinal /*@Thrown\052/ boolean eq = (name != null) ? name.equals(name_0) : (name_0 == null);\n\t\t\t\tresult = eq;\n\t\t\t}\n\t\t\telse {\n\t\t\t\tresult = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t\t\t}\n\t\t\tCAUGHT_result = result;\n\t\t}\n\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\tCAUGHT_result = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t}\n\t\tfinal /*@NonInvalid\052/ boolean logDiagnostic = <%org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.ocl.pivot.ids.TypeId%>.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, CAUGHT_severity_0, CAUGHT_result, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t\tsymbol_0 = logDiagnostic;\n\t}\n\treturn Boolean.TRUE == symbol_0;\n}\ncatch (<%java.lang.Throwable%> e) {\n\treturn <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);\n}'" * @generated */ boolean validateNameIsTypedModelName(DiagnosticChain diagnostics, Map<Object, Object> context); @@ -213,7 +209,6 @@ public interface Domain extends NamedElement, ReferringElement { * <!-- end-user-doc --> * @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='TypedModelIsTransformationModelParameter'" * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\toclContainer().oclIsKindOf(Transformation) and typedModel <> null implies\n\toclContainer().oclAsType(Transformation).modelParameter->includes(typedModel)\n\n'" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='final <%java.lang.<%@<%org.eclipse.jdt.annotation.NonNull%> %>String%> constraintName = \"Domain::TypedModelIsTransformationModelParameter\";\ntry {\n\t/**\n\t *\n\t * inv TypedModelIsTransformationModelParameter:\n\t * let severity : Integer[1] = constraintName.getSeverity()\n\t * in\n\t * if severity <= 0\n\t * then true\n\t * else\n\t * let\n\t * result : Boolean[?] = oclContainer()\n\t * .oclIsKindOf(Transformation) and typedModel <> null implies\n\t * oclContainer()\n\t * .oclAsType(Transformation)\n\t * .modelParameter->includes(typedModel)\n\t * in\n\t * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)\n\t * endif\n\t \052/\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor = <%org.eclipse.ocl.pivot.utilities.PivotUtil%>.getExecutor(this, context);\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.ids.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IdResolver%> idResolver = executor.getIdResolver();\n\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_severity_0;\n\ttry {\n\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IntegerValue%> severity_0 = <%org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage%>.Literals.DOMAIN___VALIDATE_TYPED_MODEL_IS_TRANSFORMATION_MODEL_PARAMETER__DIAGNOSTICCHAIN_MAP);\n\t\tCAUGHT_severity_0 = severity_0;\n\t}\n\tcatch (<%java.lang.Exception%> e) {\n\t\tCAUGHT_severity_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t}\n\tif (CAUGHT_severity_0 instanceof <%org.eclipse.ocl.pivot.values.InvalidValueException%>) {\n\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)CAUGHT_severity_0;\n\t}\n\tfinal /*@Thrown\052/ boolean le = <%org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation%>.INSTANCE.evaluate(executor, CAUGHT_severity_0, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t/*@NonInvalid\052/ boolean symbol_0;\n\tif (le) {\n\t\tsymbol_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t}\n\telse {\n\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.Nullable%> %>Object%> CAUGHT_result;\n\t\ttry {\n\t\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.Nullable%> %>Object%> CAUGHT_and;\n\t\t\ttry {\n\t\t\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_oclIsKindOf;\n\t\t\t\ttry {\n\t\t\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Class%> TYP_qvtbase_c_c_Transformation = idResolver.getClass(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.CLSSid_Transformation, null);\n\t\t\t\t\tfinal /*@NonInvalid\052/ <%<%@<%org.eclipse.jdt.annotation.Nullable%> %>Object%> oclContainer = <%org.eclipse.ocl.pivot.library.classifier.ClassifierOclContainerOperation%>.INSTANCE.evaluate(executor, this);\n\t\t\t\t\tfinal /*@Thrown\052/ boolean oclIsKindOf = <%org.eclipse.ocl.pivot.library.oclany.OclAnyOclIsKindOfOperation%>.INSTANCE.evaluate(executor, oclContainer, TYP_qvtbase_c_c_Transformation).booleanValue();\n\t\t\t\t\tCAUGHT_oclIsKindOf = oclIsKindOf;\n\t\t\t\t}\n\t\t\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\t\t\tCAUGHT_oclIsKindOf = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t\t\t}\n\t\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.Nullable%> %>TypedModel%> typedModel = this.getTypedModel();\n\t\t\t\tfinal /*@NonInvalid\052/ boolean ne = typedModel != null;\n\t\t\t\tfinal /*@Thrown\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Boolean%> and = <%org.eclipse.ocl.pivot.library.logical.BooleanAndOperation%>.INSTANCE.evaluate(CAUGHT_oclIsKindOf, ne);\n\t\t\t\tCAUGHT_and = and;\n\t\t\t}\n\t\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\t\tCAUGHT_and = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t\t}\n\t\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_includes;\n\t\t\ttry {\n\t\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Class%> TYP_qvtbase_c_c_Transformation_0 = idResolver.getClass(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.CLSSid_Transformation, null);\n\t\t\t\tfinal /*@NonInvalid\052/ <%<%@<%org.eclipse.jdt.annotation.Nullable%> %>Object%> oclContainer_0 = <%org.eclipse.ocl.pivot.library.classifier.ClassifierOclContainerOperation%>.INSTANCE.evaluate(executor, this);\n\t\t\t\t@SuppressWarnings(\"null\")\n\t\t\t\tfinal /*@Thrown\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Transformation%> oclAsType = (<%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Transformation%>)<%org.eclipse.ocl.pivot.library.oclany.OclAnyOclAsTypeOperation%>.INSTANCE.evaluate(executor, oclContainer_0, TYP_qvtbase_c_c_Transformation_0);\n\t\t\t\tfinal /*@Thrown\052/ <%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>List%><<%org.eclipse.qvtd.pivot.qvtbase.TypedModel%>> modelParameter = oclAsType.getModelParameter();\n\t\t\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>OrderedSetValue%> BOXED_modelParameter = idResolver.createOrderedSetOfAll(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.ORD_CLSSid_TypedModel, modelParameter);\n\t\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.Nullable%> %>TypedModel%> typedModel_0 = this.getTypedModel();\n\t\t\t\tfinal /*@Thrown\052/ boolean includes = <%org.eclipse.ocl.pivot.library.collection.CollectionIncludesOperation%>.INSTANCE.evaluate(BOXED_modelParameter, typedModel_0).booleanValue();\n\t\t\t\tCAUGHT_includes = includes;\n\t\t\t}\n\t\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\t\tCAUGHT_includes = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t\t}\n\t\t\tfinal /*@Thrown\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Boolean%> result = <%org.eclipse.ocl.pivot.library.logical.BooleanImpliesOperation%>.INSTANCE.evaluate(CAUGHT_and, CAUGHT_includes);\n\t\t\tCAUGHT_result = result;\n\t\t}\n\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\tCAUGHT_result = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t}\n\t\tfinal /*@NonInvalid\052/ boolean logDiagnostic = <%org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.ocl.pivot.ids.TypeId%>.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, CAUGHT_severity_0, CAUGHT_result, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t\tsymbol_0 = logDiagnostic;\n\t}\n\treturn Boolean.TRUE == symbol_0;\n}\ncatch (<%java.lang.Throwable%> e) {\n\treturn <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);\n}'" * @generated */ boolean validateTypedModelIsTransformationModelParameter(DiagnosticChain diagnostics, Map<Object, Object> context); diff --git a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Function.java b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Function.java index a9563d905..0706b52ae 100644 --- a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Function.java +++ b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Function.java @@ -44,7 +44,6 @@ public interface Function extends Operation { * @see #setQueryExpression(OCLExpression) * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getFunction_QueryExpression() * @model containment="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Function!queryExpression'" * @generated */ OCLExpression getQueryExpression(); @@ -64,7 +63,6 @@ public interface Function extends Operation { * <!-- end-user-doc --> * @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ParametersAreFunctionParameter'" * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\townedParameters->forAll(oclIsKindOf(FunctionParameter))\n\n'" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='final <%java.lang.<%@<%org.eclipse.jdt.annotation.NonNull%> %>String%> constraintName = \"Function::ParametersAreFunctionParameter\";\ntry {\n\t/**\n\t *\n\t * inv ParametersAreFunctionParameter:\n\t * let severity : Integer[1] = constraintName.getSeverity()\n\t * in\n\t * if severity <= 0\n\t * then true\n\t * else\n\t * let\n\t * result : Boolean[?] = ownedParameters->forAll(\n\t * oclIsKindOf(FunctionParameter))\n\t * in\n\t * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)\n\t * endif\n\t \052/\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor = <%org.eclipse.ocl.pivot.utilities.PivotUtil%>.getExecutor(this, context);\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.ids.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IdResolver%> idResolver = executor.getIdResolver();\n\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_severity_0;\n\ttry {\n\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IntegerValue%> severity_0 = <%org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage%>.Literals.FUNCTION___VALIDATE_PARAMETERS_ARE_FUNCTION_PARAMETER__DIAGNOSTICCHAIN_MAP);\n\t\tCAUGHT_severity_0 = severity_0;\n\t}\n\tcatch (<%java.lang.Exception%> e) {\n\t\tCAUGHT_severity_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t}\n\tif (CAUGHT_severity_0 instanceof <%org.eclipse.ocl.pivot.values.InvalidValueException%>) {\n\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)CAUGHT_severity_0;\n\t}\n\tfinal /*@Thrown\052/ boolean le = <%org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation%>.INSTANCE.evaluate(executor, CAUGHT_severity_0, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t/*@NonInvalid\052/ boolean symbol_0;\n\tif (le) {\n\t\tsymbol_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t}\n\telse {\n\t\tfinal /*@NonInvalid\052/ <%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>List%><<%org.eclipse.ocl.pivot.Parameter%>> ownedParameters = this.getOwnedParameters();\n\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>OrderedSetValue%> BOXED_ownedParameters = idResolver.createOrderedSetOfAll(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.ORD_CLSSid_Parameter, ownedParameters);\n\t\t/*@Thrown\052/ <%<%@<%org.eclipse.jdt.annotation.Nullable%> %>Object%> accumulator = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t\t<%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Iterator%><<%java.lang.Object%>> ITERATOR__1 = BOXED_ownedParameters.iterator();\n\t\t/*@NonInvalid\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Boolean%> result;\n\t\twhile (true) {\n\t\t\tif (!ITERATOR__1.hasNext()) {\n\t\t\t\tif (accumulator == <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE) {\n\t\t\t\t\tresult = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t\t\t\t}\n\t\t\t\telse {\n\t\t\t\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)accumulator;\n\t\t\t\t}\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\t@SuppressWarnings(\"null\")\n\t\t\t/*@NonInvalid\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Parameter%> _1 = (<%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Parameter%>)ITERATOR__1.next();\n\t\t\t/**\n\t\t\t * oclIsKindOf(FunctionParameter)\n\t\t\t \052/\n\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Class%> TYP_qvtbase_c_c_FunctionParameter = idResolver.getClass(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.CLSSid_FunctionParameter, null);\n\t\t\tfinal /*@NonInvalid\052/ boolean oclIsKindOf = <%org.eclipse.ocl.pivot.library.oclany.OclAnyOclIsKindOfOperation%>.INSTANCE.evaluate(executor, _1, TYP_qvtbase_c_c_FunctionParameter).booleanValue();\n\t\t\t//\n\t\t\tif (oclIsKindOf == <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.FALSE_VALUE) {\t\t\t\t\t// Normal unsuccessful body evaluation result\n\t\t\t\tresult = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.FALSE_VALUE;\n\t\t\t\tbreak;\t\t\t\t\t\t\t\t\t\t\t\t\t\t// Stop immediately\n\t\t\t}\n\t\t\telse if (oclIsKindOf == <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE) {\t\t\t\t// Normal successful body evaluation result\n\t\t\t\t;\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t// Carry on\n\t\t\t}\n\t\t\telse {\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t// Impossible badly typed result\n\t\t\t\taccumulator = new <%org.eclipse.ocl.pivot.values.InvalidValueException%>(<%org.eclipse.ocl.pivot.messages.PivotMessages%>.NonBooleanBody, \"forAll\");\n\t\t\t}\n\t\t}\n\t\tfinal /*@NonInvalid\052/ boolean logDiagnostic = <%org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.ocl.pivot.ids.TypeId%>.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, CAUGHT_severity_0, result, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t\tsymbol_0 = logDiagnostic;\n\t}\n\treturn Boolean.TRUE == symbol_0;\n}\ncatch (<%java.lang.Throwable%> e) {\n\treturn <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);\n}'" * @generated */ boolean validateParametersAreFunctionParameter(DiagnosticChain diagnostics, Map<Object, Object> context); @@ -74,7 +72,6 @@ public interface Function extends Operation { * <!-- end-user-doc --> * @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ReturnTypeIsQueryType'" * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\tqueryExpression <> null implies queryExpression.type?.conformsTo(type)\n\n'" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='final <%java.lang.<%@<%org.eclipse.jdt.annotation.NonNull%> %>String%> constraintName = \"Function::ReturnTypeIsQueryType\";\ntry {\n\t/**\n\t *\n\t * inv ReturnTypeIsQueryType:\n\t * let severity : Integer[1] = constraintName.getSeverity()\n\t * in\n\t * if severity <= 0\n\t * then true\n\t * else\n\t * let result : Boolean[?] = queryExpression <> null implies\n\t * queryExpression.type?.conformsTo(type)\n\t * in\n\t * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)\n\t * endif\n\t \052/\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor = <%org.eclipse.ocl.pivot.utilities.PivotUtil%>.getExecutor(this, context);\n\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_severity_0;\n\ttry {\n\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IntegerValue%> severity_0 = <%org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage%>.Literals.FUNCTION___VALIDATE_RETURN_TYPE_IS_QUERY_TYPE__DIAGNOSTICCHAIN_MAP);\n\t\tCAUGHT_severity_0 = severity_0;\n\t}\n\tcatch (<%java.lang.Exception%> e) {\n\t\tCAUGHT_severity_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t}\n\tif (CAUGHT_severity_0 instanceof <%org.eclipse.ocl.pivot.values.InvalidValueException%>) {\n\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)CAUGHT_severity_0;\n\t}\n\tfinal /*@Thrown\052/ boolean le = <%org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation%>.INSTANCE.evaluate(executor, CAUGHT_severity_0, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t/*@NonInvalid\052/ boolean symbol_0;\n\tif (le) {\n\t\tsymbol_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t}\n\telse {\n\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.Nullable%> %>Object%> CAUGHT_result;\n\t\ttry {\n\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.Nullable%> %>OCLExpression%> queryExpression = this.getQueryExpression();\n\t\t\tfinal /*@NonInvalid\052/ boolean ne = queryExpression != null;\n\t\t\t/*@Thrown\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Boolean%> result;\n\t\t\tif (ne) {\n\t\t\t\tif (queryExpression == null) {\n\t\t\t\t\tthrow new <%org.eclipse.ocl.pivot.values.InvalidValueException%>(\"Null source for \\\'TypedElement::type\\\'\");\n\t\t\t\t}\n\t\t\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Type%> type = queryExpression.getType();\n\t\t\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.Nullable%> %>Object%> CAUGHT_type;\n\t\t\t\ttry {\n\t\t\t\t\tCAUGHT_type = type;\n\t\t\t\t}\n\t\t\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\t\t\tCAUGHT_type = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t\t\t}\n\t\t\t\tfinal /*@NonInvalid\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> conformsTo = CAUGHT_type == null;\n\t\t\t\t/*@Thrown\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Boolean%> safe_conformsTo_source;\n\t\t\t\tif (conformsTo == Boolean.TRUE) {\n\t\t\t\t\tsafe_conformsTo_source = null;\n\t\t\t\t}\n\t\t\t\telse {\n\t\t\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Type%> type_0 = this.getType();\n\t\t\t\t\tfinal /*@Thrown\052/ boolean conformsTo_0 = <%org.eclipse.ocl.pivot.library.classifier.OclTypeConformsToOperation%>.INSTANCE.evaluate(executor, type, type_0).booleanValue();\n\t\t\t\t\tsafe_conformsTo_source = conformsTo_0;\n\t\t\t\t}\n\t\t\t\tresult = safe_conformsTo_source;\n\t\t\t}\n\t\t\telse {\n\t\t\t\tresult = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t\t\t}\n\t\t\tCAUGHT_result = result;\n\t\t}\n\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\tCAUGHT_result = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t}\n\t\tfinal /*@NonInvalid\052/ boolean logDiagnostic = <%org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.ocl.pivot.ids.TypeId%>.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, CAUGHT_severity_0, CAUGHT_result, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t\tsymbol_0 = logDiagnostic;\n\t}\n\treturn Boolean.TRUE == symbol_0;\n}\ncatch (<%java.lang.Throwable%> e) {\n\treturn <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);\n}'" * @generated */ boolean validateReturnTypeIsQueryType(DiagnosticChain diagnostics, Map<Object, Object> context); diff --git a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Pattern.java b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Pattern.java index 536406167..84143abf6 100644 --- a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Pattern.java +++ b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Pattern.java @@ -47,7 +47,6 @@ public interface Pattern extends Element { * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getPattern_Predicate() * @see org.eclipse.qvtd.pivot.qvtbase.Predicate#getPattern * @model opposite="pattern" containment="true" ordered="false" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Pattern!predicate'" * @generated */ @NonNull EList<Predicate> getPredicate(); @@ -64,7 +63,6 @@ public interface Pattern extends Element { * @return the value of the '<em>Binds To</em>' reference list. * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getPattern_BindsTo() * @model ordered="false" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Pattern!bindsTo'" * @generated */ @NonNull EList<Variable> getBindsTo(); diff --git a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Predicate.java b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Predicate.java index 0ef979f23..5033beb0e 100644 --- a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Predicate.java +++ b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Predicate.java @@ -46,7 +46,6 @@ public interface Predicate extends Element { * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getPredicate_ConditionExpression() * @model containment="true" required="true" * annotation="http://schema.omg.org/spec/MOF/2.0/emof.xml#Property.oppositeRoleName body='predicate'" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Predicate!conditionExpression'" * @generated */ OCLExpression getConditionExpression(); @@ -75,7 +74,6 @@ public interface Predicate extends Element { * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getPredicate_Pattern() * @see org.eclipse.qvtd.pivot.qvtbase.Pattern#getPredicate * @model opposite="predicate" required="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Predicate!pattern'" * @generated */ Pattern getPattern(); @@ -95,7 +93,6 @@ public interface Predicate extends Element { * <!-- end-user-doc --> * @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ConditionIsBoolean'" * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\nconditionExpression.type = Boolean\n\n'" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='final <%java.lang.<%@<%org.eclipse.jdt.annotation.NonNull%> %>String%> constraintName = \"Predicate::ConditionIsBoolean\";\ntry {\n\t/**\n\t *\n\t * inv ConditionIsBoolean:\n\t * let severity : Integer[1] = constraintName.getSeverity()\n\t * in\n\t * if severity <= 0\n\t * then true\n\t * else\n\t * let result : Boolean[1] = conditionExpression.type = Boolean\n\t * in\n\t * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)\n\t * endif\n\t \052/\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor = <%org.eclipse.ocl.pivot.utilities.PivotUtil%>.getExecutor(this, context);\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.ids.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IdResolver%> idResolver = executor.getIdResolver();\n\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_severity_0;\n\ttry {\n\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IntegerValue%> severity_0 = <%org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage%>.Literals.PREDICATE___VALIDATE_CONDITION_IS_BOOLEAN__DIAGNOSTICCHAIN_MAP);\n\t\tCAUGHT_severity_0 = severity_0;\n\t}\n\tcatch (<%java.lang.Exception%> e) {\n\t\tCAUGHT_severity_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t}\n\tif (CAUGHT_severity_0 instanceof <%org.eclipse.ocl.pivot.values.InvalidValueException%>) {\n\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)CAUGHT_severity_0;\n\t}\n\tfinal /*@Thrown\052/ boolean le = <%org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation%>.INSTANCE.evaluate(executor, CAUGHT_severity_0, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t/*@NonInvalid\052/ boolean symbol_0;\n\tif (le) {\n\t\tsymbol_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t}\n\telse {\n\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Class%> TYP_Boolean = idResolver.getClass(<%org.eclipse.ocl.pivot.ids.TypeId%>.BOOLEAN, null);\n\t\t@SuppressWarnings(\"null\")\n\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.NonNull%> %>OCLExpression%> conditionExpression = this.getConditionExpression();\n\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Type%> type = conditionExpression.getType();\n\t\tfinal /*@NonInvalid\052/ boolean result = (type != null) ? (type.getTypeId() == TYP_Boolean.getTypeId()) : false;\n\t\tfinal /*@NonInvalid\052/ boolean logDiagnostic = <%org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.ocl.pivot.ids.TypeId%>.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, CAUGHT_severity_0, result, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t\tsymbol_0 = logDiagnostic;\n\t}\n\treturn Boolean.TRUE == symbol_0;\n}\ncatch (<%java.lang.Throwable%> e) {\n\treturn <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);\n}'" * @generated */ boolean validateConditionIsBoolean(DiagnosticChain diagnostics, Map<Object, Object> context); diff --git a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Rule.java b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Rule.java index 26b894454..c7484ddcf 100644 --- a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Rule.java +++ b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Rule.java @@ -50,7 +50,6 @@ public interface Rule extends NamedElement { * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getRule_Domain() * @see org.eclipse.qvtd.pivot.qvtbase.Domain#getRule * @model opposite="rule" containment="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Rule!domain'" * @generated */ EList<Domain> getDomain(); @@ -68,7 +67,6 @@ public interface Rule extends NamedElement { * @see #setIsAbstract(boolean) * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getRule_IsAbstract() * @model default="false" required="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Rule!isAbstract'" * @generated */ boolean isIsAbstract(); @@ -97,7 +95,6 @@ public interface Rule extends NamedElement { * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getRule_Overrides() * @see org.eclipse.qvtd.pivot.qvtbase.Rule#getOverridden * @model opposite="overridden" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Rule!overrides'" * @generated */ EList<Rule> getOverrides(); @@ -116,7 +113,6 @@ public interface Rule extends NamedElement { * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getRule_Transformation() * @see org.eclipse.qvtd.pivot.qvtbase.Transformation#getRule * @model opposite="rule" resolveProxies="false" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Rule!transformation'" * @generated */ Transformation getTransformation(); @@ -145,7 +141,6 @@ public interface Rule extends NamedElement { * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getRule_Overridden() * @see org.eclipse.qvtd.pivot.qvtbase.Rule#getOverrides * @model opposite="overrides" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Rule!overridden'" * @generated */ Rule getOverridden(); @@ -165,7 +160,6 @@ public interface Rule extends NamedElement { * <!-- end-user-doc --> * @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='DomainNameIsUnique'" * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\tdomain->isUnique(name)\n\n'" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='final <%java.lang.<%@<%org.eclipse.jdt.annotation.NonNull%> %>String%> constraintName = \"Rule::DomainNameIsUnique\";\ntry {\n\t/**\n\t *\n\t * inv DomainNameIsUnique:\n\t * let severity : Integer[1] = constraintName.getSeverity()\n\t * in\n\t * if severity <= 0\n\t * then true\n\t * else\n\t * let result : Boolean[1] = domain->isUnique(name)\n\t * in\n\t * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)\n\t * endif\n\t \052/\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor = <%org.eclipse.ocl.pivot.utilities.PivotUtil%>.getExecutor(this, context);\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.ids.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IdResolver%> idResolver = executor.getIdResolver();\n\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_severity_0;\n\ttry {\n\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IntegerValue%> severity_0 = <%org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage%>.Literals.RULE___VALIDATE_DOMAIN_NAME_IS_UNIQUE__DIAGNOSTICCHAIN_MAP);\n\t\tCAUGHT_severity_0 = severity_0;\n\t}\n\tcatch (<%java.lang.Exception%> e) {\n\t\tCAUGHT_severity_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t}\n\tif (CAUGHT_severity_0 instanceof <%org.eclipse.ocl.pivot.values.InvalidValueException%>) {\n\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)CAUGHT_severity_0;\n\t}\n\tfinal /*@Thrown\052/ boolean le = <%org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation%>.INSTANCE.evaluate(executor, CAUGHT_severity_0, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t/*@NonInvalid\052/ boolean symbol_0;\n\tif (le) {\n\t\tsymbol_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t}\n\telse {\n\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_result;\n\t\ttry {\n\t\t\t@SuppressWarnings(\"null\")\n\t\t\tfinal /*@NonInvalid\052/ <%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>List%><<%org.eclipse.qvtd.pivot.qvtbase.Domain%>> domain = this.getDomain();\n\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>OrderedSetValue%> BOXED_domain = idResolver.createOrderedSetOfAll(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.ORD_CLSSid_Domain, domain);\n\t\t\t/*@Thrown\052/ <%org.eclipse.ocl.pivot.values.SetValue.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Accumulator%> accumulator = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createSetAccumulatorValue(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.ORD_CLSSid_Domain);\n\t\t\t<%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Iterator%><<%java.lang.Object%>> ITERATOR__1 = BOXED_domain.iterator();\n\t\t\t/*@Thrown\052/ boolean result;\n\t\t\twhile (true) {\n\t\t\t\tif (!ITERATOR__1.hasNext()) {\n\t\t\t\t\tresult = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\t\t\t\t@SuppressWarnings(\"null\")\n\t\t\t\t/*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Domain%> _1 = (<%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Domain%>)ITERATOR__1.next();\n\t\t\t\t/**\n\t\t\t\t * name\n\t\t\t\t \052/\n\t\t\t\tfinal /*@NonInvalid\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>String%> name = _1.getName();\n\t\t\t\t//\n\t\t\t\tif (accumulator.includes(name) == <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE) {\n\t\t\t\t\tresult = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.FALSE_VALUE;\t\t\t// Abort after second find\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\t\t\t\telse {\n\t\t\t\t\taccumulator.add(name);\n\t\t\t\t}\n\t\t\t}\n\t\t\tCAUGHT_result = result;\n\t\t}\n\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\tCAUGHT_result = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t}\n\t\tfinal /*@NonInvalid\052/ boolean logDiagnostic = <%org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.ocl.pivot.ids.TypeId%>.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, CAUGHT_severity_0, CAUGHT_result, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t\tsymbol_0 = logDiagnostic;\n\t}\n\treturn Boolean.TRUE == symbol_0;\n}\ncatch (<%java.lang.Throwable%> e) {\n\treturn <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);\n}'" * @generated */ boolean validateDomainNameIsUnique(DiagnosticChain diagnostics, Map<Object, Object> context); @@ -175,7 +169,6 @@ public interface Rule extends NamedElement { * <!-- end-user-doc --> * @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='NoOverridesCycle'" * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\toverridden->closure(overridden)->excludes(self)\n\n'" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='final <%java.lang.<%@<%org.eclipse.jdt.annotation.NonNull%> %>String%> constraintName = \"Rule::NoOverridesCycle\";\ntry {\n\t/**\n\t *\n\t * inv NoOverridesCycle:\n\t * let severity : Integer[1] = constraintName.getSeverity()\n\t * in\n\t * if severity <= 0\n\t * then true\n\t * else\n\t * let\n\t * result : Boolean[1] = overridden->closure(overridden)\n\t * ->excludes(self)\n\t * in\n\t * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)\n\t * endif\n\t \052/\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor = <%org.eclipse.ocl.pivot.utilities.PivotUtil%>.getExecutor(this, context);\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.ids.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IdResolver%> idResolver = executor.getIdResolver();\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.NonNull%> %>StandardLibrary%> standardLibrary = idResolver.getStandardLibrary();\n\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_severity_0;\n\ttry {\n\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IntegerValue%> severity_0 = <%org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage%>.Literals.RULE___VALIDATE_NO_OVERRIDES_CYCLE__DIAGNOSTICCHAIN_MAP);\n\t\tCAUGHT_severity_0 = severity_0;\n\t}\n\tcatch (<%java.lang.Exception%> e) {\n\t\tCAUGHT_severity_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t}\n\tif (CAUGHT_severity_0 instanceof <%org.eclipse.ocl.pivot.values.InvalidValueException%>) {\n\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)CAUGHT_severity_0;\n\t}\n\tfinal /*@Thrown\052/ boolean le = <%org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation%>.INSTANCE.evaluate(executor, CAUGHT_severity_0, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t/*@NonInvalid\052/ boolean symbol_1;\n\tif (le) {\n\t\tsymbol_1 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t}\n\telse {\n\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_result;\n\t\ttry {\n\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Rule%> overridden = this.getOverridden();\n\t\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>SetValue%> oclAsSet = <%org.eclipse.ocl.pivot.library.oclany.OclAnyOclAsSetOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.SET_CLSSid_Rule, overridden);\n\t\t\tfinal <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Class%> TYPE_closure_0 = executor.getStaticTypeOfValue(null, oclAsSet);\n\t\t\tfinal <%org.eclipse.ocl.pivot.library.LibraryIteration.<%@<%org.eclipse.jdt.annotation.NonNull%> %>LibraryIterationExtension%> IMPL_closure_0 = (<%org.eclipse.ocl.pivot.library.LibraryIteration.LibraryIterationExtension%>)TYPE_closure_0.lookupImplementation(standardLibrary, <%org.eclipse.ocl.pivot.oclstdlib.OCLstdlibTables%>.Operations._Set__closure);\n\t\t\tfinal @<%org.eclipse.jdt.annotation.NonNull%> Object ACC_closure_0 = IMPL_closure_0.createAccumulatorValue(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.SET_CLSSid_Rule, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.CLSSid_Rule);\n\t\t\t/**\n\t\t\t * Implementation of the iterator body.\n\t\t\t \052/\n\t\t\tfinal <%org.eclipse.ocl.pivot.library.<%@<%org.eclipse.jdt.annotation.NonNull%> %>AbstractBinaryOperation%> BODY_closure_0 = new <%org.eclipse.ocl.pivot.library.AbstractBinaryOperation%>()\n\t\t\t{\n\t\t\t\t/**\n\t\t\t\t * overridden\n\t\t\t\t \052/\n\t\t\t\t@Override\n\t\t\t\tpublic @<%org.eclipse.jdt.annotation.Nullable%> Object evaluate(final <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor, final <%org.eclipse.ocl.pivot.ids.<%@<%org.eclipse.jdt.annotation.NonNull%> %>TypeId%> typeId, final @<%org.eclipse.jdt.annotation.Nullable%> Object oclAsSet, final /*@NonInvalid\052/ <%<%@<%org.eclipse.jdt.annotation.Nullable%> %>Object%> _1) {\n\t\t\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Rule%> symbol_0 = (<%org.eclipse.qvtd.pivot.qvtbase.Rule%>)_1;\n\t\t\t\t\tif (symbol_0 == null) {\n\t\t\t\t\t\tthrow new <%org.eclipse.ocl.pivot.values.InvalidValueException%>(\"Null source for \\\'\\\'http://www.eclipse.org/qvt/2015/QVTbase\\\'::Rule::overridden\\\'\");\n\t\t\t\t\t}\n\t\t\t\t\tfinal /*@Thrown\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Rule%> overridden_0 = symbol_0.getOverridden();\n\t\t\t\t\treturn overridden_0;\n\t\t\t\t}\n\t\t\t};\n\t\t\tfinal <%org.eclipse.ocl.pivot.internal.library.executor.<%@<%org.eclipse.jdt.annotation.NonNull%> %>ExecutorSingleIterationManager%> MGR_closure_0 = new <%org.eclipse.ocl.pivot.internal.library.executor.ExecutorSingleIterationManager%>(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.SET_CLSSid_Rule, BODY_closure_0, oclAsSet, ACC_closure_0);\n\t\t\t@SuppressWarnings(\"null\")\n\t\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>SetValue%> closure = (<%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>SetValue%>)IMPL_closure_0.evaluateIteration(MGR_closure_0);\n\t\t\tfinal /*@Thrown\052/ boolean result = <%org.eclipse.ocl.pivot.library.collection.CollectionExcludesOperation%>.INSTANCE.evaluate(closure, this).booleanValue();\n\t\t\tCAUGHT_result = result;\n\t\t}\n\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\tCAUGHT_result = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t}\n\t\tfinal /*@NonInvalid\052/ boolean logDiagnostic = <%org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.ocl.pivot.ids.TypeId%>.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, CAUGHT_severity_0, CAUGHT_result, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t\tsymbol_1 = logDiagnostic;\n\t}\n\treturn Boolean.TRUE == symbol_1;\n}\ncatch (<%java.lang.Throwable%> e) {\n\treturn <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);\n}'" * @generated */ boolean validateNoOverridesCycle(DiagnosticChain diagnostics, Map<Object, Object> context); @@ -185,7 +178,6 @@ public interface Rule extends NamedElement { * <!-- end-user-doc --> * @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='OverridingRuleOverridesAllDomains'" * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\toverridden <> null implies\n\toverridden.domain->forAll(od | self.domain.name->includes(od.name))\n\n'" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='final <%java.lang.<%@<%org.eclipse.jdt.annotation.NonNull%> %>String%> constraintName = \"Rule::OverridingRuleOverridesAllDomains\";\ntry {\n\t/**\n\t *\n\t * inv OverridingRuleOverridesAllDomains:\n\t * let severity : Integer[1] = constraintName.getSeverity()\n\t * in\n\t * if severity <= 0\n\t * then true\n\t * else\n\t * let result : Boolean[?] = overridden <> null implies\n\t * overridden.domain->forAll(od |\n\t * self.domain.name->includes(od.name))\n\t * in\n\t * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)\n\t * endif\n\t \052/\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor = <%org.eclipse.ocl.pivot.utilities.PivotUtil%>.getExecutor(this, context);\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.ids.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IdResolver%> idResolver = executor.getIdResolver();\n\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_severity_0;\n\ttry {\n\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IntegerValue%> severity_0 = <%org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage%>.Literals.RULE___VALIDATE_OVERRIDING_RULE_OVERRIDES_ALL_DOMAINS__DIAGNOSTICCHAIN_MAP);\n\t\tCAUGHT_severity_0 = severity_0;\n\t}\n\tcatch (<%java.lang.Exception%> e) {\n\t\tCAUGHT_severity_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t}\n\tif (CAUGHT_severity_0 instanceof <%org.eclipse.ocl.pivot.values.InvalidValueException%>) {\n\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)CAUGHT_severity_0;\n\t}\n\tfinal /*@Thrown\052/ boolean le = <%org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation%>.INSTANCE.evaluate(executor, CAUGHT_severity_0, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t/*@NonInvalid\052/ boolean symbol_0;\n\tif (le) {\n\t\tsymbol_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t}\n\telse {\n\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.Nullable%> %>Object%> CAUGHT_result;\n\t\ttry {\n\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Rule%> overridden = this.getOverridden();\n\t\t\tfinal /*@NonInvalid\052/ boolean ne = overridden != null;\n\t\t\t/*@Thrown\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Boolean%> result;\n\t\t\tif (ne) {\n\t\t\t\tif (overridden == null) {\n\t\t\t\t\tthrow new <%org.eclipse.ocl.pivot.values.InvalidValueException%>(\"Null source for \\\'\\\'http://www.eclipse.org/qvt/2015/QVTbase\\\'::Rule::domain\\\'\");\n\t\t\t\t}\n\t\t\t\t@SuppressWarnings(\"null\")\n\t\t\t\tfinal /*@Thrown\052/ <%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>List%><<%org.eclipse.qvtd.pivot.qvtbase.Domain%>> domain = overridden.getDomain();\n\t\t\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>OrderedSetValue%> BOXED_domain = idResolver.createOrderedSetOfAll(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.ORD_CLSSid_Domain, domain);\n\t\t\t\t/*@Thrown\052/ <%<%@<%org.eclipse.jdt.annotation.Nullable%> %>Object%> accumulator = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t\t\t\t<%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Iterator%><<%java.lang.Object%>> ITERATOR_od = BOXED_domain.iterator();\n\t\t\t\t/*@Thrown\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Boolean%> forAll;\n\t\t\t\twhile (true) {\n\t\t\t\t\tif (!ITERATOR_od.hasNext()) {\n\t\t\t\t\t\tif (accumulator == <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE) {\n\t\t\t\t\t\t\tforAll = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t\t\t\t\t\t}\n\t\t\t\t\t\telse {\n\t\t\t\t\t\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)accumulator;\n\t\t\t\t\t\t}\n\t\t\t\t\t\tbreak;\n\t\t\t\t\t}\n\t\t\t\t\t@SuppressWarnings(\"null\")\n\t\t\t\t\t/*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Domain%> od = (<%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Domain%>)ITERATOR_od.next();\n\t\t\t\t\t/**\n\t\t\t\t\t * self.domain.name->includes(od.name)\n\t\t\t\t\t \052/\n\t\t\t\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_includes;\n\t\t\t\t\ttry {\n\t\t\t\t\t\t@SuppressWarnings(\"null\")\n\t\t\t\t\t\tfinal /*@NonInvalid\052/ <%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>List%><<%org.eclipse.qvtd.pivot.qvtbase.Domain%>> domain_0 = this.getDomain();\n\t\t\t\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>OrderedSetValue%> BOXED_domain_0 = idResolver.createOrderedSetOfAll(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.ORD_CLSSid_Domain, domain_0);\n\t\t\t\t\t\t/*@Thrown\052/ <%org.eclipse.ocl.pivot.values.SequenceValue.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Accumulator%> accumulator_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createSequenceAccumulatorValue(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.SEQ_PRIMid_String);\n\t\t\t\t\t\t<%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Iterator%><<%java.lang.Object%>> ITERATOR__1 = BOXED_domain_0.iterator();\n\t\t\t\t\t\t/*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>SequenceValue%> collect;\n\t\t\t\t\t\twhile (true) {\n\t\t\t\t\t\t\tif (!ITERATOR__1.hasNext()) {\n\t\t\t\t\t\t\t\tcollect = accumulator_0;\n\t\t\t\t\t\t\t\tbreak;\n\t\t\t\t\t\t\t}\n\t\t\t\t\t\t\t@SuppressWarnings(\"null\")\n\t\t\t\t\t\t\t/*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Domain%> _1 = (<%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Domain%>)ITERATOR__1.next();\n\t\t\t\t\t\t\t/**\n\t\t\t\t\t\t\t * name\n\t\t\t\t\t\t\t \052/\n\t\t\t\t\t\t\tfinal /*@NonInvalid\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>String%> name = _1.getName();\n\t\t\t\t\t\t\t//\n\t\t\t\t\t\t\taccumulator_0.add(name);\n\t\t\t\t\t\t}\n\t\t\t\t\t\tfinal /*@NonInvalid\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>String%> name_0 = od.getName();\n\t\t\t\t\t\tfinal /*@Thrown\052/ boolean includes = <%org.eclipse.ocl.pivot.library.collection.CollectionIncludesOperation%>.INSTANCE.evaluate(collect, name_0).booleanValue();\n\t\t\t\t\t\tCAUGHT_includes = includes;\n\t\t\t\t\t}\n\t\t\t\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\t\t\t\tCAUGHT_includes = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t\t\t\t}\n\t\t\t\t\t//\n\t\t\t\t\tif (CAUGHT_includes == <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.FALSE_VALUE) {\t\t\t\t\t// Normal unsuccessful body evaluation result\n\t\t\t\t\t\tforAll = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.FALSE_VALUE;\n\t\t\t\t\t\tbreak;\t\t\t\t\t\t\t\t\t\t\t\t\t\t// Stop immediately\n\t\t\t\t\t}\n\t\t\t\t\telse if (CAUGHT_includes == <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE) {\t\t\t\t// Normal successful body evaluation result\n\t\t\t\t\t\t;\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t// Carry on\n\t\t\t\t\t}\n\t\t\t\t\telse if (CAUGHT_includes instanceof <%org.eclipse.ocl.pivot.values.InvalidValueException%>) {\t\t// Abnormal exception evaluation result\n\t\t\t\t\t\taccumulator = CAUGHT_includes;\t\t\t\t\t\t\t\t\t// Cache an exception failure\n\t\t\t\t\t}\n\t\t\t\t\telse {\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t// Impossible badly typed result\n\t\t\t\t\t\taccumulator = new <%org.eclipse.ocl.pivot.values.InvalidValueException%>(<%org.eclipse.ocl.pivot.messages.PivotMessages%>.NonBooleanBody, \"forAll\");\n\t\t\t\t\t}\n\t\t\t\t}\n\t\t\t\tresult = forAll;\n\t\t\t}\n\t\t\telse {\n\t\t\t\tresult = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t\t\t}\n\t\t\tCAUGHT_result = result;\n\t\t}\n\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\tCAUGHT_result = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t}\n\t\tfinal /*@NonInvalid\052/ boolean logDiagnostic = <%org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.ocl.pivot.ids.TypeId%>.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, CAUGHT_severity_0, CAUGHT_result, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t\tsymbol_0 = logDiagnostic;\n\t}\n\treturn Boolean.TRUE == symbol_0;\n}\ncatch (<%java.lang.Throwable%> e) {\n\treturn <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);\n}'" * @generated */ boolean validateOverridingRuleOverridesAllDomains(DiagnosticChain diagnostics, Map<Object, Object> context); diff --git a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Transformation.java b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Transformation.java index 94af86eb2..058b0ad8f 100644 --- a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Transformation.java +++ b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Transformation.java @@ -50,7 +50,6 @@ public interface Transformation extends org.eclipse.ocl.pivot.Class { * @return the value of the '<em>Owned Tag</em>' containment reference list. * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getTransformation_OwnedTag() * @model containment="true" ordered="false" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Transformation!ownedTag'" * @generated */ @NonNull EList<Annotation> getOwnedTag(); @@ -69,7 +68,6 @@ public interface Transformation extends org.eclipse.ocl.pivot.Class { * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getTransformation_ModelParameter() * @see org.eclipse.qvtd.pivot.qvtbase.TypedModel#getTransformation * @model opposite="transformation" containment="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Transformation!modelParameter'" * @generated */ @NonNull EList<TypedModel> getModelParameter(); @@ -88,7 +86,6 @@ public interface Transformation extends org.eclipse.ocl.pivot.Class { * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getTransformation_Rule() * @see org.eclipse.qvtd.pivot.qvtbase.Rule#getTransformation * @model opposite="transformation" containment="true" ordered="false" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Transformation!rule'" * @generated */ @NonNull EList<Rule> getRule(); @@ -105,7 +102,6 @@ public interface Transformation extends org.eclipse.ocl.pivot.Class { * @see #setExtends(Transformation) * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getTransformation_Extends() * @model annotation="http://schema.omg.org/spec/MOF/2.0/emof.xml#Property.oppositeRoleName body='extendedBy'" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Transformation!extends'" * @generated */ Transformation getExtends(); @@ -132,7 +128,6 @@ public interface Transformation extends org.eclipse.ocl.pivot.Class { * @see #setOwnedContext(Variable) * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getTransformation_OwnedContext() * @model containment="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Transformation!ownedContext'" * @generated */ Variable getOwnedContext(); @@ -151,7 +146,6 @@ public interface Transformation extends org.eclipse.ocl.pivot.Class { * <!-- begin-user-doc --> * <!-- end-user-doc --> * @model required="true" nameRequired="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Transformation!getFunction(String)'" * @generated */ Function getFunction(String name); @@ -160,7 +154,6 @@ public interface Transformation extends org.eclipse.ocl.pivot.Class { * <!-- begin-user-doc --> * <!-- end-user-doc --> * @model required="true" nameRequired="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!Transformation!getModelParameter(String)'" * @generated */ TypedModel getModelParameter(String name); @@ -170,7 +163,6 @@ public interface Transformation extends org.eclipse.ocl.pivot.Class { * <!-- end-user-doc --> * @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ContextTypeIsTransformation'" * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\townedContext <> null implies ownedContext.type = self\n\n'" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='final <%java.lang.<%@<%org.eclipse.jdt.annotation.NonNull%> %>String%> constraintName = \"Transformation::ContextTypeIsTransformation\";\ntry {\n\t/**\n\t *\n\t * inv ContextTypeIsTransformation:\n\t * let severity : Integer[1] = constraintName.getSeverity()\n\t * in\n\t * if severity <= 0\n\t * then true\n\t * else\n\t * let result : Boolean[?] = ownedContext <> null implies ownedContext.type = self\n\t * in\n\t * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)\n\t * endif\n\t \052/\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor = <%org.eclipse.ocl.pivot.utilities.PivotUtil%>.getExecutor(this, context);\n\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_severity_0;\n\ttry {\n\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IntegerValue%> severity_0 = <%org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage%>.Literals.TRANSFORMATION___VALIDATE_CONTEXT_TYPE_IS_TRANSFORMATION__DIAGNOSTICCHAIN_MAP);\n\t\tCAUGHT_severity_0 = severity_0;\n\t}\n\tcatch (<%java.lang.Exception%> e) {\n\t\tCAUGHT_severity_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t}\n\tif (CAUGHT_severity_0 instanceof <%org.eclipse.ocl.pivot.values.InvalidValueException%>) {\n\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)CAUGHT_severity_0;\n\t}\n\tfinal /*@Thrown\052/ boolean le = <%org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation%>.INSTANCE.evaluate(executor, CAUGHT_severity_0, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t/*@NonInvalid\052/ boolean symbol_0;\n\tif (le) {\n\t\tsymbol_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t}\n\telse {\n\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_result;\n\t\ttry {\n\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Variable%> ownedContext = this.getOwnedContext();\n\t\t\tfinal /*@NonInvalid\052/ boolean ne = ownedContext != null;\n\t\t\t/*@Thrown\052/ boolean result;\n\t\t\tif (ne) {\n\t\t\t\tif (ownedContext == null) {\n\t\t\t\t\tthrow new <%org.eclipse.ocl.pivot.values.InvalidValueException%>(\"Null source for \\\'TypedElement::type\\\'\");\n\t\t\t\t}\n\t\t\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Type%> type = ownedContext.getType();\n\t\t\t\tfinal /*@Thrown\052/ boolean eq = (type != null) ? (type.getTypeId() == this.getTypeId()) : false;\n\t\t\t\tresult = eq;\n\t\t\t}\n\t\t\telse {\n\t\t\t\tresult = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t\t\t}\n\t\t\tCAUGHT_result = result;\n\t\t}\n\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\tCAUGHT_result = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t}\n\t\tfinal /*@NonInvalid\052/ boolean logDiagnostic = <%org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.ocl.pivot.ids.TypeId%>.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, CAUGHT_severity_0, CAUGHT_result, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t\tsymbol_0 = logDiagnostic;\n\t}\n\treturn Boolean.TRUE == symbol_0;\n}\ncatch (<%java.lang.Throwable%> e) {\n\treturn <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);\n}'" * @generated */ boolean validateContextTypeIsTransformation(DiagnosticChain diagnostics, Map<Object, Object> context); @@ -180,7 +172,6 @@ public interface Transformation extends org.eclipse.ocl.pivot.Class { * <!-- end-user-doc --> * @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ExtendedTypedModelIsExtended'" * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\t_extends <> null implies\n\t_extends.modelParameter->forAll(etm |\n\t\tself.modelParameter->select(name = etm.name).usedPackage->includesAll(etm.usedPackage)\n\t)\n\t\n'" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='final <%java.lang.<%@<%org.eclipse.jdt.annotation.NonNull%> %>String%> constraintName = \"Transformation::ExtendedTypedModelIsExtended\";\ntry {\n\t/**\n\t *\n\t * inv ExtendedTypedModelIsExtended:\n\t * let severity : Integer[1] = constraintName.getSeverity()\n\t * in\n\t * if severity <= 0\n\t * then true\n\t * else\n\t * let result : Boolean[?] = extends <> null implies\n\t * extends.modelParameter->forAll(etm |\n\t * self.modelParameter->select(name = etm.name)\n\t * .usedPackage->includesAll(etm.usedPackage))\n\t * in\n\t * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)\n\t * endif\n\t \052/\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor = <%org.eclipse.ocl.pivot.utilities.PivotUtil%>.getExecutor(this, context);\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.ids.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IdResolver%> idResolver = executor.getIdResolver();\n\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_severity_0;\n\ttry {\n\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IntegerValue%> severity_0 = <%org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage%>.Literals.TRANSFORMATION___VALIDATE_EXTENDED_TYPED_MODEL_IS_EXTENDED__DIAGNOSTICCHAIN_MAP);\n\t\tCAUGHT_severity_0 = severity_0;\n\t}\n\tcatch (<%java.lang.Exception%> e) {\n\t\tCAUGHT_severity_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t}\n\tif (CAUGHT_severity_0 instanceof <%org.eclipse.ocl.pivot.values.InvalidValueException%>) {\n\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)CAUGHT_severity_0;\n\t}\n\tfinal /*@Thrown\052/ boolean le = <%org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation%>.INSTANCE.evaluate(executor, CAUGHT_severity_0, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t/*@NonInvalid\052/ boolean symbol_2;\n\tif (le) {\n\t\tsymbol_2 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t}\n\telse {\n\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.Nullable%> %>Object%> CAUGHT_result;\n\t\ttry {\n\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Transformation%> symbol_0 = this.getExtends();\n\t\t\tfinal /*@NonInvalid\052/ boolean ne = symbol_0 != null;\n\t\t\t/*@Thrown\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Boolean%> result;\n\t\t\tif (ne) {\n\t\t\t\tif (symbol_0 == null) {\n\t\t\t\t\tthrow new <%org.eclipse.ocl.pivot.values.InvalidValueException%>(\"Null source for \\\'\\\'http://www.eclipse.org/qvt/2015/QVTbase\\\'::Transformation::modelParameter\\\'\");\n\t\t\t\t}\n\t\t\t\tfinal /*@Thrown\052/ <%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>List%><<%org.eclipse.qvtd.pivot.qvtbase.TypedModel%>> modelParameter = symbol_0.getModelParameter();\n\t\t\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>OrderedSetValue%> BOXED_modelParameter = idResolver.createOrderedSetOfAll(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.ORD_CLSSid_TypedModel, modelParameter);\n\t\t\t\t/*@Thrown\052/ <%<%@<%org.eclipse.jdt.annotation.Nullable%> %>Object%> accumulator = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t\t\t\t<%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Iterator%><<%java.lang.Object%>> ITERATOR_etm = BOXED_modelParameter.iterator();\n\t\t\t\t/*@Thrown\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Boolean%> forAll;\n\t\t\t\twhile (true) {\n\t\t\t\t\tif (!ITERATOR_etm.hasNext()) {\n\t\t\t\t\t\tif (accumulator == <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE) {\n\t\t\t\t\t\t\tforAll = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t\t\t\t\t\t}\n\t\t\t\t\t\telse {\n\t\t\t\t\t\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)accumulator;\n\t\t\t\t\t\t}\n\t\t\t\t\t\tbreak;\n\t\t\t\t\t}\n\t\t\t\t\t@SuppressWarnings(\"null\")\n\t\t\t\t\t/*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>TypedModel%> etm = (<%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>TypedModel%>)ITERATOR_etm.next();\n\t\t\t\t\t/**\n\t\t\t\t\t *\n\t\t\t\t\t * self.modelParameter->select(name = etm.name)\n\t\t\t\t\t * .usedPackage->includesAll(etm.usedPackage)\n\t\t\t\t\t \052/\n\t\t\t\t\tfinal /*@NonInvalid\052/ <%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>List%><<%org.eclipse.qvtd.pivot.qvtbase.TypedModel%>> modelParameter_0 = this.getModelParameter();\n\t\t\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>OrderedSetValue%> BOXED_modelParameter_0 = idResolver.createOrderedSetOfAll(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.ORD_CLSSid_TypedModel, modelParameter_0);\n\t\t\t\t\t/*@Thrown\052/ <%org.eclipse.ocl.pivot.values.OrderedSetValue.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Accumulator%> accumulator_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createOrderedSetAccumulatorValue(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.ORD_CLSSid_TypedModel);\n\t\t\t\t\t<%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Iterator%><<%java.lang.Object%>> ITERATOR__1 = BOXED_modelParameter_0.iterator();\n\t\t\t\t\t/*@NonInvalid\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>OrderedSetValue%> select;\n\t\t\t\t\twhile (true) {\n\t\t\t\t\t\tif (!ITERATOR__1.hasNext()) {\n\t\t\t\t\t\t\tselect = accumulator_0;\n\t\t\t\t\t\t\tbreak;\n\t\t\t\t\t\t}\n\t\t\t\t\t\t@SuppressWarnings(\"null\")\n\t\t\t\t\t\t/*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>TypedModel%> _1 = (<%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>TypedModel%>)ITERATOR__1.next();\n\t\t\t\t\t\t/**\n\t\t\t\t\t\t * name = etm.name\n\t\t\t\t\t\t \052/\n\t\t\t\t\t\tfinal /*@NonInvalid\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>String%> name = _1.getName();\n\t\t\t\t\t\tfinal /*@NonInvalid\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>String%> name_0 = etm.getName();\n\t\t\t\t\t\tfinal /*@NonInvalid\052/ boolean eq = (name != null) ? name.equals(name_0) : (name_0 == null);\n\t\t\t\t\t\t//\n\t\t\t\t\t\tif (eq == <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE) {\n\t\t\t\t\t\t\taccumulator_0.add(_1);\n\t\t\t\t\t\t}\n\t\t\t\t\t}\n\t\t\t\t\t/*@Thrown\052/ <%org.eclipse.ocl.pivot.values.SequenceValue.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Accumulator%> accumulator_1 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createSequenceAccumulatorValue(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.SEQ_CLSSid_Package);\n\t\t\t\t\t<%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Iterator%><<%java.lang.Object%>> ITERATOR__1_0 = select.iterator();\n\t\t\t\t\t/*@NonInvalid\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>SequenceValue%> collect;\n\t\t\t\t\twhile (true) {\n\t\t\t\t\t\tif (!ITERATOR__1_0.hasNext()) {\n\t\t\t\t\t\t\tcollect = accumulator_1;\n\t\t\t\t\t\t\tbreak;\n\t\t\t\t\t\t}\n\t\t\t\t\t\t@SuppressWarnings(\"null\")\n\t\t\t\t\t\t/*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>TypedModel%> _1_0 = (<%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>TypedModel%>)ITERATOR__1_0.next();\n\t\t\t\t\t\t/**\n\t\t\t\t\t\t * usedPackage\n\t\t\t\t\t\t \052/\n\t\t\t\t\t\tfinal /*@NonInvalid\052/ <%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>List%><<%org.eclipse.ocl.pivot.Package%>> usedPackage = _1_0.getUsedPackage();\n\t\t\t\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>SetValue%> BOXED_usedPackage = idResolver.createSetOfAll(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.SET_CLSSid_Package, usedPackage);\n\t\t\t\t\t\t//\n\t\t\t\t\t\tfor (Object value : BOXED_usedPackage.flatten().getElements()) {\n\t\t\t\t\t\t\taccumulator_1.add(value);\n\t\t\t\t\t\t}\n\t\t\t\t\t}\n\t\t\t\t\tfinal /*@NonInvalid\052/ <%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>List%><<%org.eclipse.ocl.pivot.Package%>> usedPackage_0 = etm.getUsedPackage();\n\t\t\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>SetValue%> BOXED_usedPackage_0 = idResolver.createSetOfAll(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.SET_CLSSid_Package, usedPackage_0);\n\t\t\t\t\tfinal /*@NonInvalid\052/ boolean includesAll = <%org.eclipse.ocl.pivot.library.collection.CollectionIncludesAllOperation%>.INSTANCE.evaluate(collect, BOXED_usedPackage_0).booleanValue();\n\t\t\t\t\t//\n\t\t\t\t\tif (includesAll == <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.FALSE_VALUE) {\t\t\t\t\t// Normal unsuccessful body evaluation result\n\t\t\t\t\t\tforAll = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.FALSE_VALUE;\n\t\t\t\t\t\tbreak;\t\t\t\t\t\t\t\t\t\t\t\t\t\t// Stop immediately\n\t\t\t\t\t}\n\t\t\t\t\telse if (includesAll == <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE) {\t\t\t\t// Normal successful body evaluation result\n\t\t\t\t\t\t;\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t// Carry on\n\t\t\t\t\t}\n\t\t\t\t\telse {\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t// Impossible badly typed result\n\t\t\t\t\t\taccumulator = new <%org.eclipse.ocl.pivot.values.InvalidValueException%>(<%org.eclipse.ocl.pivot.messages.PivotMessages%>.NonBooleanBody, \"forAll\");\n\t\t\t\t\t}\n\t\t\t\t}\n\t\t\t\tresult = forAll;\n\t\t\t}\n\t\t\telse {\n\t\t\t\tresult = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t\t\t}\n\t\t\tCAUGHT_result = result;\n\t\t}\n\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\tCAUGHT_result = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t}\n\t\tfinal /*@NonInvalid\052/ boolean logDiagnostic = <%org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.ocl.pivot.ids.TypeId%>.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, CAUGHT_severity_0, CAUGHT_result, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t\tsymbol_2 = logDiagnostic;\n\t}\n\treturn Boolean.TRUE == symbol_2;\n}\ncatch (<%java.lang.Throwable%> e) {\n\treturn <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);\n}'" * @generated */ boolean validateExtendedTypedModelIsExtended(DiagnosticChain diagnostics, Map<Object, Object> context); @@ -190,7 +181,6 @@ public interface Transformation extends org.eclipse.ocl.pivot.Class { * <!-- end-user-doc --> * @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='ModelParameterIsUnique'" * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\tmodelParameter->isUnique(name)\n\n'" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='final <%java.lang.<%@<%org.eclipse.jdt.annotation.NonNull%> %>String%> constraintName = \"Transformation::ModelParameterIsUnique\";\ntry {\n\t/**\n\t *\n\t * inv ModelParameterIsUnique:\n\t * let severity : Integer[1] = constraintName.getSeverity()\n\t * in\n\t * if severity <= 0\n\t * then true\n\t * else\n\t * let result : Boolean[1] = modelParameter->isUnique(name)\n\t * in\n\t * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)\n\t * endif\n\t \052/\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor = <%org.eclipse.ocl.pivot.utilities.PivotUtil%>.getExecutor(this, context);\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.ids.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IdResolver%> idResolver = executor.getIdResolver();\n\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_severity_0;\n\ttry {\n\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IntegerValue%> severity_0 = <%org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage%>.Literals.TRANSFORMATION___VALIDATE_MODEL_PARAMETER_IS_UNIQUE__DIAGNOSTICCHAIN_MAP);\n\t\tCAUGHT_severity_0 = severity_0;\n\t}\n\tcatch (<%java.lang.Exception%> e) {\n\t\tCAUGHT_severity_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t}\n\tif (CAUGHT_severity_0 instanceof <%org.eclipse.ocl.pivot.values.InvalidValueException%>) {\n\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)CAUGHT_severity_0;\n\t}\n\tfinal /*@Thrown\052/ boolean le = <%org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation%>.INSTANCE.evaluate(executor, CAUGHT_severity_0, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t/*@NonInvalid\052/ boolean symbol_0;\n\tif (le) {\n\t\tsymbol_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t}\n\telse {\n\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_result;\n\t\ttry {\n\t\t\tfinal /*@NonInvalid\052/ <%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>List%><<%org.eclipse.qvtd.pivot.qvtbase.TypedModel%>> modelParameter = this.getModelParameter();\n\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>OrderedSetValue%> BOXED_modelParameter = idResolver.createOrderedSetOfAll(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.ORD_CLSSid_TypedModel, modelParameter);\n\t\t\t/*@Thrown\052/ <%org.eclipse.ocl.pivot.values.SetValue.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Accumulator%> accumulator = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createSetAccumulatorValue(<%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.ORD_CLSSid_TypedModel);\n\t\t\t<%java.util.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Iterator%><<%java.lang.Object%>> ITERATOR__1 = BOXED_modelParameter.iterator();\n\t\t\t/*@Thrown\052/ boolean result;\n\t\t\twhile (true) {\n\t\t\t\tif (!ITERATOR__1.hasNext()) {\n\t\t\t\t\tresult = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\t\t\t\t@SuppressWarnings(\"null\")\n\t\t\t\t/*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>TypedModel%> _1 = (<%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.NonNull%> %>TypedModel%>)ITERATOR__1.next();\n\t\t\t\t/**\n\t\t\t\t * name\n\t\t\t\t \052/\n\t\t\t\tfinal /*@NonInvalid\052/ <%java.lang.<%@<%org.eclipse.jdt.annotation.Nullable%> %>String%> name = _1.getName();\n\t\t\t\t//\n\t\t\t\tif (accumulator.includes(name) == <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE) {\n\t\t\t\t\tresult = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.FALSE_VALUE;\t\t\t// Abort after second find\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\t\t\t\telse {\n\t\t\t\t\taccumulator.add(name);\n\t\t\t\t}\n\t\t\t}\n\t\t\tCAUGHT_result = result;\n\t\t}\n\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\tCAUGHT_result = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t}\n\t\tfinal /*@NonInvalid\052/ boolean logDiagnostic = <%org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.ocl.pivot.ids.TypeId%>.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, CAUGHT_severity_0, CAUGHT_result, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t\tsymbol_0 = logDiagnostic;\n\t}\n\treturn Boolean.TRUE == symbol_0;\n}\ncatch (<%java.lang.Throwable%> e) {\n\treturn <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);\n}'" * @generated */ boolean validateModelParameterIsUnique(DiagnosticChain diagnostics, Map<Object, Object> context); @@ -200,7 +190,6 @@ public interface Transformation extends org.eclipse.ocl.pivot.Class { * <!-- end-user-doc --> * @model annotation="http://www.eclipse.org/uml2/2.0.0/UML originalName='NoExtendsCycle'" * annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\t_extends->closure(_extends)->excludes(self)\n\n'" - * annotation="http://www.eclipse.org/emf/2002/GenModel body='final <%java.lang.<%@<%org.eclipse.jdt.annotation.NonNull%> %>String%> constraintName = \"Transformation::NoExtendsCycle\";\ntry {\n\t/**\n\t *\n\t * inv NoExtendsCycle:\n\t * let severity : Integer[1] = constraintName.getSeverity()\n\t * in\n\t * if severity <= 0\n\t * then true\n\t * else\n\t * let\n\t * result : Boolean[1] = extends->closure(extends)\n\t * ->excludes(self)\n\t * in\n\t * constraintName.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)\n\t * endif\n\t \052/\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor = <%org.eclipse.ocl.pivot.utilities.PivotUtil%>.getExecutor(this, context);\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.ids.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IdResolver%> idResolver = executor.getIdResolver();\n\tfinal /*@NonInvalid\052/ <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.NonNull%> %>StandardLibrary%> standardLibrary = idResolver.getStandardLibrary();\n\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_severity_0;\n\ttry {\n\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>IntegerValue%> severity_0 = <%org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage%>.Literals.TRANSFORMATION___VALIDATE_NO_EXTENDS_CYCLE__DIAGNOSTICCHAIN_MAP);\n\t\tCAUGHT_severity_0 = severity_0;\n\t}\n\tcatch (<%java.lang.Exception%> e) {\n\t\tCAUGHT_severity_0 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t}\n\tif (CAUGHT_severity_0 instanceof <%org.eclipse.ocl.pivot.values.InvalidValueException%>) {\n\t\tthrow (<%org.eclipse.ocl.pivot.values.InvalidValueException%>)CAUGHT_severity_0;\n\t}\n\tfinal /*@Thrown\052/ boolean le = <%org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation%>.INSTANCE.evaluate(executor, CAUGHT_severity_0, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t/*@NonInvalid\052/ boolean symbol_3;\n\tif (le) {\n\t\tsymbol_3 = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.TRUE_VALUE;\n\t}\n\telse {\n\t\t/*@Caught\052/ <%<%@<%org.eclipse.jdt.annotation.NonNull%> %>Object%> CAUGHT_result;\n\t\ttry {\n\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Transformation%> symbol_0 = this.getExtends();\n\t\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>SetValue%> oclAsSet = <%org.eclipse.ocl.pivot.library.oclany.OclAnyOclAsSetOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.SET_CLSSid_Transformation, symbol_0);\n\t\t\tfinal <%org.eclipse.ocl.pivot.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Class%> TYPE_closure_0 = executor.getStaticTypeOfValue(null, oclAsSet);\n\t\t\tfinal <%org.eclipse.ocl.pivot.library.LibraryIteration.<%@<%org.eclipse.jdt.annotation.NonNull%> %>LibraryIterationExtension%> IMPL_closure_0 = (<%org.eclipse.ocl.pivot.library.LibraryIteration.LibraryIterationExtension%>)TYPE_closure_0.lookupImplementation(standardLibrary, <%org.eclipse.ocl.pivot.oclstdlib.OCLstdlibTables%>.Operations._Set__closure);\n\t\t\tfinal @<%org.eclipse.jdt.annotation.NonNull%> Object ACC_closure_0 = IMPL_closure_0.createAccumulatorValue(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.SET_CLSSid_Transformation, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.CLSSid_Transformation);\n\t\t\t/**\n\t\t\t * Implementation of the iterator body.\n\t\t\t \052/\n\t\t\tfinal <%org.eclipse.ocl.pivot.library.<%@<%org.eclipse.jdt.annotation.NonNull%> %>AbstractBinaryOperation%> BODY_closure_0 = new <%org.eclipse.ocl.pivot.library.AbstractBinaryOperation%>()\n\t\t\t{\n\t\t\t\t/**\n\t\t\t\t * extends\n\t\t\t\t \052/\n\t\t\t\t@Override\n\t\t\t\tpublic @<%org.eclipse.jdt.annotation.Nullable%> Object evaluate(final <%org.eclipse.ocl.pivot.evaluation.<%@<%org.eclipse.jdt.annotation.NonNull%> %>Executor%> executor, final <%org.eclipse.ocl.pivot.ids.<%@<%org.eclipse.jdt.annotation.NonNull%> %>TypeId%> typeId, final @<%org.eclipse.jdt.annotation.Nullable%> Object oclAsSet, final /*@NonInvalid\052/ <%<%@<%org.eclipse.jdt.annotation.Nullable%> %>Object%> _1) {\n\t\t\t\t\tfinal /*@NonInvalid\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Transformation%> symbol_1 = (<%org.eclipse.qvtd.pivot.qvtbase.Transformation%>)_1;\n\t\t\t\t\tif (symbol_1 == null) {\n\t\t\t\t\t\tthrow new <%org.eclipse.ocl.pivot.values.InvalidValueException%>(\"Null source for \\\'\\\'http://www.eclipse.org/qvt/2015/QVTbase\\\'::Transformation::extends\\\'\");\n\t\t\t\t\t}\n\t\t\t\t\tfinal /*@Thrown\052/ <%org.eclipse.qvtd.pivot.qvtbase.<%@<%org.eclipse.jdt.annotation.Nullable%> %>Transformation%> symbol_2 = symbol_1.getExtends();\n\t\t\t\t\treturn symbol_2;\n\t\t\t\t}\n\t\t\t};\n\t\t\tfinal <%org.eclipse.ocl.pivot.internal.library.executor.<%@<%org.eclipse.jdt.annotation.NonNull%> %>ExecutorSingleIterationManager%> MGR_closure_0 = new <%org.eclipse.ocl.pivot.internal.library.executor.ExecutorSingleIterationManager%>(executor, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.SET_CLSSid_Transformation, BODY_closure_0, oclAsSet, ACC_closure_0);\n\t\t\t@SuppressWarnings(\"null\")\n\t\t\tfinal /*@Thrown\052/ <%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>SetValue%> closure = (<%org.eclipse.ocl.pivot.values.<%@<%org.eclipse.jdt.annotation.NonNull%> %>SetValue%>)IMPL_closure_0.evaluateIteration(MGR_closure_0);\n\t\t\tfinal /*@Thrown\052/ boolean result = <%org.eclipse.ocl.pivot.library.collection.CollectionExcludesOperation%>.INSTANCE.evaluate(closure, this).booleanValue();\n\t\t\tCAUGHT_result = result;\n\t\t}\n\t\tcatch (<%java.lang.Exception%> e) {\n\t\t\tCAUGHT_result = <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.createInvalidValue(e);\n\t\t}\n\t\tfinal /*@NonInvalid\052/ boolean logDiagnostic = <%org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation%>.INSTANCE.evaluate(executor, <%org.eclipse.ocl.pivot.ids.TypeId%>.BOOLEAN, constraintName, this, (Object)null, diagnostics, context, (Object)null, CAUGHT_severity_0, CAUGHT_result, <%org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables%>.INT_0).booleanValue();\n\t\tsymbol_3 = logDiagnostic;\n\t}\n\treturn Boolean.TRUE == symbol_3;\n}\ncatch (<%java.lang.Throwable%> e) {\n\treturn <%org.eclipse.ocl.pivot.utilities.ValueUtil%>.validationFailedDiagnostic(constraintName, this, diagnostics, context, e);\n}'" * @generated */ boolean validateNoExtendsCycle(DiagnosticChain diagnostics, Map<Object, Object> context); diff --git a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/TypedModel.java b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/TypedModel.java index 185614df2..c9fe6617c 100644 --- a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/TypedModel.java +++ b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/TypedModel.java @@ -51,7 +51,6 @@ public interface TypedModel extends NamedElement { * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getTypedModel_Transformation() * @see org.eclipse.qvtd.pivot.qvtbase.Transformation#getModelParameter * @model opposite="modelParameter" required="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!TypedModel!transformation'" * @generated */ Transformation getTransformation(); @@ -78,7 +77,6 @@ public interface TypedModel extends NamedElement { * @return the value of the '<em>Used Package</em>' reference list. * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getTypedModel_UsedPackage() * @model ordered="false" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!TypedModel!usedPackage'" * @generated */ @NonNull EList<org.eclipse.ocl.pivot.Package> getUsedPackage(); @@ -96,7 +94,6 @@ public interface TypedModel extends NamedElement { * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getTypedModel_DependsOn() * @model ordered="false" * annotation="http://schema.omg.org/spec/MOF/2.0/emof.xml#Property.oppositeRoleName body='dependent'" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!TypedModel!dependsOn'" * @generated */ @NonNull EList<TypedModel> getDependsOn(); @@ -113,7 +110,6 @@ public interface TypedModel extends NamedElement { * @see #setOwnedContext(Variable) * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getTypedModel_OwnedContext() * @model containment="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!TypedModel!ownedContext'" * @generated */ Variable getOwnedContext(); @@ -140,7 +136,6 @@ public interface TypedModel extends NamedElement { * @see #setIsPrimitive(boolean) * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getTypedModel_IsPrimitive() * @model default="false" required="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!TypedModel!isPrimitive'" * @generated */ boolean isIsPrimitive(); @@ -167,7 +162,6 @@ public interface TypedModel extends NamedElement { * @see #setIsTrace(boolean) * @see org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage#getTypedModel_IsTrace() * @model default="false" required="true" - * annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/qvt/2015/QVTbase!TypedModel!isTrace'" * @generated */ boolean isIsTrace(); diff --git a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/impl/FunctionImpl.java b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/impl/FunctionImpl.java index 48683c31d..de01d3da2 100644 --- a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/impl/FunctionImpl.java +++ b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/impl/FunctionImpl.java @@ -370,7 +370,7 @@ public class FunctionImpl extends OperationImpl implements Function { switch (featureID) { case OperationImpl.OPERATION_FEATURE_COUNT + 0: setQueryExpression((OCLExpression)newValue); - return; + return; } super.eSet(featureID, newValue); } @@ -385,7 +385,7 @@ public class FunctionImpl extends OperationImpl implements Function { switch (featureID) { case OperationImpl.OPERATION_FEATURE_COUNT + 0: setQueryExpression((OCLExpression)null); - return; + return; } super.eUnset(featureID); } diff --git a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/model/QVTbaseMetamodel.java b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/model/QVTbaseMetamodel.java index 51faca003..9393e7565 100644 --- a/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/model/QVTbaseMetamodel.java +++ b/plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/model/QVTbaseMetamodel.java @@ -638,6 +638,7 @@ public class QVTbaseMetamodel extends ASResourceImpl property.setOpposite(pr_Domain_rule); ownedProperties.add(property = pr_Rule_isAbstract); property.setIsResolveProxies(true); + property.setDefaultValueString("false"); ownedProperties.add(property = pr_Rule_overridden); property.setIsRequired(false); property.setIsResolveProxies(true); @@ -684,8 +685,10 @@ public class QVTbaseMetamodel extends ASResourceImpl property.setOpposite(pr_TypedModel_dependent_dependsOn); ownedProperties.add(property = pr_TypedModel_isPrimitive); property.setIsResolveProxies(true); + property.setDefaultValueString("false"); ownedProperties.add(property = pr_TypedModel_isTrace); property.setIsResolveProxies(true); + property.setDefaultValueString("false"); ownedProperties.add(property = pr_TypedModel_ownedContext); property.setIsComposite(true); property.setIsRequired(false); |