diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-04 17:56:18 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-04 17:56:18 -0400 |
commit | b9aaa826e1e7504958b6e75f35e9dcd09086a13e (patch) | |
tree | df7b83804e74efb86fb845862c5523d04d7edeb1 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SmallSat.java | |
parent | Merge remote-tracking branch 'origin/master' into kris (diff) | |
download | VIATRA-Generator-b9aaa826e1e7504958b6e75f35e9dcd09086a13e.tar.gz VIATRA-Generator-b9aaa826e1e7504958b6e75f35e9dcd09086a13e.tar.zst VIATRA-Generator-b9aaa826e1e7504958b6e75f35e9dcd09086a13e.zip |
Metrics for satellite case study
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SmallSat.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SmallSat.java | 23 |
1 files changed, 17 insertions, 6 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SmallSat.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SmallSat.java index 252db290..d74ed28a 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SmallSat.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SmallSat.java | |||
@@ -8,13 +8,18 @@ import java.util.LinkedHashSet; | |||
8 | import java.util.List; | 8 | import java.util.List; |
9 | import java.util.Set; | 9 | import java.util.Set; |
10 | import org.eclipse.emf.ecore.EClass; | 10 | import org.eclipse.emf.ecore.EClass; |
11 | import org.eclipse.emf.ecore.EDataType; | ||
11 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFPQuery; | 12 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFPQuery; |
12 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecificationWithGenericMatcher; | 13 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecificationWithGenericMatcher; |
13 | import org.eclipse.viatra.query.runtime.emf.types.EClassTransitiveInstancesKey; | 14 | import org.eclipse.viatra.query.runtime.emf.types.EClassTransitiveInstancesKey; |
15 | import org.eclipse.viatra.query.runtime.emf.types.EDataTypeInSlotsKey; | ||
16 | import org.eclipse.viatra.query.runtime.emf.types.EStructuralFeatureInstancesKey; | ||
14 | import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint; | 17 | import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint; |
15 | import org.eclipse.viatra.query.runtime.matchers.psystem.PBody; | 18 | import org.eclipse.viatra.query.runtime.matchers.psystem.PBody; |
16 | import org.eclipse.viatra.query.runtime.matchers.psystem.PVariable; | 19 | import org.eclipse.viatra.query.runtime.matchers.psystem.PVariable; |
20 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Equality; | ||
17 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter; | 21 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter; |
22 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.ConstantValue; | ||
18 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; | 23 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; |
19 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter; | 24 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter; |
20 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection; | 25 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection; |
@@ -26,8 +31,8 @@ import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | |||
26 | * | 31 | * |
27 | * <p>Original source: | 32 | * <p>Original source: |
28 | * <code><pre> | 33 | * <code><pre> |
29 | * private pattern smallSat(Sat : SmallSat) { | 34 | * private pattern smallSat(Sat : Spacecraft) { |
30 | * SmallSat(Sat); | 35 | * Spacecraft.kind(Sat, SpacecraftKind::SmallSat); |
31 | * } | 36 | * } |
32 | * </pre></code> | 37 | * </pre></code> |
33 | * | 38 | * |
@@ -83,7 +88,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecificationWithGeneri | |||
83 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 88 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
84 | private static final SmallSat.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 89 | private static final SmallSat.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
85 | 90 | ||
86 | private final PParameter parameter_Sat = new PParameter("Sat", "hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "SmallSat")), PParameterDirection.INOUT); | 91 | private final PParameter parameter_Sat = new PParameter("Sat", "hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); |
87 | 92 | ||
88 | private final List<PParameter> parameters = Arrays.asList(parameter_Sat); | 93 | private final List<PParameter> parameters = Arrays.asList(parameter_Sat); |
89 | 94 | ||
@@ -113,12 +118,18 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecificationWithGeneri | |||
113 | { | 118 | { |
114 | PBody body = new PBody(this); | 119 | PBody body = new PBody(this); |
115 | PVariable var_Sat = body.getOrCreateVariableByName("Sat"); | 120 | PVariable var_Sat = body.getOrCreateVariableByName("Sat"); |
116 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "SmallSat"))); | 121 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "Spacecraft"))); |
117 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( | 122 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( |
118 | new ExportedParameter(body, var_Sat, parameter_Sat) | 123 | new ExportedParameter(body, var_Sat, parameter_Sat) |
119 | )); | 124 | )); |
120 | // SmallSat(Sat) | 125 | // Spacecraft.kind(Sat, SpacecraftKind::SmallSat) |
121 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "SmallSat"))); | 126 | PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}"); |
127 | new ConstantValue(body, var__virtual_0_, getEnumLiteral("http://www.example.org/satellite", "SpacecraftKind", "SmallSat").getInstance()); | ||
128 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "Spacecraft"))); | ||
129 | PVariable var__virtual_1_ = body.getOrCreateVariableByName(".virtual{1}"); | ||
130 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat, var__virtual_1_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "Spacecraft", "kind"))); | ||
131 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_1_), new EDataTypeInSlotsKey((EDataType)getClassifierLiteral("http://www.example.org/satellite", "SpacecraftKind"))); | ||
132 | new Equality(body, var__virtual_1_, var__virtual_0_); | ||
122 | bodies.add(body); | 133 | bodies.add(body); |
123 | } | 134 | } |
124 | return bodies; | 135 | return bodies; |