コード例 #1
0
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean validateDomainPattern(
     DomainPattern domainPattern, DiagnosticChain diagnostics, Map<Object, Object> context) {
   boolean result = validate_EveryMultiplicityConforms(domainPattern, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryDataValueConforms(domainPattern, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryReferenceIsContained(domainPattern, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryProxyResolves(domainPattern, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_UniqueID(domainPattern, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryKeyUnique(domainPattern, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryMapEntryUnique(domainPattern, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         qvtBaseValidator.validatePattern_NoVariableIsAFunctionParameter(
             domainPattern, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         validateDomainPattern_EveryVariableIsDefinedByRelation(
             domainPattern, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         validateDomainPattern_RootTemplateExpressionIsBoundToRootVariable(
             domainPattern, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         validateDomainPattern_RootTemplateExpressionTypeIsRootVariableType(
             domainPattern, diagnostics, context);
   return result;
 }
コード例 #2
0
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean validateRelation(
     Relation relation, DiagnosticChain diagnostics, Map<Object, Object> context) {
   boolean result = validate_EveryMultiplicityConforms(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryDataValueConforms(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryReferenceIsContained(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryProxyResolves(relation, diagnostics, context);
   if (result || diagnostics != null) result &= validate_UniqueID(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryKeyUnique(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryMapEntryUnique(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= ecoreValidator.validateENamedElement_WellFormedName(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= qvtBaseValidator.validateRule_OverridesIsCompatible(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         qvtBaseValidator.validateRule_OverridesDefinedByTransformation(
             relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= qvtBaseValidator.validateRule_DomainNamesAreUnique(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         validateRelation_DomainTypedModelsMatchModelParameters(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validateRelation_AtLeastTwoDomains(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validateRelation_EveryDomainIsARelationDomain(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validateRelation_NonTopLevelIsNotInvokedWarning(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validateRelation_RelationImplsAreUniqueWarning(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validateRelation_VariablesAreUnique(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validateRelation_WhenTypesAreDeclaredByRelation(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validateRelation_WhenVariablesAreDefinedByRelation(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validateRelation_WhereTypesAreDeclaredByRelation(relation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validateRelation_WhereVariablesAreDefinedByRelation(relation, diagnostics, context);
   return result;
 }
コード例 #3
0
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean validateRelationDomain(
     RelationDomain relationDomain, DiagnosticChain diagnostics, Map<Object, Object> context) {
   boolean result = validate_EveryMultiplicityConforms(relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryDataValueConforms(relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryReferenceIsContained(relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryProxyResolves(relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_UniqueID(relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryKeyUnique(relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryMapEntryUnique(relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &= validateRelationDomain_WellFormedName(relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         validateRelationDomain_TypedModelExistsWarning(relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         qvtBaseValidator.validateDomain_TypedModelDefinedByTransformation(
             relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         qvtBaseValidator.validateDomain_CheckableOrEnforceable(
             relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         validateRelationDomain_PrimitiveDomainIsUnnamed(relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         validateRelationDomain_RootVariableIsDefinedByRelation(
             relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         validateRelationDomain_RootVariableTypeIsDeclaredByDomainTypedModel(
             relationDomain, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         validateRelationDomain_EveryEnforceableVariableIsMatchedOrAssigned(
             relationDomain, diagnostics, context);
   return result;
 }
コード例 #4
0
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean validateRelationalTransformation(
     RelationalTransformation relationalTransformation,
     DiagnosticChain diagnostics,
     Map<Object, Object> context) {
   boolean result =
       validate_EveryMultiplicityConforms(relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryDataValueConforms(relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryReferenceIsContained(relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryProxyResolves(relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_UniqueID(relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryKeyUnique(relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &= validate_EveryMapEntryUnique(relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         ecoreValidator.validateENamedElement_WellFormedName(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         ecoreValidator.validateEClassifier_WellFormedInstanceTypeName(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         ecoreValidator.validateEClassifier_UniqueTypeParameterNames(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         ecoreValidator.validateEClass_InterfaceIsAbstract(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         ecoreValidator.validateEClass_AtMostOneID(relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         ecoreValidator.validateEClass_UniqueFeatureNames(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         ecoreValidator.validateEClass_UniqueOperationSignatures(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         ecoreValidator.validateEClass_NoCircularSuperTypes(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         ecoreValidator.validateEClass_WellFormedMapEntryClass(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         ecoreValidator.validateEClass_ConsistentSuperTypes(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         ecoreValidator.validateEClass_DisjointFeatureAndOperationSignatures(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         qvtBaseValidator.validateTransformation_WellFormedNsURI(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         qvtBaseValidator.validateTransformation_WellFormedNsPrefix(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         ecoreValidator.validateEPackage_UniqueSubpackageNames(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         validateRelationalTransformation_UniqueClassifierNames(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         qvtBaseValidator.validateTransformation_UniqueNsURIs(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         qvtBaseValidator.validateTransformation_ExtendsIsAcyclic(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         qvtBaseValidator.validateTransformation_ModelParameterNamesAreCompatibleWithExtension(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         qvtBaseValidator
             .validateTransformation_EveryModelParameterUsedPackagesIsCompatibleWithExtension(
                 relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         qvtBaseValidator.validateTransformation_ModelParameterNamesAreUnique(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         qvtBaseValidator.validateTransformation_RuleNamesAreUnique(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         qvtBaseValidator.validateTransformation_SynthesizedTypesAreOwned(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         validateRelationalTransformation_EveryRuleIsARelation(
             relationalTransformation, diagnostics, context);
   if (result || diagnostics != null)
     result &=
         validateRelationalTransformation_KeysAreUnique(
             relationalTransformation, diagnostics, context);
   return result;
 }