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