1 files changed, 64 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/Case_study_short.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/Case_study_short.java
new file mode 100644
index 00000000..5c72b809
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/Case_study_short.java
@@ -0,0 +1,64 @@
+/**
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_short.vql
+ */
+package queries;
+import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
+import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
+import queries.Inv48;
+import queries.X_inv48;
+/**
+ * A pattern group formed of all public patterns defined in case_study_short.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 case_study_short.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>inv48</li>
+ * <li>x_inv48</li>
+ * </ul>
+ * 
+ * @see IQueryGroup
+ * 
+ */
+@SuppressWarnings("all")
+public final class Case_study_short 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 Case_study_short instance() {
+    if (INSTANCE == null) {
+        INSTANCE = new Case_study_short();
+    }
+    return INSTANCE;
+  }
+  
+  private static Case_study_short INSTANCE;
+  
+  private Case_study_short() {
+    querySpecifications.add(Inv48.instance());
+    querySpecifications.add(X_inv48.instance());
+  }
+  
+  public Inv48 getInv48() {
+    return Inv48.instance();
+  }
+  
+  public Inv48.Matcher getInv48(final ViatraQueryEngine engine) {
+    return Inv48.Matcher.on(engine);
+  }
+  
+  public X_inv48 getX_inv48() {
+    return X_inv48.instance();
+  }
+  
+  public X_inv48.Matcher getX_inv48(final ViatraQueryEngine engine) {
+    return X_inv48.Matcher.on(engine);
+  }
+}

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/Case_study_short.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/Case_study_short.java new file mode 100644 index 00000000..5c72b809 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/Case_study_short.java
@@ -0,0 +1,64 @@
	1	/**
	2	* Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_short.vql
	3	*/
	4	package queries;
	5
	6	import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
	7	import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
	8	import queries.Inv48;
	9	import queries.X_inv48;
	10
	11	/**
	12	* A pattern group formed of all public patterns defined in case_study_short.vql.
	13	*
	14	* <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare
	15	* a VIATRA Query engine for matching all patterns originally defined in file case_study_short.vql,
	16	* in order to achieve better performance than one-by-one on-demand matcher initialization.
	17	*
	18	* <p> From package queries, the group contains the definition of the following patterns: <ul>
	19	* <li>inv48</li>
	20	* <li>x_inv48</li>
	21	* </ul>
	22	*
	23	* @see IQueryGroup
	24	*
	25	*/
	26	@SuppressWarnings("all")
	27	public final class Case_study_short extends BaseGeneratedPatternGroup {
	28	/**
	29	* Access the pattern group.
	30	*
	31	* @return the singleton instance of the group
	32	* @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications
	33	*
	34	*/
	35	public static Case_study_short instance() {
	36	if (INSTANCE == null) {
	37	INSTANCE = new Case_study_short();
	38	}
	39	return INSTANCE;
	40	}
	41
	42	private static Case_study_short INSTANCE;
	43
	44	private Case_study_short() {
	45	querySpecifications.add(Inv48.instance());
	46	querySpecifications.add(X_inv48.instance());
	47	}
	48
	49	public Inv48 getInv48() {
	50	return Inv48.instance();
	51	}
	52
	53	public Inv48.Matcher getInv48(final ViatraQueryEngine engine) {
	54	return Inv48.Matcher.on(engine);
	55	}
	56
	57	public X_inv48 getX_inv48() {
	58	return X_inv48.instance();
	59	}
	60
	61	public X_inv48.Matcher getX_inv48(final ViatraQueryEngine engine) {
	62	return X_inv48.Matcher.on(engine);
	63	}
	64	}