diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/PatternContent.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/PatternContent.java | 69 |
1 files changed, 35 insertions, 34 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/PatternContent.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/PatternContent.java index 690d3e27..5410b693 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/PatternContent.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/PatternContent.java | |||
@@ -3,6 +3,7 @@ | |||
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.domains.alloyexamples; | 4 | package hu.bme.mit.inf.dslreasoner.domains.alloyexamples; |
5 | 5 | ||
6 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir; | ||
6 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject; | 7 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject; |
7 | import java.util.Arrays; | 8 | import java.util.Arrays; |
8 | import java.util.Collection; | 9 | import java.util.Collection; |
@@ -43,7 +44,7 @@ import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | |||
43 | * | 44 | * |
44 | * <p>Original source: | 45 | * <p>Original source: |
45 | * <code><pre> | 46 | * <code><pre> |
46 | * pattern patternContent(o1: FSObject, o2: FSObject) { | 47 | * pattern patternContent(o1: Dir, o2: FSObject) { |
47 | * Dir.contents(o1,o2); | 48 | * Dir.contents(o1,o2); |
48 | * } | 49 | * } |
49 | * </pre></code> | 50 | * </pre></code> |
@@ -67,13 +68,13 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
67 | * | 68 | * |
68 | */ | 69 | */ |
69 | public static abstract class Match extends BasePatternMatch { | 70 | public static abstract class Match extends BasePatternMatch { |
70 | private FSObject fO1; | 71 | private Dir fO1; |
71 | 72 | ||
72 | private FSObject fO2; | 73 | private FSObject fO2; |
73 | 74 | ||
74 | private static List<String> parameterNames = makeImmutableList("o1", "o2"); | 75 | private static List<String> parameterNames = makeImmutableList("o1", "o2"); |
75 | 76 | ||
76 | private Match(final FSObject pO1, final FSObject pO2) { | 77 | private Match(final Dir pO1, final FSObject pO2) { |
77 | this.fO1 = pO1; | 78 | this.fO1 = pO1; |
78 | this.fO2 = pO2; | 79 | this.fO2 = pO2; |
79 | } | 80 | } |
@@ -85,7 +86,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
85 | return null; | 86 | return null; |
86 | } | 87 | } |
87 | 88 | ||
88 | public FSObject getO1() { | 89 | public Dir getO1() { |
89 | return this.fO1; | 90 | return this.fO1; |
90 | } | 91 | } |
91 | 92 | ||
@@ -97,7 +98,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
97 | public boolean set(final String parameterName, final Object newValue) { | 98 | public boolean set(final String parameterName, final Object newValue) { |
98 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); | 99 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); |
99 | if ("o1".equals(parameterName) ) { | 100 | if ("o1".equals(parameterName) ) { |
100 | this.fO1 = (FSObject) newValue; | 101 | this.fO1 = (Dir) newValue; |
101 | return true; | 102 | return true; |
102 | } | 103 | } |
103 | if ("o2".equals(parameterName) ) { | 104 | if ("o2".equals(parameterName) ) { |
@@ -107,7 +108,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
107 | return false; | 108 | return false; |
108 | } | 109 | } |
109 | 110 | ||
110 | public void setO1(final FSObject pO1) { | 111 | public void setO1(final Dir pO1) { |
111 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); | 112 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); |
112 | this.fO1 = pO1; | 113 | this.fO1 = pO1; |
113 | } | 114 | } |
@@ -195,7 +196,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
195 | * @return the new, mutable (partial) match object. | 196 | * @return the new, mutable (partial) match object. |
196 | * | 197 | * |
197 | */ | 198 | */ |
198 | public static PatternContent.Match newMutableMatch(final FSObject pO1, final FSObject pO2) { | 199 | public static PatternContent.Match newMutableMatch(final Dir pO1, final FSObject pO2) { |
199 | return new Mutable(pO1, pO2); | 200 | return new Mutable(pO1, pO2); |
200 | } | 201 | } |
201 | 202 | ||
@@ -208,12 +209,12 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
208 | * @return the (partial) match object. | 209 | * @return the (partial) match object. |
209 | * | 210 | * |
210 | */ | 211 | */ |
211 | public static PatternContent.Match newMatch(final FSObject pO1, final FSObject pO2) { | 212 | public static PatternContent.Match newMatch(final Dir pO1, final FSObject pO2) { |
212 | return new Immutable(pO1, pO2); | 213 | return new Immutable(pO1, pO2); |
213 | } | 214 | } |
214 | 215 | ||
215 | private static final class Mutable extends PatternContent.Match { | 216 | private static final class Mutable extends PatternContent.Match { |
216 | Mutable(final FSObject pO1, final FSObject pO2) { | 217 | Mutable(final Dir pO1, final FSObject pO2) { |
217 | super(pO1, pO2); | 218 | super(pO1, pO2); |
218 | } | 219 | } |
219 | 220 | ||
@@ -224,7 +225,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
224 | } | 225 | } |
225 | 226 | ||
226 | private static final class Immutable extends PatternContent.Match { | 227 | private static final class Immutable extends PatternContent.Match { |
227 | Immutable(final FSObject pO1, final FSObject pO2) { | 228 | Immutable(final Dir pO1, final FSObject pO2) { |
228 | super(pO1, pO2); | 229 | super(pO1, pO2); |
229 | } | 230 | } |
230 | 231 | ||
@@ -246,7 +247,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
246 | * | 247 | * |
247 | * <p>Original source: | 248 | * <p>Original source: |
248 | * <code><pre> | 249 | * <code><pre> |
249 | * pattern patternContent(o1: FSObject, o2: FSObject) { | 250 | * pattern patternContent(o1: Dir, o2: FSObject) { |
250 | * Dir.contents(o1,o2); | 251 | * Dir.contents(o1,o2); |
251 | * } | 252 | * } |
252 | * </pre></code> | 253 | * </pre></code> |
@@ -308,7 +309,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
308 | * @return matches represented as a Match object. | 309 | * @return matches represented as a Match object. |
309 | * | 310 | * |
310 | */ | 311 | */ |
311 | public Collection<PatternContent.Match> getAllMatches(final FSObject pO1, final FSObject pO2) { | 312 | public Collection<PatternContent.Match> getAllMatches(final Dir pO1, final FSObject pO2) { |
312 | return rawStreamAllMatches(new Object[]{pO1, pO2}).collect(Collectors.toSet()); | 313 | return rawStreamAllMatches(new Object[]{pO1, pO2}).collect(Collectors.toSet()); |
313 | } | 314 | } |
314 | 315 | ||
@@ -323,7 +324,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
323 | * @return a stream of matches represented as a Match object. | 324 | * @return a stream of matches represented as a Match object. |
324 | * | 325 | * |
325 | */ | 326 | */ |
326 | public Stream<PatternContent.Match> streamAllMatches(final FSObject pO1, final FSObject pO2) { | 327 | public Stream<PatternContent.Match> streamAllMatches(final Dir pO1, final FSObject pO2) { |
327 | return rawStreamAllMatches(new Object[]{pO1, pO2}); | 328 | return rawStreamAllMatches(new Object[]{pO1, pO2}); |
328 | } | 329 | } |
329 | 330 | ||
@@ -335,7 +336,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
335 | * @return a match represented as a Match object, or null if no match is found. | 336 | * @return a match represented as a Match object, or null if no match is found. |
336 | * | 337 | * |
337 | */ | 338 | */ |
338 | public Optional<PatternContent.Match> getOneArbitraryMatch(final FSObject pO1, final FSObject pO2) { | 339 | public Optional<PatternContent.Match> getOneArbitraryMatch(final Dir pO1, final FSObject pO2) { |
339 | return rawGetOneArbitraryMatch(new Object[]{pO1, pO2}); | 340 | return rawGetOneArbitraryMatch(new Object[]{pO1, pO2}); |
340 | } | 341 | } |
341 | 342 | ||
@@ -347,7 +348,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
347 | * @return true if the input is a valid (partial) match of the pattern. | 348 | * @return true if the input is a valid (partial) match of the pattern. |
348 | * | 349 | * |
349 | */ | 350 | */ |
350 | public boolean hasMatch(final FSObject pO1, final FSObject pO2) { | 351 | public boolean hasMatch(final Dir pO1, final FSObject pO2) { |
351 | return rawHasMatch(new Object[]{pO1, pO2}); | 352 | return rawHasMatch(new Object[]{pO1, pO2}); |
352 | } | 353 | } |
353 | 354 | ||
@@ -358,7 +359,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
358 | * @return the number of pattern matches found. | 359 | * @return the number of pattern matches found. |
359 | * | 360 | * |
360 | */ | 361 | */ |
361 | public int countMatches(final FSObject pO1, final FSObject pO2) { | 362 | public int countMatches(final Dir pO1, final FSObject pO2) { |
362 | return rawCountMatches(new Object[]{pO1, pO2}); | 363 | return rawCountMatches(new Object[]{pO1, pO2}); |
363 | } | 364 | } |
364 | 365 | ||
@@ -371,7 +372,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
371 | * @return true if the pattern has at least one match with the given parameter values, false if the processor was not invoked | 372 | * @return true if the pattern has at least one match with the given parameter values, false if the processor was not invoked |
372 | * | 373 | * |
373 | */ | 374 | */ |
374 | public boolean forOneArbitraryMatch(final FSObject pO1, final FSObject pO2, final Consumer<? super PatternContent.Match> processor) { | 375 | public boolean forOneArbitraryMatch(final Dir pO1, final FSObject pO2, final Consumer<? super PatternContent.Match> processor) { |
375 | return rawForOneArbitraryMatch(new Object[]{pO1, pO2}, processor); | 376 | return rawForOneArbitraryMatch(new Object[]{pO1, pO2}, processor); |
376 | } | 377 | } |
377 | 378 | ||
@@ -384,7 +385,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
384 | * @return the (partial) match object. | 385 | * @return the (partial) match object. |
385 | * | 386 | * |
386 | */ | 387 | */ |
387 | public PatternContent.Match newMatch(final FSObject pO1, final FSObject pO2) { | 388 | public PatternContent.Match newMatch(final Dir pO1, final FSObject pO2) { |
388 | return PatternContent.Match.newMatch(pO1, pO2); | 389 | return PatternContent.Match.newMatch(pO1, pO2); |
389 | } | 390 | } |
390 | 391 | ||
@@ -393,8 +394,8 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
393 | * @return the Set of all values or empty set if there are no matches | 394 | * @return the Set of all values or empty set if there are no matches |
394 | * | 395 | * |
395 | */ | 396 | */ |
396 | protected Stream<FSObject> rawStreamAllValuesOfo1(final Object[] parameters) { | 397 | protected Stream<Dir> rawStreamAllValuesOfo1(final Object[] parameters) { |
397 | return rawStreamAllValues(POSITION_O1, parameters).map(FSObject.class::cast); | 398 | return rawStreamAllValues(POSITION_O1, parameters).map(Dir.class::cast); |
398 | } | 399 | } |
399 | 400 | ||
400 | /** | 401 | /** |
@@ -402,7 +403,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
402 | * @return the Set of all values or empty set if there are no matches | 403 | * @return the Set of all values or empty set if there are no matches |
403 | * | 404 | * |
404 | */ | 405 | */ |
405 | public Set<FSObject> getAllValuesOfo1() { | 406 | public Set<Dir> getAllValuesOfo1() { |
406 | return rawStreamAllValuesOfo1(emptyArray()).collect(Collectors.toSet()); | 407 | return rawStreamAllValuesOfo1(emptyArray()).collect(Collectors.toSet()); |
407 | } | 408 | } |
408 | 409 | ||
@@ -411,7 +412,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
411 | * @return the Set of all values or empty set if there are no matches | 412 | * @return the Set of all values or empty set if there are no matches |
412 | * | 413 | * |
413 | */ | 414 | */ |
414 | public Stream<FSObject> streamAllValuesOfo1() { | 415 | public Stream<Dir> streamAllValuesOfo1() { |
415 | return rawStreamAllValuesOfo1(emptyArray()); | 416 | return rawStreamAllValuesOfo1(emptyArray()); |
416 | } | 417 | } |
417 | 418 | ||
@@ -425,7 +426,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
425 | * @return the Stream of all values or empty set if there are no matches | 426 | * @return the Stream of all values or empty set if there are no matches |
426 | * | 427 | * |
427 | */ | 428 | */ |
428 | public Stream<FSObject> streamAllValuesOfo1(final PatternContent.Match partialMatch) { | 429 | public Stream<Dir> streamAllValuesOfo1(final PatternContent.Match partialMatch) { |
429 | return rawStreamAllValuesOfo1(partialMatch.toArray()); | 430 | return rawStreamAllValuesOfo1(partialMatch.toArray()); |
430 | } | 431 | } |
431 | 432 | ||
@@ -439,7 +440,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
439 | * @return the Stream of all values or empty set if there are no matches | 440 | * @return the Stream of all values or empty set if there are no matches |
440 | * | 441 | * |
441 | */ | 442 | */ |
442 | public Stream<FSObject> streamAllValuesOfo1(final FSObject pO2) { | 443 | public Stream<Dir> streamAllValuesOfo1(final FSObject pO2) { |
443 | return rawStreamAllValuesOfo1(new Object[]{null, pO2}); | 444 | return rawStreamAllValuesOfo1(new Object[]{null, pO2}); |
444 | } | 445 | } |
445 | 446 | ||
@@ -448,7 +449,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
448 | * @return the Set of all values or empty set if there are no matches | 449 | * @return the Set of all values or empty set if there are no matches |
449 | * | 450 | * |
450 | */ | 451 | */ |
451 | public Set<FSObject> getAllValuesOfo1(final PatternContent.Match partialMatch) { | 452 | public Set<Dir> getAllValuesOfo1(final PatternContent.Match partialMatch) { |
452 | return rawStreamAllValuesOfo1(partialMatch.toArray()).collect(Collectors.toSet()); | 453 | return rawStreamAllValuesOfo1(partialMatch.toArray()).collect(Collectors.toSet()); |
453 | } | 454 | } |
454 | 455 | ||
@@ -457,7 +458,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
457 | * @return the Set of all values or empty set if there are no matches | 458 | * @return the Set of all values or empty set if there are no matches |
458 | * | 459 | * |
459 | */ | 460 | */ |
460 | public Set<FSObject> getAllValuesOfo1(final FSObject pO2) { | 461 | public Set<Dir> getAllValuesOfo1(final FSObject pO2) { |
461 | return rawStreamAllValuesOfo1(new Object[]{null, pO2}).collect(Collectors.toSet()); | 462 | return rawStreamAllValuesOfo1(new Object[]{null, pO2}).collect(Collectors.toSet()); |
462 | } | 463 | } |
463 | 464 | ||
@@ -512,7 +513,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
512 | * @return the Stream of all values or empty set if there are no matches | 513 | * @return the Stream of all values or empty set if there are no matches |
513 | * | 514 | * |
514 | */ | 515 | */ |
515 | public Stream<FSObject> streamAllValuesOfo2(final FSObject pO1) { | 516 | public Stream<FSObject> streamAllValuesOfo2(final Dir pO1) { |
516 | return rawStreamAllValuesOfo2(new Object[]{pO1, null}); | 517 | return rawStreamAllValuesOfo2(new Object[]{pO1, null}); |
517 | } | 518 | } |
518 | 519 | ||
@@ -530,14 +531,14 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
530 | * @return the Set of all values or empty set if there are no matches | 531 | * @return the Set of all values or empty set if there are no matches |
531 | * | 532 | * |
532 | */ | 533 | */ |
533 | public Set<FSObject> getAllValuesOfo2(final FSObject pO1) { | 534 | public Set<FSObject> getAllValuesOfo2(final Dir pO1) { |
534 | return rawStreamAllValuesOfo2(new Object[]{pO1, null}).collect(Collectors.toSet()); | 535 | return rawStreamAllValuesOfo2(new Object[]{pO1, null}).collect(Collectors.toSet()); |
535 | } | 536 | } |
536 | 537 | ||
537 | @Override | 538 | @Override |
538 | protected PatternContent.Match tupleToMatch(final Tuple t) { | 539 | protected PatternContent.Match tupleToMatch(final Tuple t) { |
539 | try { | 540 | try { |
540 | return PatternContent.Match.newMatch((FSObject) t.get(POSITION_O1), (FSObject) t.get(POSITION_O2)); | 541 | return PatternContent.Match.newMatch((Dir) t.get(POSITION_O1), (FSObject) t.get(POSITION_O2)); |
541 | } catch(ClassCastException e) { | 542 | } catch(ClassCastException e) { |
542 | LOGGER.error("Element(s) in tuple not properly typed!",e); | 543 | LOGGER.error("Element(s) in tuple not properly typed!",e); |
543 | return null; | 544 | return null; |
@@ -547,7 +548,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
547 | @Override | 548 | @Override |
548 | protected PatternContent.Match arrayToMatch(final Object[] match) { | 549 | protected PatternContent.Match arrayToMatch(final Object[] match) { |
549 | try { | 550 | try { |
550 | return PatternContent.Match.newMatch((FSObject) match[POSITION_O1], (FSObject) match[POSITION_O2]); | 551 | return PatternContent.Match.newMatch((Dir) match[POSITION_O1], (FSObject) match[POSITION_O2]); |
551 | } catch(ClassCastException e) { | 552 | } catch(ClassCastException e) { |
552 | LOGGER.error("Element(s) in array not properly typed!",e); | 553 | LOGGER.error("Element(s) in array not properly typed!",e); |
553 | return null; | 554 | return null; |
@@ -557,7 +558,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
557 | @Override | 558 | @Override |
558 | protected PatternContent.Match arrayToMatchMutable(final Object[] match) { | 559 | protected PatternContent.Match arrayToMatchMutable(final Object[] match) { |
559 | try { | 560 | try { |
560 | return PatternContent.Match.newMutableMatch((FSObject) match[POSITION_O1], (FSObject) match[POSITION_O2]); | 561 | return PatternContent.Match.newMutableMatch((Dir) match[POSITION_O1], (FSObject) match[POSITION_O2]); |
561 | } catch(ClassCastException e) { | 562 | } catch(ClassCastException e) { |
562 | LOGGER.error("Element(s) in array not properly typed!",e); | 563 | LOGGER.error("Element(s) in array not properly typed!",e); |
563 | return null; | 564 | return null; |
@@ -608,7 +609,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
608 | 609 | ||
609 | @Override | 610 | @Override |
610 | public PatternContent.Match newMatch(final Object... parameters) { | 611 | public PatternContent.Match newMatch(final Object... parameters) { |
611 | return PatternContent.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject) parameters[0], (hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject) parameters[1]); | 612 | return PatternContent.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir) parameters[0], (hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject) parameters[1]); |
612 | } | 613 | } |
613 | 614 | ||
614 | /** | 615 | /** |
@@ -640,7 +641,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
640 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 641 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
641 | private static final PatternContent.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 642 | private static final PatternContent.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
642 | 643 | ||
643 | private final PParameter parameter_o1 = new PParameter("o1", "hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("FS", "FSObject")), PParameterDirection.INOUT); | 644 | private final PParameter parameter_o1 = new PParameter("o1", "hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("FS", "Dir")), PParameterDirection.INOUT); |
644 | 645 | ||
645 | private final PParameter parameter_o2 = new PParameter("o2", "hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("FS", "FSObject")), PParameterDirection.INOUT); | 646 | private final PParameter parameter_o2 = new PParameter("o2", "hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("FS", "FSObject")), PParameterDirection.INOUT); |
646 | 647 | ||
@@ -673,7 +674,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
673 | PBody body = new PBody(this); | 674 | PBody body = new PBody(this); |
674 | PVariable var_o1 = body.getOrCreateVariableByName("o1"); | 675 | PVariable var_o1 = body.getOrCreateVariableByName("o1"); |
675 | PVariable var_o2 = body.getOrCreateVariableByName("o2"); | 676 | PVariable var_o2 = body.getOrCreateVariableByName("o2"); |
676 | new TypeConstraint(body, Tuples.flatTupleOf(var_o1), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "FSObject"))); | 677 | new TypeConstraint(body, Tuples.flatTupleOf(var_o1), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "Dir"))); |
677 | new TypeConstraint(body, Tuples.flatTupleOf(var_o2), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "FSObject"))); | 678 | new TypeConstraint(body, Tuples.flatTupleOf(var_o2), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "FSObject"))); |
678 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( | 679 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( |
679 | new ExportedParameter(body, var_o1, parameter_o1), | 680 | new ExportedParameter(body, var_o1, parameter_o1), |