diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-06 19:19:18 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-06 19:19:18 -0400 |
commit | 8ecc73c4f8cd83d0ae807a55223f38a9b00505a9 (patch) | |
tree | 02a6e7ddd6bebab8f051700f781e1038421b6449 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/VLSEquivalent.java | |
parent | VAMPIRE: last commit (diff) | |
download | VIATRA-Generator-8ecc73c4f8cd83d0ae807a55223f38a9b00505a9.tar.gz VIATRA-Generator-8ecc73c4f8cd83d0ae807a55223f38a9b00505a9.tar.zst VIATRA-Generator-8ecc73c4f8cd83d0ae807a55223f38a9b00505a9.zip |
VAMPIRE: Rebase on Master
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/VLSEquivalent.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/VLSEquivalent.java | 28 |
1 files changed, 19 insertions, 9 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/VLSEquivalent.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/VLSEquivalent.java index e8e1475f..3ed03d34 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/VLSEquivalent.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/VLSEquivalent.java | |||
@@ -74,8 +74,18 @@ public final class VLSEquivalent extends BaseGeneratedEMFQuerySpecification<VLSE | |||
74 | 74 | ||
75 | @Override | 75 | @Override |
76 | public Object get(final String parameterName) { | 76 | public Object get(final String parameterName) { |
77 | if ("term".equals(parameterName)) return this.fTerm; | 77 | switch(parameterName) { |
78 | return null; | 78 | case "term": return this.fTerm; |
79 | default: return null; | ||
80 | } | ||
81 | } | ||
82 | |||
83 | @Override | ||
84 | public Object get(final int index) { | ||
85 | switch(index) { | ||
86 | case 0: return this.fTerm; | ||
87 | default: return null; | ||
88 | } | ||
79 | } | 89 | } |
80 | 90 | ||
81 | public ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent getTerm() { | 91 | public ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent getTerm() { |
@@ -260,9 +270,9 @@ public final class VLSEquivalent extends BaseGeneratedEMFQuerySpecification<VLSE | |||
260 | return new Matcher(); | 270 | return new Matcher(); |
261 | } | 271 | } |
262 | 272 | ||
263 | private final static int POSITION_TERM = 0; | 273 | private static final int POSITION_TERM = 0; |
264 | 274 | ||
265 | private final static Logger LOGGER = ViatraQueryLoggingUtil.getLogger(VLSEquivalent.Matcher.class); | 275 | private static final Logger LOGGER = ViatraQueryLoggingUtil.getLogger(VLSEquivalent.Matcher.class); |
266 | 276 | ||
267 | /** | 277 | /** |
268 | * Initializes the pattern matcher within an existing VIATRA Query engine. | 278 | * Initializes the pattern matcher within an existing VIATRA Query engine. |
@@ -461,15 +471,15 @@ public final class VLSEquivalent extends BaseGeneratedEMFQuerySpecification<VLSE | |||
461 | } | 471 | } |
462 | 472 | ||
463 | /** | 473 | /** |
464 | * Inner class allowing the singleton instance of {@link JvmGenericType: ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSEquivalent (visibility: PUBLIC, simpleName: VLSEquivalent, identifier: ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSEquivalent, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries) (interface: false, strictFloatingPoint: false, anonymous: false)} to be created | 474 | * Inner class allowing the singleton instance of {@link VLSEquivalent} 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: ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSEquivalent (visibility: PUBLIC, simpleName: VLSEquivalent, identifier: ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSEquivalent, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries) (interface: false, strictFloatingPoint: false, anonymous: false)#instance()}. | 476 | * but rather at the first call to {@link VLSEquivalent#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 | * |
470 | */ | 480 | */ |
471 | private static class LazyHolder { | 481 | private static class LazyHolder { |
472 | private final static VLSEquivalent INSTANCE = new VLSEquivalent(); | 482 | private static final VLSEquivalent INSTANCE = new VLSEquivalent(); |
473 | 483 | ||
474 | /** | 484 | /** |
475 | * Statically initializes the query specification <b>after</b> the field {@link #INSTANCE} is assigned. | 485 | * Statically initializes the query specification <b>after</b> the field {@link #INSTANCE} is assigned. |
@@ -478,7 +488,7 @@ public final class VLSEquivalent extends BaseGeneratedEMFQuerySpecification<VLSE | |||
478 | * <p> The static initializer is defined using a helper field to work around limitations of the code generator. | 488 | * <p> The static initializer is defined using a helper field to work around limitations of the code generator. |
479 | * | 489 | * |
480 | */ | 490 | */ |
481 | private final static Object STATIC_INITIALIZER = ensureInitialized(); | 491 | private static final Object STATIC_INITIALIZER = ensureInitialized(); |
482 | 492 | ||
483 | public static Object ensureInitialized() { | 493 | public static Object ensureInitialized() { |
484 | INSTANCE.ensureInitializedInternal(); | 494 | INSTANCE.ensureInitializedInternal(); |
@@ -487,7 +497,7 @@ public final class VLSEquivalent extends BaseGeneratedEMFQuerySpecification<VLSE | |||
487 | } | 497 | } |
488 | 498 | ||
489 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 499 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
490 | private final static VLSEquivalent.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 500 | private static final VLSEquivalent.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
491 | 501 | ||
492 | private final PParameter parameter_term = new PParameter("term", "ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.mcgill.ca/ecse/dslreasoner/VampireLanguage", "VLSEquivalent")), PParameterDirection.INOUT); | 502 | private final PParameter parameter_term = new PParameter("term", "ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.mcgill.ca/ecse/dslreasoner/VampireLanguage", "VLSEquivalent")), PParameterDirection.INOUT); |
493 | 503 | ||