rename Pledge Case Studies and add familyTree case study

1 files changed, 53 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java
new file mode 100644
index 00000000..a5c375c6
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java
@@ -0,0 +1,53 @@
+/**

+ * Generated from platform:/resource/case.study.familyTree.run/src/queries/familyTreeConstraints.vql

+ */

+package queries;

+

+import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;

+import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;

+import queries.MemberIsItsOwnParent;

+

+/**

+ * A pattern group formed of all public patterns defined in familyTreeConstraints.vql.

+ * 

+ * <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare

+ * a VIATRA Query engine for matching all patterns originally defined in file familyTreeConstraints.vql,

+ * in order to achieve better performance than one-by-one on-demand matcher initialization.

+ * 

+ * <p> From package queries, the group contains the definition of the following patterns: <ul>

+ * <li>memberIsItsOwnParent</li>

+ * </ul>

+ * 

+ * @see IQueryGroup

+ * 

+ */

+@SuppressWarnings("all")

+public final class FamilyTreeConstraints extends BaseGeneratedPatternGroup {

+  /**

+   * Access the pattern group.

+   * 

+   * @return the singleton instance of the group

+   * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications

+   * 

+   */

+  public static FamilyTreeConstraints instance() {

+    if (INSTANCE == null) {

+        INSTANCE = new FamilyTreeConstraints();

+    }

+    return INSTANCE;

+  }

+  

+  private static FamilyTreeConstraints INSTANCE;

+  

+  private FamilyTreeConstraints() {

+    querySpecifications.add(MemberIsItsOwnParent.instance());

+  }

+  

+  public MemberIsItsOwnParent getMemberIsItsOwnParent() {

+    return MemberIsItsOwnParent.instance();

+  }

+  

+  public MemberIsItsOwnParent.Matcher getMemberIsItsOwnParent(final ViatraQueryEngine engine) {

+    return MemberIsItsOwnParent.Matcher.on(engine);

+  }

+}