diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-10-29 16:43:49 +0100 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-10-29 16:43:49 +0100 |
commit | 9ccfc1a2853f3da61758a50c0c545235dcebbfab (patch) | |
tree | 5209c0a9f3afa1d57e9d377788d4754f4a9e9f08 /Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf | |
parent | Remove MDEOptimiser dependency (diff) | |
download | VIATRA-Generator-9ccfc1a2853f3da61758a50c0c545235dcebbfab.tar.gz VIATRA-Generator-9ccfc1a2853f3da61758a50c0c545235dcebbfab.tar.zst VIATRA-Generator-9ccfc1a2853f3da61758a50c0c545235dcebbfab.zip |
Remove empty src directories from build path
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf')
11 files changed, 154 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 fa9b1325..0f8c77a1 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 | |||
@@ -52,3 +52,5 @@ | |||
52 | /PatternContent.java | 52 | /PatternContent.java |
53 | /.Dir.java._trace | 53 | /.Dir.java._trace |
54 | /.RootIsNotDir.java._trace | 54 | /.RootIsNotDir.java._trace |
55 | /Dir.java | ||
56 | /RootIsNotDir.java | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/ContentInNotLive.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/ContentInNotLive.java index ffdc1a69..ef0aaaf3 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/ContentInNotLive.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/ContentInNotLive.java | |||
@@ -90,9 +90,20 @@ public final class ContentInNotLive extends BaseGeneratedEMFQuerySpecification<C | |||
90 | 90 | ||
91 | @Override | 91 | @Override |
92 | public Object get(final String parameterName) { | 92 | public Object get(final String parameterName) { |
93 | if ("parent".equals(parameterName)) return this.fParent; | 93 | switch(parameterName) { |
94 | if ("child".equals(parameterName)) return this.fChild; | 94 | case "parent": return this.fParent; |
95 | return null; | 95 | case "child": return this.fChild; |
96 | default: return null; | ||
97 | } | ||
98 | } | ||
99 | |||
100 | @Override | ||
101 | public Object get(final int index) { | ||
102 | switch(index) { | ||
103 | case 0: return this.fParent; | ||
104 | case 1: return this.fChild; | ||
105 | default: return null; | ||
106 | } | ||
96 | } | 107 | } |
97 | 108 | ||
98 | public Dir getParent() { | 109 | public Dir getParent() { |
@@ -627,9 +638,9 @@ public final class ContentInNotLive extends BaseGeneratedEMFQuerySpecification<C | |||
627 | } | 638 | } |
628 | 639 | ||
629 | /** | 640 | /** |
630 | * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.ContentInNotLive (visibility: PUBLIC, simpleName: ContentInNotLive, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.ContentInNotLive, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)} to be created | 641 | * Inner class allowing the singleton instance of {@link ContentInNotLive} to be created |
631 | * <b>not</b> at the class load time of the outer class, | 642 | * <b>not</b> at the class load time of the outer class, |
632 | * but rather at the first call to {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.ContentInNotLive (visibility: PUBLIC, simpleName: ContentInNotLive, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.ContentInNotLive, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)#instance()}. | 643 | * but rather at the first call to {@link ContentInNotLive#instance()}. |
633 | * | 644 | * |
634 | * <p> This workaround is required e.g. to support recursion. | 645 | * <p> This workaround is required e.g. to support recursion. |
635 | * | 646 | * |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Dir.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Dir.java index ad04c098..83195aea 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Dir.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Dir.java | |||
@@ -74,8 +74,18 @@ public final class Dir extends BaseGeneratedEMFQuerySpecification<Dir.Matcher> { | |||
74 | 74 | ||
75 | @Override | 75 | @Override |
76 | public Object get(final String parameterName) { | 76 | public Object get(final String parameterName) { |
77 | if ("d".equals(parameterName)) return this.fD; | 77 | switch(parameterName) { |
78 | return null; | 78 | case "d": return this.fD; |
79 | default: return null; | ||
80 | } | ||
81 | } | ||
82 | |||
83 | @Override | ||
84 | public Object get(final int index) { | ||
85 | switch(index) { | ||
86 | case 0: return this.fD; | ||
87 | default: return null; | ||
88 | } | ||
79 | } | 89 | } |
80 | 90 | ||
81 | public hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir getD() { | 91 | public hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir getD() { |
@@ -461,9 +471,9 @@ public final class Dir extends BaseGeneratedEMFQuerySpecification<Dir.Matcher> { | |||
461 | } | 471 | } |
462 | 472 | ||
463 | /** | 473 | /** |
464 | * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Dir (visibility: PUBLIC, simpleName: Dir, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Dir, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)} to be created | 474 | * Inner class allowing the singleton instance of {@link Dir} to be created |
465 | * <b>not</b> at the class load time of the outer class, | 475 | * <b>not</b> at the class load time of the outer class, |
466 | * but rather at the first call to {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Dir (visibility: PUBLIC, simpleName: Dir, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Dir, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)#instance()}. | 476 | * but rather at the first call to {@link Dir#instance()}. |
467 | * | 477 | * |
468 | * <p> This workaround is required e.g. to support recursion. | 478 | * <p> This workaround is required e.g. to support recursion. |
469 | * | 479 | * |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/DirectSupertype.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/DirectSupertype.java index 03020a7c..72c31e34 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/DirectSupertype.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/DirectSupertype.java | |||
@@ -79,9 +79,20 @@ public final class DirectSupertype extends BaseGeneratedEMFQuerySpecification<Di | |||
79 | 79 | ||
80 | @Override | 80 | @Override |
81 | public Object get(final String parameterName) { | 81 | public Object get(final String parameterName) { |
82 | if ("a".equals(parameterName)) return this.fA; | 82 | switch(parameterName) { |
83 | if ("b".equals(parameterName)) return this.fB; | 83 | case "a": return this.fA; |
84 | return null; | 84 | case "b": return this.fB; |
85 | default: return null; | ||
86 | } | ||
87 | } | ||
88 | |||
89 | @Override | ||
90 | public Object get(final int index) { | ||
91 | switch(index) { | ||
92 | case 0: return this.fA; | ||
93 | case 1: return this.fB; | ||
94 | default: return null; | ||
95 | } | ||
85 | } | 96 | } |
86 | 97 | ||
87 | public EClass getA() { | 98 | public EClass getA() { |
@@ -611,9 +622,9 @@ public final class DirectSupertype extends BaseGeneratedEMFQuerySpecification<Di | |||
611 | } | 622 | } |
612 | 623 | ||
613 | /** | 624 | /** |
614 | * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.DirectSupertype (visibility: PUBLIC, simpleName: DirectSupertype, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.DirectSupertype, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)} to be created | 625 | * Inner class allowing the singleton instance of {@link DirectSupertype} to be created |
615 | * <b>not</b> at the class load time of the outer class, | 626 | * <b>not</b> at the class load time of the outer class, |
616 | * but rather at the first call to {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.DirectSupertype (visibility: PUBLIC, simpleName: DirectSupertype, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.DirectSupertype, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)#instance()}. | 627 | * but rather at the first call to {@link DirectSupertype#instance()}. |
617 | * | 628 | * |
618 | * <p> This workaround is required e.g. to support recursion. | 629 | * <p> This workaround is required e.g. to support recursion. |
619 | * | 630 | * |
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 14a4c5c0..178ec37d 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 | |||
@@ -88,9 +88,20 @@ public final class Live extends BaseGeneratedEMFQuerySpecification<Live.Matcher> | |||
88 | 88 | ||
89 | @Override | 89 | @Override |
90 | public Object get(final String parameterName) { | 90 | public Object get(final String parameterName) { |
91 | if ("this".equals(parameterName)) return this.fThis; | 91 | switch(parameterName) { |
92 | if ("l".equals(parameterName)) return this.fL; | 92 | case "this": return this.fThis; |
93 | return null; | 93 | case "l": return this.fL; |
94 | default: return null; | ||
95 | } | ||
96 | } | ||
97 | |||
98 | @Override | ||
99 | public Object get(final int index) { | ||
100 | switch(index) { | ||
101 | case 0: return this.fThis; | ||
102 | case 1: return this.fL; | ||
103 | default: return null; | ||
104 | } | ||
94 | } | 105 | } |
95 | 106 | ||
96 | public FileSystem getThis() { | 107 | public FileSystem getThis() { |
@@ -624,9 +635,9 @@ public final class Live extends BaseGeneratedEMFQuerySpecification<Live.Matcher> | |||
624 | } | 635 | } |
625 | 636 | ||
626 | /** | 637 | /** |
627 | * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Live (visibility: PUBLIC, simpleName: Live, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Live, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)} to be created | 638 | * Inner class allowing the singleton instance of {@link Live} to be created |
628 | * <b>not</b> at the class load time of the outer class, | 639 | * <b>not</b> at the class load time of the outer class, |
629 | * but rather at the first call to {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Live (visibility: PUBLIC, simpleName: Live, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Live, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)#instance()}. | 640 | * but rather at the first call to {@link Live#instance()}. |
630 | * | 641 | * |
631 | * <p> This workaround is required e.g. to support recursion. | 642 | * <p> This workaround is required e.g. to support recursion. |
632 | * | 643 | * |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/LoopInInheritence.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/LoopInInheritence.java index 51bd83a9..f81b989c 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/LoopInInheritence.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/LoopInInheritence.java | |||
@@ -79,8 +79,18 @@ public final class LoopInInheritence extends BaseGeneratedEMFQuerySpecification< | |||
79 | 79 | ||
80 | @Override | 80 | @Override |
81 | public Object get(final String parameterName) { | 81 | public Object get(final String parameterName) { |
82 | if ("a".equals(parameterName)) return this.fA; | 82 | switch(parameterName) { |
83 | return null; | 83 | case "a": return this.fA; |
84 | default: return null; | ||
85 | } | ||
86 | } | ||
87 | |||
88 | @Override | ||
89 | public Object get(final int index) { | ||
90 | switch(index) { | ||
91 | case 0: return this.fA; | ||
92 | default: return null; | ||
93 | } | ||
84 | } | 94 | } |
85 | 95 | ||
86 | public EClass getA() { | 96 | public EClass getA() { |
@@ -467,9 +477,9 @@ public final class LoopInInheritence extends BaseGeneratedEMFQuerySpecification< | |||
467 | } | 477 | } |
468 | 478 | ||
469 | /** | 479 | /** |
470 | * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.LoopInInheritence (visibility: PUBLIC, simpleName: LoopInInheritence, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.LoopInInheritence, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)} to be created | 480 | * Inner class allowing the singleton instance of {@link LoopInInheritence} to be created |
471 | * <b>not</b> at the class load time of the outer class, | 481 | * <b>not</b> at the class load time of the outer class, |
472 | * but rather at the first call to {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.LoopInInheritence (visibility: PUBLIC, simpleName: LoopInInheritence, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.LoopInInheritence, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)#instance()}. | 482 | * but rather at the first call to {@link LoopInInheritence#instance()}. |
473 | * | 483 | * |
474 | * <p> This workaround is required e.g. to support recursion. | 484 | * <p> This workaround is required e.g. to support recursion. |
475 | * | 485 | * |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/NonSymmetricOpposite.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/NonSymmetricOpposite.java index bd2833a7..53725305 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/NonSymmetricOpposite.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/NonSymmetricOpposite.java | |||
@@ -85,9 +85,20 @@ public final class NonSymmetricOpposite extends BaseGeneratedEMFQuerySpecificati | |||
85 | 85 | ||
86 | @Override | 86 | @Override |
87 | public Object get(final String parameterName) { | 87 | public Object get(final String parameterName) { |
88 | if ("a".equals(parameterName)) return this.fA; | 88 | switch(parameterName) { |
89 | if ("b".equals(parameterName)) return this.fB; | 89 | case "a": return this.fA; |
90 | return null; | 90 | case "b": return this.fB; |
91 | default: return null; | ||
92 | } | ||
93 | } | ||
94 | |||
95 | @Override | ||
96 | public Object get(final int index) { | ||
97 | switch(index) { | ||
98 | case 0: return this.fA; | ||
99 | case 1: return this.fB; | ||
100 | default: return null; | ||
101 | } | ||
91 | } | 102 | } |
92 | 103 | ||
93 | public EReference getA() { | 104 | public EReference getA() { |
@@ -619,9 +630,9 @@ public final class NonSymmetricOpposite extends BaseGeneratedEMFQuerySpecificati | |||
619 | } | 630 | } |
620 | 631 | ||
621 | /** | 632 | /** |
622 | * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.NonSymmetricOpposite (visibility: PUBLIC, simpleName: NonSymmetricOpposite, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.NonSymmetricOpposite, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)} to be created | 633 | * Inner class allowing the singleton instance of {@link NonSymmetricOpposite} to be created |
623 | * <b>not</b> at the class load time of the outer class, | 634 | * <b>not</b> at the class load time of the outer class, |
624 | * but rather at the first call to {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.NonSymmetricOpposite (visibility: PUBLIC, simpleName: NonSymmetricOpposite, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.NonSymmetricOpposite, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)#instance()}. | 635 | * but rather at the first call to {@link NonSymmetricOpposite#instance()}. |
625 | * | 636 | * |
626 | * <p> This workaround is required e.g. to support recursion. | 637 | * <p> This workaround is required e.g. to support recursion. |
627 | * | 638 | * |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Opposite.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Opposite.java index c4832370..7689d070 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Opposite.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Opposite.java | |||
@@ -80,9 +80,20 @@ public final class Opposite extends BaseGeneratedEMFQuerySpecification<Opposite. | |||
80 | 80 | ||
81 | @Override | 81 | @Override |
82 | public Object get(final String parameterName) { | 82 | public Object get(final String parameterName) { |
83 | if ("a".equals(parameterName)) return this.fA; | 83 | switch(parameterName) { |
84 | if ("b".equals(parameterName)) return this.fB; | 84 | case "a": return this.fA; |
85 | return null; | 85 | case "b": return this.fB; |
86 | default: return null; | ||
87 | } | ||
88 | } | ||
89 | |||
90 | @Override | ||
91 | public Object get(final int index) { | ||
92 | switch(index) { | ||
93 | case 0: return this.fA; | ||
94 | case 1: return this.fB; | ||
95 | default: return null; | ||
96 | } | ||
86 | } | 97 | } |
87 | 98 | ||
88 | public EReference getA() { | 99 | public EReference getA() { |
@@ -612,9 +623,9 @@ public final class Opposite extends BaseGeneratedEMFQuerySpecification<Opposite. | |||
612 | } | 623 | } |
613 | 624 | ||
614 | /** | 625 | /** |
615 | * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Opposite (visibility: PUBLIC, simpleName: Opposite, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Opposite, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)} to be created | 626 | * Inner class allowing the singleton instance of {@link Opposite} to be created |
616 | * <b>not</b> at the class load time of the outer class, | 627 | * <b>not</b> at the class load time of the outer class, |
617 | * but rather at the first call to {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Opposite (visibility: PUBLIC, simpleName: Opposite, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Opposite, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)#instance()}. | 628 | * but rather at the first call to {@link Opposite#instance()}. |
618 | * | 629 | * |
619 | * <p> This workaround is required e.g. to support recursion. | 630 | * <p> This workaround is required e.g. to support recursion. |
620 | * | 631 | * |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/OppositeDifferentClass.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/OppositeDifferentClass.java index 887f8584..aca12eca 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/OppositeDifferentClass.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/OppositeDifferentClass.java | |||
@@ -84,8 +84,18 @@ public final class OppositeDifferentClass extends BaseGeneratedEMFQuerySpecifica | |||
84 | 84 | ||
85 | @Override | 85 | @Override |
86 | public Object get(final String parameterName) { | 86 | public Object get(final String parameterName) { |
87 | if ("a".equals(parameterName)) return this.fA; | 87 | switch(parameterName) { |
88 | return null; | 88 | case "a": return this.fA; |
89 | default: return null; | ||
90 | } | ||
91 | } | ||
92 | |||
93 | @Override | ||
94 | public Object get(final int index) { | ||
95 | switch(index) { | ||
96 | case 0: return this.fA; | ||
97 | default: return null; | ||
98 | } | ||
89 | } | 99 | } |
90 | 100 | ||
91 | public EReference getA() { | 101 | public EReference getA() { |
@@ -475,9 +485,9 @@ public final class OppositeDifferentClass extends BaseGeneratedEMFQuerySpecifica | |||
475 | } | 485 | } |
476 | 486 | ||
477 | /** | 487 | /** |
478 | * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.OppositeDifferentClass (visibility: PUBLIC, simpleName: OppositeDifferentClass, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.OppositeDifferentClass, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)} to be created | 488 | * Inner class allowing the singleton instance of {@link OppositeDifferentClass} to be created |
479 | * <b>not</b> at the class load time of the outer class, | 489 | * <b>not</b> at the class load time of the outer class, |
480 | * but rather at the first call to {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.OppositeDifferentClass (visibility: PUBLIC, simpleName: OppositeDifferentClass, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.OppositeDifferentClass, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)#instance()}. | 490 | * but rather at the first call to {@link OppositeDifferentClass#instance()}. |
481 | * | 491 | * |
482 | * <p> This workaround is required e.g. to support recursion. | 492 | * <p> This workaround is required e.g. to support recursion. |
483 | * | 493 | * |
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 5410b693..bd02fa5b 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 | |||
@@ -81,9 +81,20 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
81 | 81 | ||
82 | @Override | 82 | @Override |
83 | public Object get(final String parameterName) { | 83 | public Object get(final String parameterName) { |
84 | if ("o1".equals(parameterName)) return this.fO1; | 84 | switch(parameterName) { |
85 | if ("o2".equals(parameterName)) return this.fO2; | 85 | case "o1": return this.fO1; |
86 | return null; | 86 | case "o2": return this.fO2; |
87 | default: return null; | ||
88 | } | ||
89 | } | ||
90 | |||
91 | @Override | ||
92 | public Object get(final int index) { | ||
93 | switch(index) { | ||
94 | case 0: return this.fO1; | ||
95 | case 1: return this.fO2; | ||
96 | default: return null; | ||
97 | } | ||
87 | } | 98 | } |
88 | 99 | ||
89 | public Dir getO1() { | 100 | public Dir getO1() { |
@@ -613,9 +624,9 @@ public final class PatternContent extends BaseGeneratedEMFQuerySpecification<Pat | |||
613 | } | 624 | } |
614 | 625 | ||
615 | /** | 626 | /** |
616 | * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.PatternContent (visibility: PUBLIC, simpleName: PatternContent, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.PatternContent, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)} to be created | 627 | * Inner class allowing the singleton instance of {@link PatternContent} to be created |
617 | * <b>not</b> at the class load time of the outer class, | 628 | * <b>not</b> at the class load time of the outer class, |
618 | * but rather at the first call to {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.PatternContent (visibility: PUBLIC, simpleName: PatternContent, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.PatternContent, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)#instance()}. | 629 | * but rather at the first call to {@link PatternContent#instance()}. |
619 | * | 630 | * |
620 | * <p> This workaround is required e.g. to support recursion. | 631 | * <p> This workaround is required e.g. to support recursion. |
621 | * | 632 | * |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/RootIsNotDir.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/RootIsNotDir.java index 22c31158..e2d9c175 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/RootIsNotDir.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/RootIsNotDir.java | |||
@@ -83,8 +83,18 @@ public final class RootIsNotDir extends BaseGeneratedEMFQuerySpecification<RootI | |||
83 | 83 | ||
84 | @Override | 84 | @Override |
85 | public Object get(final String parameterName) { | 85 | public Object get(final String parameterName) { |
86 | if ("fs".equals(parameterName)) return this.fFs; | 86 | switch(parameterName) { |
87 | return null; | 87 | case "fs": return this.fFs; |
88 | default: return null; | ||
89 | } | ||
90 | } | ||
91 | |||
92 | @Override | ||
93 | public Object get(final int index) { | ||
94 | switch(index) { | ||
95 | case 0: return this.fFs; | ||
96 | default: return null; | ||
97 | } | ||
88 | } | 98 | } |
89 | 99 | ||
90 | public FileSystem getFs() { | 100 | public FileSystem getFs() { |
@@ -472,9 +482,9 @@ public final class RootIsNotDir extends BaseGeneratedEMFQuerySpecification<RootI | |||
472 | } | 482 | } |
473 | 483 | ||
474 | /** | 484 | /** |
475 | * Inner class allowing the singleton instance of {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.RootIsNotDir (visibility: PUBLIC, simpleName: RootIsNotDir, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.RootIsNotDir, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)} to be created | 485 | * Inner class allowing the singleton instance of {@link RootIsNotDir} to be created |
476 | * <b>not</b> at the class load time of the outer class, | 486 | * <b>not</b> at the class load time of the outer class, |
477 | * but rather at the first call to {@link JvmGenericType: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.RootIsNotDir (visibility: PUBLIC, simpleName: RootIsNotDir, identifier: hu.bme.mit.inf.dslreasoner.domains.alloyexamples.RootIsNotDir, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples) (interface: false, strictFloatingPoint: false, anonymous: false)#instance()}. | 487 | * but rather at the first call to {@link RootIsNotDir#instance()}. |
478 | * | 488 | * |
479 | * <p> This workaround is required e.g. to support recursion. | 489 | * <p> This workaround is required e.g. to support recursion. |
480 | * | 490 | * |