diff options
Diffstat (limited to 'plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Rule.java')
-rw-r--r-- | plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/Rule.java | 8 |
1 files changed, 0 insertions, 8 deletions
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); |