From 6a6796604adb97db94ba699dc2b2e0fd5efdc9ac Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Fri, 8 May 2020 16:11:49 -0400 Subject: Adjust FamilyTree Case Study --- .../src-gen/queries/FamilyTreeConstraints.java | 139 ++++++++------------- 1 file changed, 53 insertions(+), 86 deletions(-) (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java') 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 index 97148b5e..a5c375c6 100644 --- 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 @@ -1,86 +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.MemberHasParent; -import queries.MemberIsItsOwnParent; -import queries.ParentTooYoung; -import queries.TwoMembersHaveNoParent; - -/** - * A pattern group formed of all public patterns defined in familyTreeConstraints.vql. - * - *

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. - * - *

From package queries, the group contains the definition of the following patterns:

- * - * @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()); - querySpecifications.add(TwoMembersHaveNoParent.instance()); - querySpecifications.add(MemberHasParent.instance()); - querySpecifications.add(ParentTooYoung.instance()); - } - - public MemberIsItsOwnParent getMemberIsItsOwnParent() { - return MemberIsItsOwnParent.instance(); - } - - public MemberIsItsOwnParent.Matcher getMemberIsItsOwnParent(final ViatraQueryEngine engine) { - return MemberIsItsOwnParent.Matcher.on(engine); - } - - public TwoMembersHaveNoParent getTwoMembersHaveNoParent() { - return TwoMembersHaveNoParent.instance(); - } - - public TwoMembersHaveNoParent.Matcher getTwoMembersHaveNoParent(final ViatraQueryEngine engine) { - return TwoMembersHaveNoParent.Matcher.on(engine); - } - - public MemberHasParent getMemberHasParent() { - return MemberHasParent.instance(); - } - - public MemberHasParent.Matcher getMemberHasParent(final ViatraQueryEngine engine) { - return MemberHasParent.Matcher.on(engine); - } - - public ParentTooYoung getParentTooYoung() { - return ParentTooYoung.instance(); - } - - public ParentTooYoung.Matcher getParentTooYoung(final ViatraQueryEngine engine) { - return ParentTooYoung.Matcher.on(engine); - } -} +/** + * 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. + * + *

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. + * + *

From package queries, the group contains the definition of the following patterns:

+ * + * @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); + } +} -- cgit v1.2.3-70-g09d2