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/VLSOr.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/VLSOr.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/VLSOr.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/VLSOr.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/VLSOr.java index fcbbd7cc..f254b92c 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/VLSOr.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/VLSOr.java | |||
@@ -75,8 +75,18 @@ public final class VLSOr extends BaseGeneratedEMFQuerySpecification<VLSOr.Matche | |||
75 | 75 | ||
76 | @Override | 76 | @Override |
77 | public Object get(final String parameterName) { | 77 | public Object get(final String parameterName) { |
78 | if ("term".equals(parameterName)) return this.fTerm; | 78 | switch(parameterName) { |
79 | return null; | 79 | case "term": return this.fTerm; |
80 | default: return null; | ||
81 | } | ||
82 | } | ||
83 | |||
84 | @Override | ||
85 | public Object get(final int index) { | ||
86 | switch(index) { | ||
87 | case 0: return this.fTerm; | ||
88 | default: return null; | ||
89 | } | ||
80 | } | 90 | } |
81 | 91 | ||
82 | public ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr getTerm() { | 92 | public ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr getTerm() { |
@@ -262,9 +272,9 @@ public final class VLSOr extends BaseGeneratedEMFQuerySpecification<VLSOr.Matche | |||
262 | return new Matcher(); | 272 | return new Matcher(); |
263 | } | 273 | } |
264 | 274 | ||
265 | private final static int POSITION_TERM = 0; | 275 | private static final int POSITION_TERM = 0; |
266 | 276 | ||
267 | private final static Logger LOGGER = ViatraQueryLoggingUtil.getLogger(VLSOr.Matcher.class); | 277 | private static final Logger LOGGER = ViatraQueryLoggingUtil.getLogger(VLSOr.Matcher.class); |
268 | 278 | ||
269 | /** | 279 | /** |
270 | * Initializes the pattern matcher within an existing VIATRA Query engine. | 280 | * Initializes the pattern matcher within an existing VIATRA Query engine. |
@@ -463,15 +473,15 @@ public final class VLSOr extends BaseGeneratedEMFQuerySpecification<VLSOr.Matche | |||
463 | } | 473 | } |
464 | 474 | ||
465 | /** | 475 | /** |
466 | * Inner class allowing the singleton instance of {@link JvmGenericType: ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSOr (visibility: PUBLIC, simpleName: VLSOr, identifier: ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSOr, 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 | 476 | * Inner class allowing the singleton instance of {@link VLSOr} to be created |
467 | * <b>not</b> at the class load time of the outer class, | 477 | * <b>not</b> at the class load time of the outer class, |
468 | * but rather at the first call to {@link JvmGenericType: ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSOr (visibility: PUBLIC, simpleName: VLSOr, identifier: ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries.VLSOr, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries) (interface: false, strictFloatingPoint: false, anonymous: false)#instance()}. | 478 | * but rather at the first call to {@link VLSOr#instance()}. |
469 | * | 479 | * |
470 | * <p> This workaround is required e.g. to support recursion. | 480 | * <p> This workaround is required e.g. to support recursion. |
471 | * | 481 | * |
472 | */ | 482 | */ |
473 | private static class LazyHolder { | 483 | private static class LazyHolder { |
474 | private final static VLSOr INSTANCE = new VLSOr(); | 484 | private static final VLSOr INSTANCE = new VLSOr(); |
475 | 485 | ||
476 | /** | 486 | /** |
477 | * Statically initializes the query specification <b>after</b> the field {@link #INSTANCE} is assigned. | 487 | * Statically initializes the query specification <b>after</b> the field {@link #INSTANCE} is assigned. |
@@ -480,7 +490,7 @@ public final class VLSOr extends BaseGeneratedEMFQuerySpecification<VLSOr.Matche | |||
480 | * <p> The static initializer is defined using a helper field to work around limitations of the code generator. | 490 | * <p> The static initializer is defined using a helper field to work around limitations of the code generator. |
481 | * | 491 | * |
482 | */ | 492 | */ |
483 | private final static Object STATIC_INITIALIZER = ensureInitialized(); | 493 | private static final Object STATIC_INITIALIZER = ensureInitialized(); |
484 | 494 | ||
485 | public static Object ensureInitialized() { | 495 | public static Object ensureInitialized() { |
486 | INSTANCE.ensureInitializedInternal(); | 496 | INSTANCE.ensureInitializedInternal(); |
@@ -489,7 +499,7 @@ public final class VLSOr extends BaseGeneratedEMFQuerySpecification<VLSOr.Matche | |||
489 | } | 499 | } |
490 | 500 | ||
491 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 501 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
492 | private final static VLSOr.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 502 | private static final VLSOr.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
493 | 503 | ||
494 | private final PParameter parameter_term = new PParameter("term", "ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.mcgill.ca/ecse/dslreasoner/VampireLanguage", "VLSOr")), PParameterDirection.INOUT); | 504 | private final PParameter parameter_term = new PParameter("term", "ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.mcgill.ca/ecse/dslreasoner/VampireLanguage", "VLSOr")), PParameterDirection.INOUT); |
495 | 505 | ||