Small examples for EMF-IncQuery part 3

AtLeastThreeAttributes

pattern AtLeastThreeAttributes(Cls : EClass) = {
  M == count find ClassAttributes(Cls,Attr);
  check((M as Integer) > 2);
}

AttributeNotSet

pattern AttributeNotSet(Cls: MyClass) = {
  MyClass(Cls);
  neg find AttributeSetForMyClass(Cls);
}

pattern AttributeSetForMyClass(Cls: MyClass) = {
  MyClass.someAttr(Cls,Attr);
}

NumberOfAttributes

pattern NumberOfAttributes(Cls : EClass, M) = {
  M == count find ClassAttributes(Cls,Attr);
}