diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl')
2 files changed, 141 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java index 4b7061ce..dd744606 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java | |||
@@ -59,6 +59,9 @@ import org.eclipse.emf.ecore.util.InternalEList; | |||
59 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewIntegers <em>Max New Integers</em>}</li> | 59 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewIntegers <em>Max New Integers</em>}</li> |
60 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewReals <em>Max New Reals</em>}</li> | 60 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewReals <em>Max New Reals</em>}</li> |
61 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewStrings <em>Max New Strings</em>}</li> | 61 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewStrings <em>Max New Strings</em>}</li> |
62 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewStrings <em>New Strings</em>}</li> | ||
63 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewReals <em>New Reals</em>}</li> | ||
64 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewIntegers <em>New Integers</em>}</li> | ||
62 | * </ul> | 65 | * </ul> |
63 | * | 66 | * |
64 | * @generated | 67 | * @generated |
@@ -295,6 +298,36 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
295 | protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT; | 298 | protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT; |
296 | 299 | ||
297 | /** | 300 | /** |
301 | * The cached value of the '{@link #getNewStrings() <em>New Strings</em>}' containment reference list. | ||
302 | * <!-- begin-user-doc --> | ||
303 | * <!-- end-user-doc --> | ||
304 | * @see #getNewStrings() | ||
305 | * @generated | ||
306 | * @ordered | ||
307 | */ | ||
308 | protected EList<StringElement> newStrings; | ||
309 | |||
310 | /** | ||
311 | * The cached value of the '{@link #getNewReals() <em>New Reals</em>}' containment reference list. | ||
312 | * <!-- begin-user-doc --> | ||
313 | * <!-- end-user-doc --> | ||
314 | * @see #getNewReals() | ||
315 | * @generated | ||
316 | * @ordered | ||
317 | */ | ||
318 | protected EList<RealElement> newReals; | ||
319 | |||
320 | /** | ||
321 | * The cached value of the '{@link #getNewIntegers() <em>New Integers</em>}' containment reference list. | ||
322 | * <!-- begin-user-doc --> | ||
323 | * <!-- end-user-doc --> | ||
324 | * @see #getNewIntegers() | ||
325 | * @generated | ||
326 | * @ordered | ||
327 | */ | ||
328 | protected EList<IntegerElement> newIntegers; | ||
329 | |||
330 | /** | ||
298 | * <!-- begin-user-doc --> | 331 | * <!-- begin-user-doc --> |
299 | * <!-- end-user-doc --> | 332 | * <!-- end-user-doc --> |
300 | * @generated | 333 | * @generated |
@@ -636,6 +669,42 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
636 | * <!-- end-user-doc --> | 669 | * <!-- end-user-doc --> |
637 | * @generated | 670 | * @generated |
638 | */ | 671 | */ |
672 | public EList<StringElement> getNewStrings() { | ||
673 | if (newStrings == null) { | ||
674 | newStrings = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS); | ||
675 | } | ||
676 | return newStrings; | ||
677 | } | ||
678 | |||
679 | /** | ||
680 | * <!-- begin-user-doc --> | ||
681 | * <!-- end-user-doc --> | ||
682 | * @generated | ||
683 | */ | ||
684 | public EList<RealElement> getNewReals() { | ||
685 | if (newReals == null) { | ||
686 | newReals = new EObjectContainmentEList<RealElement>(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS); | ||
687 | } | ||
688 | return newReals; | ||
689 | } | ||
690 | |||
691 | /** | ||
692 | * <!-- begin-user-doc --> | ||
693 | * <!-- end-user-doc --> | ||
694 | * @generated | ||
695 | */ | ||
696 | public EList<IntegerElement> getNewIntegers() { | ||
697 | if (newIntegers == null) { | ||
698 | newIntegers = new EObjectContainmentEList<IntegerElement>(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS); | ||
699 | } | ||
700 | return newIntegers; | ||
701 | } | ||
702 | |||
703 | /** | ||
704 | * <!-- begin-user-doc --> | ||
705 | * <!-- end-user-doc --> | ||
706 | * @generated | ||
707 | */ | ||
639 | @Override | 708 | @Override |
640 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | 709 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { |
641 | switch (featureID) { | 710 | switch (featureID) { |
@@ -663,6 +732,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
663 | return ((InternalEList<?>)getIntegerelements()).basicRemove(otherEnd, msgs); | 732 | return ((InternalEList<?>)getIntegerelements()).basicRemove(otherEnd, msgs); |
664 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: | 733 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: |
665 | return ((InternalEList<?>)getBooleanelements()).basicRemove(otherEnd, msgs); | 734 | return ((InternalEList<?>)getBooleanelements()).basicRemove(otherEnd, msgs); |
735 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
736 | return ((InternalEList<?>)getNewStrings()).basicRemove(otherEnd, msgs); | ||
737 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | ||
738 | return ((InternalEList<?>)getNewReals()).basicRemove(otherEnd, msgs); | ||
739 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | ||
740 | return ((InternalEList<?>)getNewIntegers()).basicRemove(otherEnd, msgs); | ||
666 | } | 741 | } |
667 | return super.eInverseRemove(otherEnd, featureID, msgs); | 742 | return super.eInverseRemove(otherEnd, featureID, msgs); |
668 | } | 743 | } |
@@ -712,6 +787,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
712 | return getMaxNewReals(); | 787 | return getMaxNewReals(); |
713 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | 788 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: |
714 | return getMaxNewStrings(); | 789 | return getMaxNewStrings(); |
790 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
791 | return getNewStrings(); | ||
792 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | ||
793 | return getNewReals(); | ||
794 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | ||
795 | return getNewIntegers(); | ||
715 | } | 796 | } |
716 | return super.eGet(featureID, resolve, coreType); | 797 | return super.eGet(featureID, resolve, coreType); |
717 | } | 798 | } |
@@ -790,6 +871,18 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
790 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | 871 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: |
791 | setMaxNewStrings((Integer)newValue); | 872 | setMaxNewStrings((Integer)newValue); |
792 | return; | 873 | return; |
874 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
875 | getNewStrings().clear(); | ||
876 | getNewStrings().addAll((Collection<? extends StringElement>)newValue); | ||
877 | return; | ||
878 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | ||
879 | getNewReals().clear(); | ||
880 | getNewReals().addAll((Collection<? extends RealElement>)newValue); | ||
881 | return; | ||
882 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | ||
883 | getNewIntegers().clear(); | ||
884 | getNewIntegers().addAll((Collection<? extends IntegerElement>)newValue); | ||
885 | return; | ||
793 | } | 886 | } |
794 | super.eSet(featureID, newValue); | 887 | super.eSet(featureID, newValue); |
795 | } | 888 | } |
@@ -856,6 +949,15 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
856 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | 949 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: |
857 | setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT); | 950 | setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT); |
858 | return; | 951 | return; |
952 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
953 | getNewStrings().clear(); | ||
954 | return; | ||
955 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | ||
956 | getNewReals().clear(); | ||
957 | return; | ||
958 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | ||
959 | getNewIntegers().clear(); | ||
960 | return; | ||
859 | } | 961 | } |
860 | super.eUnset(featureID); | 962 | super.eUnset(featureID); |
861 | } | 963 | } |
@@ -904,6 +1006,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
904 | return maxNewReals != MAX_NEW_REALS_EDEFAULT; | 1006 | return maxNewReals != MAX_NEW_REALS_EDEFAULT; |
905 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | 1007 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: |
906 | return maxNewStrings != MAX_NEW_STRINGS_EDEFAULT; | 1008 | return maxNewStrings != MAX_NEW_STRINGS_EDEFAULT; |
1009 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
1010 | return newStrings != null && !newStrings.isEmpty(); | ||
1011 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | ||
1012 | return newReals != null && !newReals.isEmpty(); | ||
1013 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | ||
1014 | return newIntegers != null && !newIntegers.isEmpty(); | ||
907 | } | 1015 | } |
908 | return super.eIsSet(featureID); | 1016 | return super.eIsSet(featureID); |
909 | } | 1017 | } |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java index 9493cc9a..6e0d4051 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java | |||
@@ -384,6 +384,33 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
384 | * <!-- end-user-doc --> | 384 | * <!-- end-user-doc --> |
385 | * @generated | 385 | * @generated |
386 | */ | 386 | */ |
387 | public EReference getPartialInterpretation_NewStrings() { | ||
388 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(18); | ||
389 | } | ||
390 | |||
391 | /** | ||
392 | * <!-- begin-user-doc --> | ||
393 | * <!-- end-user-doc --> | ||
394 | * @generated | ||
395 | */ | ||
396 | public EReference getPartialInterpretation_NewReals() { | ||
397 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(19); | ||
398 | } | ||
399 | |||
400 | /** | ||
401 | * <!-- begin-user-doc --> | ||
402 | * <!-- end-user-doc --> | ||
403 | * @generated | ||
404 | */ | ||
405 | public EReference getPartialInterpretation_NewIntegers() { | ||
406 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(20); | ||
407 | } | ||
408 | |||
409 | /** | ||
410 | * <!-- begin-user-doc --> | ||
411 | * <!-- end-user-doc --> | ||
412 | * @generated | ||
413 | */ | ||
387 | public EClass getPartialConstantInterpretation() { | 414 | public EClass getPartialConstantInterpretation() { |
388 | return partialConstantInterpretationEClass; | 415 | return partialConstantInterpretationEClass; |
389 | } | 416 | } |
@@ -723,6 +750,9 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
723 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS); | 750 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS); |
724 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_REALS); | 751 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_REALS); |
725 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_STRINGS); | 752 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_STRINGS); |
753 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_STRINGS); | ||
754 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_REALS); | ||
755 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_INTEGERS); | ||
726 | 756 | ||
727 | partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION); | 757 | partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION); |
728 | createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF); | 758 | createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF); |
@@ -833,6 +863,9 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
833 | initEAttribute(getPartialInterpretation_MaxNewIntegers(), ecorePackage.getEInt(), "maxNewIntegers", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 863 | initEAttribute(getPartialInterpretation_MaxNewIntegers(), ecorePackage.getEInt(), "maxNewIntegers", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
834 | initEAttribute(getPartialInterpretation_MaxNewReals(), ecorePackage.getEInt(), "maxNewReals", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 864 | initEAttribute(getPartialInterpretation_MaxNewReals(), ecorePackage.getEInt(), "maxNewReals", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
835 | initEAttribute(getPartialInterpretation_MaxNewStrings(), ecorePackage.getEInt(), "maxNewStrings", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 865 | initEAttribute(getPartialInterpretation_MaxNewStrings(), ecorePackage.getEInt(), "maxNewStrings", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
866 | initEReference(getPartialInterpretation_NewStrings(), this.getStringElement(), null, "newStrings", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
867 | initEReference(getPartialInterpretation_NewReals(), this.getRealElement(), null, "newReals", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
868 | initEReference(getPartialInterpretation_NewIntegers(), this.getIntegerElement(), null, "newIntegers", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
836 | 869 | ||
837 | initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 870 | initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
838 | initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 871 | initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |