1 files changed, 53 insertions, 0 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.java
new file mode 100644
index 00000000..cf1378da
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.java
@@ -0,0 +1,53 @@
+/**

+ * Generated from platform:/resource/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/queries/FamPatterns.vql

+ */

+package ca.mcgill.ecse.dslreasoner.vampire.queries;

+

+import ca.mcgill.ecse.dslreasoner.vampire.queries.TerminatorAndInformation;

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

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

+

+/**

+ * A pattern group formed of all public patterns defined in FamPatterns.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 FamPatterns.vql,

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

+ * 

+ * <p> From package ca.mcgill.ecse.dslreasoner.vampire.queries, the group contains the definition of the following patterns: <ul>

+ * <li>terminatorAndInformation</li>

+ * </ul>

+ * 

+ * @see IQueryGroup

+ * 

+ */

+@SuppressWarnings("all")

+public final class FamPatterns 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 FamPatterns instance() {

+    if (INSTANCE == null) {

+        INSTANCE = new FamPatterns();

+    }

+    return INSTANCE;

+  }

+  

+  private static FamPatterns INSTANCE;

+  

+  private FamPatterns() {

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

+  }

+  

+  public TerminatorAndInformation getTerminatorAndInformation() {

+    return TerminatorAndInformation.instance();

+  }

+  

+  public TerminatorAndInformation.Matcher getTerminatorAndInformation(final ViatraQueryEngine engine) {

+    return TerminatorAndInformation.Matcher.on(engine);

+  }

+}