diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Live.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Live.java | 21 |
1 files changed, 16 insertions, 5 deletions
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 | * |