package hu.bme.mit.inf.dslreasoner.domains.alloyexamples

import epackage "http://www.eclipse.org/emf/2002/Ecore"

pattern directSupertype(a: EClass, b:EClass) {
	EClass.eSuperTypes(a,b);
}

@Constraint(key={a}, severity="error", message="error")
pattern loopInInheritence(a: EClass) {
	find directSupertype+(a,a);
}

pattern unsat_subpackage(a: EPackage, b: EPackage) {
	EPackage.eSubpackages(a, b);
}

@Constraint(key={p}, severity="error", message="error")
pattern unsat_loopInInheritance(p: EPackage) {
	neg find unsat_subpackage(_, p);
	neg find loopInInheritence(_);
}

pattern opposite(a:EReference, b: EReference) {
	EReference.eOpposite(a,b);
}
@Constraint(key={a}, severity="error", message="error")
pattern oppositeDifferentClass(a:EReference) {
	EReference.eOpposite(a,b);
	EReference.eContainingClass(a,aContaining);
	EReference.eType(b,bTarget);
	aContaining != bTarget;
}

@Constraint(key={a}, severity="error", message="error")
pattern nonSymmetricOpposite(a:EReference, b:EReference) {
	find opposite(a,b);
	neg find opposite(b,a);
}