/**
*
* <!-- 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;
}
/**
*
* <!-- 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;
}
/**
*
* <!-- 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;
}
/**
*
* <!-- 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;
}