diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv12.java')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv12.java | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv12.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv12.java index 2a539a1d..fc1b0c62 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv12.java +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv12.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /** | 1 | /** |
2 | * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql | 2 | * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql |
3 | */ | 3 | */ |
4 | package queries; | 4 | package queries; |
5 | 5 | ||
@@ -35,6 +35,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedP | |||
35 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall; | 35 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall; |
36 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; | 36 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; |
37 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter; | 37 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter; |
38 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection; | ||
38 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | 39 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; |
39 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 40 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; |
40 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 41 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
@@ -215,6 +216,10 @@ public final class Inv12 extends BaseGeneratedEMFQuerySpecification<Inv12.Matche | |||
215 | } | 216 | } |
216 | 217 | ||
217 | private static final class Mutable extends Inv12.Match { | 218 | private static final class Mutable extends Inv12.Match { |
219 | Mutable(final Tax_Payer pTp) { | ||
220 | super(pTp); | ||
221 | } | ||
222 | |||
218 | @Override | 223 | @Override |
219 | public boolean isMutable() { | 224 | public boolean isMutable() { |
220 | return true; | 225 | return true; |
@@ -381,7 +386,9 @@ public final class Inv12 extends BaseGeneratedEMFQuerySpecification<Inv12.Matche | |||
381 | * @return the (partial) match object. | 386 | * @return the (partial) match object. |
382 | * | 387 | * |
383 | */ | 388 | */ |
384 | public Inv12.Match newMatch(); | 389 | public Inv12.Match newMatch(final Tax_Payer pTp) { |
390 | return Inv12.Match.newMatch(pTp); | ||
391 | } | ||
385 | 392 | ||
386 | /** | 393 | /** |
387 | * Retrieve the set of values that occur in matches for tp. | 394 | * Retrieve the set of values that occur in matches for tp. |
@@ -516,7 +523,7 @@ public final class Inv12 extends BaseGeneratedEMFQuerySpecification<Inv12.Matche | |||
516 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 523 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
517 | private static final Inv12.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 524 | private static final Inv12.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
518 | 525 | ||
519 | private final PParameter parameter_tp; | 526 | private final PParameter parameter_tp = new PParameter("tp", "Taxation.Tax_Payer", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http:///TaxCard.ecore", "Tax_Payer")), PParameterDirection.INOUT); |
520 | 527 | ||
521 | private final List<PParameter> parameters = Arrays.asList(parameter_tp); | 528 | private final List<PParameter> parameters = Arrays.asList(parameter_tp); |
522 | 529 | ||