Small examples for EMF-IncQuery part 2

ClassWithGivenNameAndHasAttribute

pattern ClassWithGivenNameAndHasAttribute(Cls : EClass) = {
  find EClassWithGivenName(Cls);
  find ClassAttributes(Cls,Attr);
}

ClassWithGivenNameAndNoAttribute

pattern ClassWithGivenNameAndNoAttribute(Cls : EClass) = {
  find EClassWithGivenName(Cls);
  neg find ClassAttributes(Cls,Attr);
}

ClassWithGivenNameAndNoAttribute2

pattern ClassWithGivenNameAndNoAttribute(Cls : EClass) = {
  find EClassWithGivenName(Cls);
  EAttribute(Attr);
  neg find ClassAttributes(Cls,Attr);
}

TwoClassesAreTheSame

pattern TwoClassesAreTheSame(Cls : EClass, Cls2 : EClass) = {
  EClass.name(Cls,"MyClass");
  EClass.eAttributes(Cls2,Attr);
  Cls == Cls2;
}

TwoClassesDifferent

pattern TwoClassesDifferent(Cls : EClass, Cls2 : EClass) = {
  EClass.name(Cls,"MyClass");
  EClass.eAttributes(Cls2,Attr);
  Cls != Cls2;
}

TwoClassesMaybeTheSame

pattern TwoClassesMaybeTheSame(Cls : EClass, Cls2 : EClass) = {
  EClass.name(Cls,"MyClass");
  EClass.eAttributes(Cls2,Attr);
}

TwoClassesMaybeTheSame2

pattern TwoClassesMaybeTheSame(Cls : EClass, Cls2 : EClass) = {
  find EClassWithGivenName(Cls);
  find ClassAttributes(Cls2,Attr);
}