From e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 15 May 2019 13:46:38 -0400 Subject: Formalize CPS case study for optimization --- .../domains/cps/queries/CpsQueries.java | 207 +++++++++++++++++++++ 1 file changed, 207 insertions(+) create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.java (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.java') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.java new file mode 100644 index 00000000..4442718b --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.java @@ -0,0 +1,207 @@ +/** + * Generated from platform:/resource/hu.bme.mit.inf.dslreasoner.domains.cps/src/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.vql + */ +package hu.bme.mit.inf.dslreasoner.domains.cps.queries; + +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.AllocationWithoutResourceRequirement; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.AvailableHdd; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.AvailableMemory; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.AverageFreeHddMetric; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.AverageFreeMemoryMetric; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.CostMetric; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.CpsApplications; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.CpsCost; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.CpsHosts; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.InstanceDoesNotSatisfyRequirement; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.NotEnoughAvailableHdd; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.NotEnoughAvailableMemory; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.RequirementNotSatisfied; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.TotalHdd; +import hu.bme.mit.inf.dslreasoner.domains.cps.queries.TotalMemory; +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 CpsQueries.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 CpsQueries.vql, + * in order to achieve better performance than one-by-one on-demand matcher initialization. + * + *

From package hu.bme.mit.inf.dslreasoner.domains.cps.queries, the group contains the definition of the following patterns:

+ * + * @see IQueryGroup + * + */ +@SuppressWarnings("all") +public final class CpsQueries 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 CpsQueries instance() { + if (INSTANCE == null) { + INSTANCE = new CpsQueries(); + } + return INSTANCE; + } + + private static CpsQueries INSTANCE; + + private CpsQueries() { + querySpecifications.add(CpsApplications.instance()); + querySpecifications.add(CpsHosts.instance()); + querySpecifications.add(TotalMemory.instance()); + querySpecifications.add(TotalHdd.instance()); + querySpecifications.add(AvailableMemory.instance()); + querySpecifications.add(AvailableHdd.instance()); + querySpecifications.add(AllocationWithoutResourceRequirement.instance()); + querySpecifications.add(NotEnoughAvailableMemory.instance()); + querySpecifications.add(NotEnoughAvailableHdd.instance()); + querySpecifications.add(InstanceDoesNotSatisfyRequirement.instance()); + querySpecifications.add(RequirementNotSatisfied.instance()); + querySpecifications.add(AverageFreeMemoryMetric.instance()); + querySpecifications.add(AverageFreeHddMetric.instance()); + querySpecifications.add(CostMetric.instance()); + querySpecifications.add(CpsCost.instance()); + } + + public CpsApplications getCpsApplications() { + return CpsApplications.instance(); + } + + public CpsApplications.Matcher getCpsApplications(final ViatraQueryEngine engine) { + return CpsApplications.Matcher.on(engine); + } + + public CpsHosts getCpsHosts() { + return CpsHosts.instance(); + } + + public CpsHosts.Matcher getCpsHosts(final ViatraQueryEngine engine) { + return CpsHosts.Matcher.on(engine); + } + + public TotalMemory getTotalMemory() { + return TotalMemory.instance(); + } + + public TotalMemory.Matcher getTotalMemory(final ViatraQueryEngine engine) { + return TotalMemory.Matcher.on(engine); + } + + public TotalHdd getTotalHdd() { + return TotalHdd.instance(); + } + + public TotalHdd.Matcher getTotalHdd(final ViatraQueryEngine engine) { + return TotalHdd.Matcher.on(engine); + } + + public AvailableMemory getAvailableMemory() { + return AvailableMemory.instance(); + } + + public AvailableMemory.Matcher getAvailableMemory(final ViatraQueryEngine engine) { + return AvailableMemory.Matcher.on(engine); + } + + public AvailableHdd getAvailableHdd() { + return AvailableHdd.instance(); + } + + public AvailableHdd.Matcher getAvailableHdd(final ViatraQueryEngine engine) { + return AvailableHdd.Matcher.on(engine); + } + + public AllocationWithoutResourceRequirement getAllocationWithoutResourceRequirement() { + return AllocationWithoutResourceRequirement.instance(); + } + + public AllocationWithoutResourceRequirement.Matcher getAllocationWithoutResourceRequirement(final ViatraQueryEngine engine) { + return AllocationWithoutResourceRequirement.Matcher.on(engine); + } + + public NotEnoughAvailableMemory getNotEnoughAvailableMemory() { + return NotEnoughAvailableMemory.instance(); + } + + public NotEnoughAvailableMemory.Matcher getNotEnoughAvailableMemory(final ViatraQueryEngine engine) { + return NotEnoughAvailableMemory.Matcher.on(engine); + } + + public NotEnoughAvailableHdd getNotEnoughAvailableHdd() { + return NotEnoughAvailableHdd.instance(); + } + + public NotEnoughAvailableHdd.Matcher getNotEnoughAvailableHdd(final ViatraQueryEngine engine) { + return NotEnoughAvailableHdd.Matcher.on(engine); + } + + public InstanceDoesNotSatisfyRequirement getInstanceDoesNotSatisfyRequirement() { + return InstanceDoesNotSatisfyRequirement.instance(); + } + + public InstanceDoesNotSatisfyRequirement.Matcher getInstanceDoesNotSatisfyRequirement(final ViatraQueryEngine engine) { + return InstanceDoesNotSatisfyRequirement.Matcher.on(engine); + } + + public RequirementNotSatisfied getRequirementNotSatisfied() { + return RequirementNotSatisfied.instance(); + } + + public RequirementNotSatisfied.Matcher getRequirementNotSatisfied(final ViatraQueryEngine engine) { + return RequirementNotSatisfied.Matcher.on(engine); + } + + public AverageFreeMemoryMetric getAverageFreeMemoryMetric() { + return AverageFreeMemoryMetric.instance(); + } + + public AverageFreeMemoryMetric.Matcher getAverageFreeMemoryMetric(final ViatraQueryEngine engine) { + return AverageFreeMemoryMetric.Matcher.on(engine); + } + + public AverageFreeHddMetric getAverageFreeHddMetric() { + return AverageFreeHddMetric.instance(); + } + + public AverageFreeHddMetric.Matcher getAverageFreeHddMetric(final ViatraQueryEngine engine) { + return AverageFreeHddMetric.Matcher.on(engine); + } + + public CostMetric getCostMetric() { + return CostMetric.instance(); + } + + public CostMetric.Matcher getCostMetric(final ViatraQueryEngine engine) { + return CostMetric.Matcher.on(engine); + } + + public CpsCost getCpsCost() { + return CpsCost.instance(); + } + + public CpsCost.Matcher getCpsCost(final ViatraQueryEngine engine) { + return CpsCost.Matcher.on(engine); + } +} -- cgit v1.2.3-54-g00ecf