diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples')
4 files changed, 68 insertions, 46 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore index 70eab455..1e7d444f 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore | |||
@@ -50,12 +50,3 @@ | |||
50 | /Opposite.java | 50 | /Opposite.java |
51 | /OppositeDifferentClass.java | 51 | /OppositeDifferentClass.java |
52 | /PatternContent.java | 52 | /PatternContent.java |
53 | /.Dir.java._trace | ||
54 | /.RootIsNotDir.java._trace | ||
55 | /Dir.java | ||
56 | /RootIsNotDir.java | ||
57 | /.Unsat_loopInInheritance.java._trace | ||
58 | /.Subpackage.java._trace | ||
59 | /.Unsat_subpackage.java._trace | ||
60 | /.Unsat_subpackageOrSelf.java._trace | ||
61 | /.Unsat_topLevelPackageWithLoop.java._trace | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Live.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Live.java index 178ec37d..3f2448aa 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Live.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Live.java | |||
@@ -706,7 +706,7 @@ public final class Live extends BaseGeneratedEMFQuerySpecification<Live.Matcher> | |||
706 | new TypeConstraint(body, Tuples.flatTupleOf(var_this), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "FileSystem"))); | 706 | new TypeConstraint(body, Tuples.flatTupleOf(var_this), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "FileSystem"))); |
707 | PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}"); | 707 | PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}"); |
708 | new TypeConstraint(body, Tuples.flatTupleOf(var_this, var__virtual_0_), new EStructuralFeatureInstancesKey(getFeatureLiteral("FS", "FileSystem", "root"))); | 708 | new TypeConstraint(body, Tuples.flatTupleOf(var_this, var__virtual_0_), new EStructuralFeatureInstancesKey(getFeatureLiteral("FS", "FileSystem", "root"))); |
709 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_0_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "FSObject"))); | 709 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_0_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "Dir"))); |
710 | new Equality(body, var__virtual_0_, var_l); | 710 | new Equality(body, var__virtual_0_, var_l); |
711 | bodies.add(body); | 711 | bodies.add(body); |
712 | } | 712 | } |
@@ -725,7 +725,7 @@ public final class Live extends BaseGeneratedEMFQuerySpecification<Live.Matcher> | |||
725 | new TypeConstraint(body, Tuples.flatTupleOf(var_this), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "FileSystem"))); | 725 | new TypeConstraint(body, Tuples.flatTupleOf(var_this), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "FileSystem"))); |
726 | PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}"); | 726 | PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}"); |
727 | new TypeConstraint(body, Tuples.flatTupleOf(var_this, var__virtual_0_), new EStructuralFeatureInstancesKey(getFeatureLiteral("FS", "FileSystem", "root"))); | 727 | new TypeConstraint(body, Tuples.flatTupleOf(var_this, var__virtual_0_), new EStructuralFeatureInstancesKey(getFeatureLiteral("FS", "FileSystem", "root"))); |
728 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_0_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "FSObject"))); | 728 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_0_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "Dir"))); |
729 | new Equality(body, var__virtual_0_, var_root); | 729 | new Equality(body, var__virtual_0_, var_root); |
730 | // find patternContent+(root,l) | 730 | // find patternContent+(root,l) |
731 | new BinaryTransitiveClosure(body, Tuples.flatTupleOf(var_root, var_l), PatternContent.instance().getInternalQueryRepresentation()); | 731 | new BinaryTransitiveClosure(body, Tuples.flatTupleOf(var_root, var_l), PatternContent.instance().getInternalQueryRepresentation()); |
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 bd02fa5b..7c48b978 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,7 +3,6 @@ | |||
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; | ||
7 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject; | 6 | import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject; |
8 | import java.util.Arrays; | 7 | import java.util.Arrays; |
9 | import java.util.Collection; | 8 | import java.util.Collection; |
@@ -44,7 +43,7 @@ import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | |||
44 | * | 43 | * |
45 | * <p>Original source: | 44 | * <p>Original source: |
46 | * <code><pre> | 45 | * <code><pre> |
47 | * pattern patternContent(o1: Dir, o2: FSObject) { | 46 | * pattern patternContent(o1: FSObject, o2: FSObject) { |
48 | * Dir.contents(o1,o2); | 47 | * Dir.contents(o1,o2); |
49 | * } | 48 | * } |
50 | * </pre></code> | 49 | * </pre></code> |
@@ -68,13 +67,13 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
68 | * | 67 | * |
69 | */ | 68 | */ |
70 | public static abstract class Match extends BasePatternMatch { | 69 | public static abstract class Match extends BasePatternMatch { |
71 | private Dir fO1; | 70 | private FSObject fO1; |
72 | 71 | ||
73 | private FSObject fO2; | 72 | private FSObject fO2; |
74 | 73 | ||
75 | private static List<String> parameterNames = makeImmutableList("o1", "o2"); | 74 | private static List<String> parameterNames = makeImmutableList("o1", "o2"); |
76 | 75 | ||
77 | private Match(final Dir pO1, final FSObject pO2) { | 76 | private Match(final FSObject pO1, final FSObject pO2) { |
78 | this.fO1 = pO1; | 77 | this.fO1 = pO1; |
79 | this.fO2 = pO2; | 78 | this.fO2 = pO2; |
80 | } | 79 | } |
@@ -97,7 +96,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
97 | } | 96 | } |
98 | } | 97 | } |
99 | 98 | ||
100 | public Dir getO1() { | 99 | public FSObject getO1() { |
101 | return this.fO1; | 100 | return this.fO1; |
102 | } | 101 | } |
103 | 102 | ||
@@ -109,7 +108,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
109 | public boolean set(final String parameterName, final Object newValue) { | 108 | public boolean set(final String parameterName, final Object newValue) { |
110 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); | 109 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); |
111 | if ("o1".equals(parameterName) ) { | 110 | if ("o1".equals(parameterName) ) { |
112 | this.fO1 = (Dir) newValue; | 111 | this.fO1 = (FSObject) newValue; |
113 | return true; | 112 | return true; |
114 | } | 113 | } |
115 | if ("o2".equals(parameterName) ) { | 114 | if ("o2".equals(parameterName) ) { |
@@ -119,7 +118,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
119 | return false; | 118 | return false; |
120 | } | 119 | } |
121 | 120 | ||
122 | public void setO1(final Dir pO1) { | 121 | public void setO1(final FSObject pO1) { |
123 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); | 122 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); |
124 | this.fO1 = pO1; | 123 | this.fO1 = pO1; |
125 | } | 124 | } |
@@ -207,7 +206,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
207 | * @return the new, mutable (partial) match object. | 206 | * @return the new, mutable (partial) match object. |
208 | * | 207 | * |
209 | */ | 208 | */ |
210 | public static PatternContent.Match newMutableMatch(final Dir pO1, final FSObject pO2) { | 209 | public static PatternContent.Match newMutableMatch(final FSObject pO1, final FSObject pO2) { |
211 | return new Mutable(pO1, pO2); | 210 | return new Mutable(pO1, pO2); |
212 | } | 211 | } |
213 | 212 | ||
@@ -220,12 +219,12 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
220 | * @return the (partial) match object. | 219 | * @return the (partial) match object. |
221 | * | 220 | * |
222 | */ | 221 | */ |
223 | public static PatternContent.Match newMatch(final Dir pO1, final FSObject pO2) { | 222 | public static PatternContent.Match newMatch(final FSObject pO1, final FSObject pO2) { |
224 | return new Immutable(pO1, pO2); | 223 | return new Immutable(pO1, pO2); |
225 | } | 224 | } |
226 | 225 | ||
227 | private static final class Mutable extends PatternContent.Match { | 226 | private static final class Mutable extends PatternContent.Match { |
228 | Mutable(final Dir pO1, final FSObject pO2) { | 227 | Mutable(final FSObject pO1, final FSObject pO2) { |
229 | super(pO1, pO2); | 228 | super(pO1, pO2); |
230 | } | 229 | } |
231 | 230 | ||
@@ -236,7 +235,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
236 | } | 235 | } |
237 | 236 | ||
238 | private static final class Immutable extends PatternContent.Match { | 237 | private static final class Immutable extends PatternContent.Match { |
239 | Immutable(final Dir pO1, final FSObject pO2) { | 238 | Immutable(final FSObject pO1, final FSObject pO2) { |
240 | super(pO1, pO2); | 239 | super(pO1, pO2); |
241 | } | 240 | } |
242 | 241 | ||
@@ -258,7 +257,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
258 | * | 257 | * |
259 | * <p>Original source: | 258 | * <p>Original source: |
260 | * <code><pre> | 259 | * <code><pre> |
261 | * pattern patternContent(o1: Dir, o2: FSObject) { | 260 | * pattern patternContent(o1: FSObject, o2: FSObject) { |
262 | * Dir.contents(o1,o2); | 261 | * Dir.contents(o1,o2); |
263 | * } | 262 | * } |
264 | * </pre></code> | 263 | * </pre></code> |
@@ -320,7 +319,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
320 | * @return matches represented as a Match object. | 319 | * @return matches represented as a Match object. |
321 | * | 320 | * |
322 | */ | 321 | */ |
323 | public Collection<PatternContent.Match> getAllMatches(final Dir pO1, final FSObject pO2) { | 322 | public Collection<PatternContent.Match> getAllMatches(final FSObject pO1, final FSObject pO2) { |
324 | return rawStreamAllMatches(new Object[]{pO1, pO2}).collect(Collectors.toSet()); | 323 | return rawStreamAllMatches(new Object[]{pO1, pO2}).collect(Collectors.toSet()); |
325 | } | 324 | } |
326 | 325 | ||
@@ -335,7 +334,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
335 | * @return a stream of matches represented as a Match object. | 334 | * @return a stream of matches represented as a Match object. |
336 | * | 335 | * |
337 | */ | 336 | */ |
338 | public Stream<PatternContent.Match> streamAllMatches(final Dir pO1, final FSObject pO2) { | 337 | public Stream<PatternContent.Match> streamAllMatches(final FSObject pO1, final FSObject pO2) { |
339 | return rawStreamAllMatches(new Object[]{pO1, pO2}); | 338 | return rawStreamAllMatches(new Object[]{pO1, pO2}); |
340 | } | 339 | } |
341 | 340 | ||
@@ -347,7 +346,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
347 | * @return a match represented as a Match object, or null if no match is found. | 346 | * @return a match represented as a Match object, or null if no match is found. |
348 | * | 347 | * |
349 | */ | 348 | */ |
350 | public Optional<PatternContent.Match> getOneArbitraryMatch(final Dir pO1, final FSObject pO2) { | 349 | public Optional<PatternContent.Match> getOneArbitraryMatch(final FSObject pO1, final FSObject pO2) { |
351 | return rawGetOneArbitraryMatch(new Object[]{pO1, pO2}); | 350 | return rawGetOneArbitraryMatch(new Object[]{pO1, pO2}); |
352 | } | 351 | } |
353 | 352 | ||
@@ -359,7 +358,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
359 | * @return true if the input is a valid (partial) match of the pattern. | 358 | * @return true if the input is a valid (partial) match of the pattern. |
360 | * | 359 | * |
361 | */ | 360 | */ |
362 | public boolean hasMatch(final Dir pO1, final FSObject pO2) { | 361 | public boolean hasMatch(final FSObject pO1, final FSObject pO2) { |
363 | return rawHasMatch(new Object[]{pO1, pO2}); | 362 | return rawHasMatch(new Object[]{pO1, pO2}); |
364 | } | 363 | } |
365 | 364 | ||
@@ -370,7 +369,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
370 | * @return the number of pattern matches found. | 369 | * @return the number of pattern matches found. |
371 | * | 370 | * |
372 | */ | 371 | */ |
373 | public int countMatches(final Dir pO1, final FSObject pO2) { | 372 | public int countMatches(final FSObject pO1, final FSObject pO2) { |
374 | return rawCountMatches(new Object[]{pO1, pO2}); | 373 | return rawCountMatches(new Object[]{pO1, pO2}); |
375 | } | 374 | } |
376 | 375 | ||
@@ -383,7 +382,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
383 | * @return true if the pattern has at least one match with the given parameter values, false if the processor was not invoked | 382 | * @return true if the pattern has at least one match with the given parameter values, false if the processor was not invoked |
384 | * | 383 | * |
385 | */ | 384 | */ |
386 | public boolean forOneArbitraryMatch(final Dir pO1, final FSObject pO2, final Consumer<? super PatternContent.Match> processor) { | 385 | public boolean forOneArbitraryMatch(final FSObject pO1, final FSObject pO2, final Consumer<? super PatternContent.Match> processor) { |
387 | return rawForOneArbitraryMatch(new Object[]{pO1, pO2}, processor); | 386 | return rawForOneArbitraryMatch(new Object[]{pO1, pO2}, processor); |
388 | } | 387 | } |
389 | 388 | ||
@@ -396,7 +395,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
396 | * @return the (partial) match object. | 395 | * @return the (partial) match object. |
397 | * | 396 | * |
398 | */ | 397 | */ |
399 | public PatternContent.Match newMatch(final Dir pO1, final FSObject pO2) { | 398 | public PatternContent.Match newMatch(final FSObject pO1, final FSObject pO2) { |
400 | return PatternContent.Match.newMatch(pO1, pO2); | 399 | return PatternContent.Match.newMatch(pO1, pO2); |
401 | } | 400 | } |
402 | 401 | ||
@@ -405,8 +404,8 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
405 | * @return the Set of all values or empty set if there are no matches | 404 | * @return the Set of all values or empty set if there are no matches |
406 | * | 405 | * |
407 | */ | 406 | */ |
408 | protected Stream<Dir> rawStreamAllValuesOfo1(final Object[] parameters) { | 407 | protected Stream<FSObject> rawStreamAllValuesOfo1(final Object[] parameters) { |
409 | return rawStreamAllValues(POSITION_O1, parameters).map(Dir.class::cast); | 408 | return rawStreamAllValues(POSITION_O1, parameters).map(FSObject.class::cast); |
410 | } | 409 | } |
411 | 410 | ||
412 | /** | 411 | /** |
@@ -414,7 +413,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
414 | * @return the Set of all values or empty set if there are no matches | 413 | * @return the Set of all values or empty set if there are no matches |
415 | * | 414 | * |
416 | */ | 415 | */ |
417 | public Set<Dir> getAllValuesOfo1() { | 416 | public Set<FSObject> getAllValuesOfo1() { |
418 | return rawStreamAllValuesOfo1(emptyArray()).collect(Collectors.toSet()); | 417 | return rawStreamAllValuesOfo1(emptyArray()).collect(Collectors.toSet()); |
419 | } | 418 | } |
420 | 419 | ||
@@ -423,7 +422,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
423 | * @return the Set of all values or empty set if there are no matches | 422 | * @return the Set of all values or empty set if there are no matches |
424 | * | 423 | * |
425 | */ | 424 | */ |
426 | public Stream<Dir> streamAllValuesOfo1() { | 425 | public Stream<FSObject> streamAllValuesOfo1() { |
427 | return rawStreamAllValuesOfo1(emptyArray()); | 426 | return rawStreamAllValuesOfo1(emptyArray()); |
428 | } | 427 | } |
429 | 428 | ||
@@ -437,7 +436,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
437 | * @return the Stream of all values or empty set if there are no matches | 436 | * @return the Stream of all values or empty set if there are no matches |
438 | * | 437 | * |
439 | */ | 438 | */ |
440 | public Stream<Dir> streamAllValuesOfo1(final PatternContent.Match partialMatch) { | 439 | public Stream<FSObject> streamAllValuesOfo1(final PatternContent.Match partialMatch) { |
441 | return rawStreamAllValuesOfo1(partialMatch.toArray()); | 440 | return rawStreamAllValuesOfo1(partialMatch.toArray()); |
442 | } | 441 | } |
443 | 442 | ||
@@ -451,7 +450,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
451 | * @return the Stream of all values or empty set if there are no matches | 450 | * @return the Stream of all values or empty set if there are no matches |
452 | * | 451 | * |
453 | */ | 452 | */ |
454 | public Stream<Dir> streamAllValuesOfo1(final FSObject pO2) { | 453 | public Stream<FSObject> streamAllValuesOfo1(final FSObject pO2) { |
455 | return rawStreamAllValuesOfo1(new Object[]{null, pO2}); | 454 | return rawStreamAllValuesOfo1(new Object[]{null, pO2}); |
456 | } | 455 | } |
457 | 456 | ||
@@ -460,7 +459,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
460 | * @return the Set of all values or empty set if there are no matches | 459 | * @return the Set of all values or empty set if there are no matches |
461 | * | 460 | * |
462 | */ | 461 | */ |
463 | public Set<Dir> getAllValuesOfo1(final PatternContent.Match partialMatch) { | 462 | public Set<FSObject> getAllValuesOfo1(final PatternContent.Match partialMatch) { |
464 | return rawStreamAllValuesOfo1(partialMatch.toArray()).collect(Collectors.toSet()); | 463 | return rawStreamAllValuesOfo1(partialMatch.toArray()).collect(Collectors.toSet()); |
465 | } | 464 | } |
466 | 465 | ||
@@ -469,7 +468,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
469 | * @return the Set of all values or empty set if there are no matches | 468 | * @return the Set of all values or empty set if there are no matches |
470 | * | 469 | * |
471 | */ | 470 | */ |
472 | public Set<Dir> getAllValuesOfo1(final FSObject pO2) { | 471 | public Set<FSObject> getAllValuesOfo1(final FSObject pO2) { |
473 | return rawStreamAllValuesOfo1(new Object[]{null, pO2}).collect(Collectors.toSet()); | 472 | return rawStreamAllValuesOfo1(new Object[]{null, pO2}).collect(Collectors.toSet()); |
474 | } | 473 | } |
475 | 474 | ||
@@ -524,7 +523,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
524 | * @return the Stream of all values or empty set if there are no matches | 523 | * @return the Stream of all values or empty set if there are no matches |
525 | * | 524 | * |
526 | */ | 525 | */ |
527 | public Stream<FSObject> streamAllValuesOfo2(final Dir pO1) { | 526 | public Stream<FSObject> streamAllValuesOfo2(final FSObject pO1) { |
528 | return rawStreamAllValuesOfo2(new Object[]{pO1, null}); | 527 | return rawStreamAllValuesOfo2(new Object[]{pO1, null}); |
529 | } | 528 | } |
530 | 529 | ||
@@ -542,14 +541,14 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
542 | * @return the Set of all values or empty set if there are no matches | 541 | * @return the Set of all values or empty set if there are no matches |
543 | * | 542 | * |
544 | */ | 543 | */ |
545 | public Set<FSObject> getAllValuesOfo2(final Dir pO1) { | 544 | public Set<FSObject> getAllValuesOfo2(final FSObject pO1) { |
546 | return rawStreamAllValuesOfo2(new Object[]{pO1, null}).collect(Collectors.toSet()); | 545 | return rawStreamAllValuesOfo2(new Object[]{pO1, null}).collect(Collectors.toSet()); |
547 | } | 546 | } |
548 | 547 | ||
549 | @Override | 548 | @Override |
550 | protected PatternContent.Match tupleToMatch(final Tuple t) { | 549 | protected PatternContent.Match tupleToMatch(final Tuple t) { |
551 | try { | 550 | try { |
552 | return PatternContent.Match.newMatch((Dir) t.get(POSITION_O1), (FSObject) t.get(POSITION_O2)); | 551 | return PatternContent.Match.newMatch((FSObject) t.get(POSITION_O1), (FSObject) t.get(POSITION_O2)); |
553 | } catch(ClassCastException e) { | 552 | } catch(ClassCastException e) { |
554 | LOGGER.error("Element(s) in tuple not properly typed!",e); | 553 | LOGGER.error("Element(s) in tuple not properly typed!",e); |
555 | return null; | 554 | return null; |
@@ -559,7 +558,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
559 | @Override | 558 | @Override |
560 | protected PatternContent.Match arrayToMatch(final Object[] match) { | 559 | protected PatternContent.Match arrayToMatch(final Object[] match) { |
561 | try { | 560 | try { |
562 | return PatternContent.Match.newMatch((Dir) match[POSITION_O1], (FSObject) match[POSITION_O2]); | 561 | return PatternContent.Match.newMatch((FSObject) match[POSITION_O1], (FSObject) match[POSITION_O2]); |
563 | } catch(ClassCastException e) { | 562 | } catch(ClassCastException e) { |
564 | LOGGER.error("Element(s) in array not properly typed!",e); | 563 | LOGGER.error("Element(s) in array not properly typed!",e); |
565 | return null; | 564 | return null; |
@@ -569,7 +568,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
569 | @Override | 568 | @Override |
570 | protected PatternContent.Match arrayToMatchMutable(final Object[] match) { | 569 | protected PatternContent.Match arrayToMatchMutable(final Object[] match) { |
571 | try { | 570 | try { |
572 | return PatternContent.Match.newMutableMatch((Dir) match[POSITION_O1], (FSObject) match[POSITION_O2]); | 571 | return PatternContent.Match.newMutableMatch((FSObject) match[POSITION_O1], (FSObject) match[POSITION_O2]); |
573 | } catch(ClassCastException e) { | 572 | } catch(ClassCastException e) { |
574 | LOGGER.error("Element(s) in array not properly typed!",e); | 573 | LOGGER.error("Element(s) in array not properly typed!",e); |
575 | return null; | 574 | return null; |
@@ -620,7 +619,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
620 | 619 | ||
621 | @Override | 620 | @Override |
622 | public PatternContent.Match newMatch(final Object... parameters) { | 621 | public PatternContent.Match newMatch(final Object... parameters) { |
623 | 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]); | 622 | 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]); |
624 | } | 623 | } |
625 | 624 | ||
626 | /** | 625 | /** |
@@ -652,7 +651,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
652 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 651 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
653 | private static final PatternContent.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 652 | private static final PatternContent.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
654 | 653 | ||
655 | 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); | 654 | 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); |
656 | 655 | ||
657 | 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); | 656 | 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); |
658 | 657 | ||
@@ -685,7 +684,7 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
685 | PBody body = new PBody(this); | 684 | PBody body = new PBody(this); |
686 | PVariable var_o1 = body.getOrCreateVariableByName("o1"); | 685 | PVariable var_o1 = body.getOrCreateVariableByName("o1"); |
687 | PVariable var_o2 = body.getOrCreateVariableByName("o2"); | 686 | PVariable var_o2 = body.getOrCreateVariableByName("o2"); |
688 | new TypeConstraint(body, Tuples.flatTupleOf(var_o1), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "Dir"))); | 687 | new TypeConstraint(body, Tuples.flatTupleOf(var_o1), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "FSObject"))); |
689 | new TypeConstraint(body, Tuples.flatTupleOf(var_o2), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "FSObject"))); | 688 | new TypeConstraint(body, Tuples.flatTupleOf(var_o2), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("FS", "FSObject"))); |
690 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( | 689 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( |
691 | new ExportedParameter(body, var_o1, parameter_o1), | 690 | new ExportedParameter(body, var_o1, parameter_o1), |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/util/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/util/.gitignore new file mode 100644 index 00000000..4b17cd82 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/util/.gitignore | |||
@@ -0,0 +1,32 @@ | |||
1 | /.ContentInNotLiveProcessor.java._trace | ||
2 | /.ContentInNotLiveQuerySpecification.java._trace | ||
3 | /.DirectSupertypeProcessor.java._trace | ||
4 | /.DirectSupertypeQuerySpecification.java._trace | ||
5 | /.LiveProcessor.java._trace | ||
6 | /.LiveQuerySpecification.java._trace | ||
7 | /.LoopInInheritenceProcessor.java._trace | ||
8 | /.LoopInInheritenceQuerySpecification.java._trace | ||
9 | /.NonSymmetricOppositeProcessor.java._trace | ||
10 | /.NonSymmetricOppositeQuerySpecification.java._trace | ||
11 | /.OppositeDifferentClassProcessor.java._trace | ||
12 | /.OppositeDifferentClassQuerySpecification.java._trace | ||
13 | /.OppositeProcessor.java._trace | ||
14 | /.OppositeQuerySpecification.java._trace | ||
15 | /.PatternContentProcessor.java._trace | ||
16 | /.PatternContentQuerySpecification.java._trace | ||
17 | /ContentInNotLiveProcessor.java | ||
18 | /ContentInNotLiveQuerySpecification.java | ||
19 | /DirectSupertypeProcessor.java | ||
20 | /DirectSupertypeQuerySpecification.java | ||
21 | /LiveProcessor.java | ||
22 | /LiveQuerySpecification.java | ||
23 | /LoopInInheritenceProcessor.java | ||
24 | /LoopInInheritenceQuerySpecification.java | ||
25 | /NonSymmetricOppositeProcessor.java | ||
26 | /NonSymmetricOppositeQuerySpecification.java | ||
27 | /OppositeDifferentClassProcessor.java | ||
28 | /OppositeDifferentClassQuerySpecification.java | ||
29 | /OppositeProcessor.java | ||
30 | /OppositeQuerySpecification.java | ||
31 | /PatternContentProcessor.java | ||
32 | /PatternContentQuerySpecification.java | ||