diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen')
8 files changed, 653 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java index 0d1061d7..57b263aa 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java | |||
@@ -400,6 +400,15 @@ public interface LogiclanguageFactory extends EFactory { | |||
400 | StringLiteral createStringLiteral(); | 400 | StringLiteral createStringLiteral(); |
401 | 401 | ||
402 | /** | 402 | /** |
403 | * Returns a new object of class '<em>Transitive Closure</em>'. | ||
404 | * <!-- begin-user-doc --> | ||
405 | * <!-- end-user-doc --> | ||
406 | * @return a new object of class '<em>Transitive Closure</em>'. | ||
407 | * @generated | ||
408 | */ | ||
409 | TransitiveClosure createTransitiveClosure(); | ||
410 | |||
411 | /** | ||
403 | * Returns the package supported by this factory. | 412 | * Returns the package supported by this factory. |
404 | * <!-- begin-user-doc --> | 413 | * <!-- begin-user-doc --> |
405 | * <!-- end-user-doc --> | 414 | * <!-- end-user-doc --> |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java index 4e8cdcdc..59bb841a 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java | |||
@@ -2630,6 +2630,62 @@ public interface LogiclanguagePackage extends EPackage { | |||
2630 | 2630 | ||
2631 | 2631 | ||
2632 | /** | 2632 | /** |
2633 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl <em>Transitive Closure</em>}' class. | ||
2634 | * <!-- begin-user-doc --> | ||
2635 | * <!-- end-user-doc --> | ||
2636 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl | ||
2637 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTransitiveClosure() | ||
2638 | * @generated | ||
2639 | */ | ||
2640 | int TRANSITIVE_CLOSURE = 57; | ||
2641 | |||
2642 | /** | ||
2643 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | ||
2644 | * <!-- begin-user-doc --> | ||
2645 | * <!-- end-user-doc --> | ||
2646 | * @generated | ||
2647 | * @ordered | ||
2648 | */ | ||
2649 | int TRANSITIVE_CLOSURE__LEFT_OPERAND = 0; | ||
2650 | |||
2651 | /** | ||
2652 | * The feature id for the '<em><b>Right Operand</b></em>' containment reference. | ||
2653 | * <!-- begin-user-doc --> | ||
2654 | * <!-- end-user-doc --> | ||
2655 | * @generated | ||
2656 | * @ordered | ||
2657 | */ | ||
2658 | int TRANSITIVE_CLOSURE__RIGHT_OPERAND = 1; | ||
2659 | |||
2660 | /** | ||
2661 | * The feature id for the '<em><b>Relation</b></em>' reference. | ||
2662 | * <!-- begin-user-doc --> | ||
2663 | * <!-- end-user-doc --> | ||
2664 | * @generated | ||
2665 | * @ordered | ||
2666 | */ | ||
2667 | int TRANSITIVE_CLOSURE__RELATION = 2; | ||
2668 | |||
2669 | /** | ||
2670 | * The number of structural features of the '<em>Transitive Closure</em>' class. | ||
2671 | * <!-- begin-user-doc --> | ||
2672 | * <!-- end-user-doc --> | ||
2673 | * @generated | ||
2674 | * @ordered | ||
2675 | */ | ||
2676 | int TRANSITIVE_CLOSURE_FEATURE_COUNT = 3; | ||
2677 | |||
2678 | /** | ||
2679 | * The number of operations of the '<em>Transitive Closure</em>' class. | ||
2680 | * <!-- begin-user-doc --> | ||
2681 | * <!-- end-user-doc --> | ||
2682 | * @generated | ||
2683 | * @ordered | ||
2684 | */ | ||
2685 | int TRANSITIVE_CLOSURE_OPERATION_COUNT = 0; | ||
2686 | |||
2687 | |||
2688 | /** | ||
2633 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type <em>Type</em>}'. | 2689 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type <em>Type</em>}'. |
2634 | * <!-- begin-user-doc --> | 2690 | * <!-- begin-user-doc --> |
2635 | * <!-- end-user-doc --> | 2691 | * <!-- end-user-doc --> |
@@ -3871,6 +3927,49 @@ public interface LogiclanguagePackage extends EPackage { | |||
3871 | EAttribute getStringLiteral_Value(); | 3927 | EAttribute getStringLiteral_Value(); |
3872 | 3928 | ||
3873 | /** | 3929 | /** |
3930 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure <em>Transitive Closure</em>}'. | ||
3931 | * <!-- begin-user-doc --> | ||
3932 | * <!-- end-user-doc --> | ||
3933 | * @return the meta object for class '<em>Transitive Closure</em>'. | ||
3934 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure | ||
3935 | * @generated | ||
3936 | */ | ||
3937 | EClass getTransitiveClosure(); | ||
3938 | |||
3939 | /** | ||
3940 | * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getLeftOperand <em>Left Operand</em>}'. | ||
3941 | * <!-- begin-user-doc --> | ||
3942 | * <!-- end-user-doc --> | ||
3943 | * @return the meta object for the containment reference '<em>Left Operand</em>'. | ||
3944 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getLeftOperand() | ||
3945 | * @see #getTransitiveClosure() | ||
3946 | * @generated | ||
3947 | */ | ||
3948 | EReference getTransitiveClosure_LeftOperand(); | ||
3949 | |||
3950 | /** | ||
3951 | * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRightOperand <em>Right Operand</em>}'. | ||
3952 | * <!-- begin-user-doc --> | ||
3953 | * <!-- end-user-doc --> | ||
3954 | * @return the meta object for the containment reference '<em>Right Operand</em>'. | ||
3955 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRightOperand() | ||
3956 | * @see #getTransitiveClosure() | ||
3957 | * @generated | ||
3958 | */ | ||
3959 | EReference getTransitiveClosure_RightOperand(); | ||
3960 | |||
3961 | /** | ||
3962 | * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRelation <em>Relation</em>}'. | ||
3963 | * <!-- begin-user-doc --> | ||
3964 | * <!-- end-user-doc --> | ||
3965 | * @return the meta object for the reference '<em>Relation</em>'. | ||
3966 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRelation() | ||
3967 | * @see #getTransitiveClosure() | ||
3968 | * @generated | ||
3969 | */ | ||
3970 | EReference getTransitiveClosure_Relation(); | ||
3971 | |||
3972 | /** | ||
3874 | * Returns the factory that creates the instances of the model. | 3973 | * Returns the factory that creates the instances of the model. |
3875 | * <!-- begin-user-doc --> | 3974 | * <!-- begin-user-doc --> |
3876 | * <!-- end-user-doc --> | 3975 | * <!-- end-user-doc --> |
@@ -4951,6 +5050,40 @@ public interface LogiclanguagePackage extends EPackage { | |||
4951 | */ | 5050 | */ |
4952 | EAttribute STRING_LITERAL__VALUE = eINSTANCE.getStringLiteral_Value(); | 5051 | EAttribute STRING_LITERAL__VALUE = eINSTANCE.getStringLiteral_Value(); |
4953 | 5052 | ||
5053 | /** | ||
5054 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl <em>Transitive Closure</em>}' class. | ||
5055 | * <!-- begin-user-doc --> | ||
5056 | * <!-- end-user-doc --> | ||
5057 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl | ||
5058 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTransitiveClosure() | ||
5059 | * @generated | ||
5060 | */ | ||
5061 | EClass TRANSITIVE_CLOSURE = eINSTANCE.getTransitiveClosure(); | ||
5062 | |||
5063 | /** | ||
5064 | * The meta object literal for the '<em><b>Left Operand</b></em>' containment reference feature. | ||
5065 | * <!-- begin-user-doc --> | ||
5066 | * <!-- end-user-doc --> | ||
5067 | * @generated | ||
5068 | */ | ||
5069 | EReference TRANSITIVE_CLOSURE__LEFT_OPERAND = eINSTANCE.getTransitiveClosure_LeftOperand(); | ||
5070 | |||
5071 | /** | ||
5072 | * The meta object literal for the '<em><b>Right Operand</b></em>' containment reference feature. | ||
5073 | * <!-- begin-user-doc --> | ||
5074 | * <!-- end-user-doc --> | ||
5075 | * @generated | ||
5076 | */ | ||
5077 | EReference TRANSITIVE_CLOSURE__RIGHT_OPERAND = eINSTANCE.getTransitiveClosure_RightOperand(); | ||
5078 | |||
5079 | /** | ||
5080 | * The meta object literal for the '<em><b>Relation</b></em>' reference feature. | ||
5081 | * <!-- begin-user-doc --> | ||
5082 | * <!-- end-user-doc --> | ||
5083 | * @generated | ||
5084 | */ | ||
5085 | EReference TRANSITIVE_CLOSURE__RELATION = eINSTANCE.getTransitiveClosure_Relation(); | ||
5086 | |||
4954 | } | 5087 | } |
4955 | 5088 | ||
4956 | } //LogiclanguagePackage | 5089 | } //LogiclanguagePackage |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/TransitiveClosure.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/TransitiveClosure.java new file mode 100644 index 00000000..92c80341 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/TransitiveClosure.java | |||
@@ -0,0 +1,104 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EObject; | ||
6 | |||
7 | /** | ||
8 | * <!-- begin-user-doc --> | ||
9 | * A representation of the model object '<em><b>Transitive Closure</b></em>'. | ||
10 | * <!-- end-user-doc --> | ||
11 | * | ||
12 | * <p> | ||
13 | * The following features are supported: | ||
14 | * </p> | ||
15 | * <ul> | ||
16 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getLeftOperand <em>Left Operand</em>}</li> | ||
17 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRightOperand <em>Right Operand</em>}</li> | ||
18 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRelation <em>Relation</em>}</li> | ||
19 | * </ul> | ||
20 | * | ||
21 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getTransitiveClosure() | ||
22 | * @model | ||
23 | * @generated | ||
24 | */ | ||
25 | public interface TransitiveClosure extends EObject { | ||
26 | /** | ||
27 | * Returns the value of the '<em><b>Left Operand</b></em>' containment reference. | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <p> | ||
30 | * If the meaning of the '<em>Left Operand</em>' containment reference isn't clear, | ||
31 | * there really should be more of a description here... | ||
32 | * </p> | ||
33 | * <!-- end-user-doc --> | ||
34 | * @return the value of the '<em>Left Operand</em>' containment reference. | ||
35 | * @see #setLeftOperand(Term) | ||
36 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getTransitiveClosure_LeftOperand() | ||
37 | * @model containment="true" | ||
38 | * @generated | ||
39 | */ | ||
40 | Term getLeftOperand(); | ||
41 | |||
42 | /** | ||
43 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getLeftOperand <em>Left Operand</em>}' containment reference. | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @param value the new value of the '<em>Left Operand</em>' containment reference. | ||
47 | * @see #getLeftOperand() | ||
48 | * @generated | ||
49 | */ | ||
50 | void setLeftOperand(Term value); | ||
51 | |||
52 | /** | ||
53 | * Returns the value of the '<em><b>Right Operand</b></em>' containment reference. | ||
54 | * <!-- begin-user-doc --> | ||
55 | * <p> | ||
56 | * If the meaning of the '<em>Right Operand</em>' containment reference isn't clear, | ||
57 | * there really should be more of a description here... | ||
58 | * </p> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @return the value of the '<em>Right Operand</em>' containment reference. | ||
61 | * @see #setRightOperand(Term) | ||
62 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getTransitiveClosure_RightOperand() | ||
63 | * @model containment="true" | ||
64 | * @generated | ||
65 | */ | ||
66 | Term getRightOperand(); | ||
67 | |||
68 | /** | ||
69 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRightOperand <em>Right Operand</em>}' containment reference. | ||
70 | * <!-- begin-user-doc --> | ||
71 | * <!-- end-user-doc --> | ||
72 | * @param value the new value of the '<em>Right Operand</em>' containment reference. | ||
73 | * @see #getRightOperand() | ||
74 | * @generated | ||
75 | */ | ||
76 | void setRightOperand(Term value); | ||
77 | |||
78 | /** | ||
79 | * Returns the value of the '<em><b>Relation</b></em>' reference. | ||
80 | * <!-- begin-user-doc --> | ||
81 | * <p> | ||
82 | * If the meaning of the '<em>Relation</em>' reference isn't clear, | ||
83 | * there really should be more of a description here... | ||
84 | * </p> | ||
85 | * <!-- end-user-doc --> | ||
86 | * @return the value of the '<em>Relation</em>' reference. | ||
87 | * @see #setRelation(Relation) | ||
88 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getTransitiveClosure_Relation() | ||
89 | * @model | ||
90 | * @generated | ||
91 | */ | ||
92 | Relation getRelation(); | ||
93 | |||
94 | /** | ||
95 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRelation <em>Relation</em>}' reference. | ||
96 | * <!-- begin-user-doc --> | ||
97 | * <!-- end-user-doc --> | ||
98 | * @param value the new value of the '<em>Relation</em>' reference. | ||
99 | * @see #getRelation() | ||
100 | * @generated | ||
101 | */ | ||
102 | void setRelation(Relation value); | ||
103 | |||
104 | } // TransitiveClosure | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java index b4d03cfd..0ad07f55 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java | |||
@@ -98,6 +98,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
98 | case LogiclanguagePackage.INSTANCE_OF: return createInstanceOf(); | 98 | case LogiclanguagePackage.INSTANCE_OF: return createInstanceOf(); |
99 | case LogiclanguagePackage.STRING_TYPE_REFERENCE: return createStringTypeReference(); | 99 | case LogiclanguagePackage.STRING_TYPE_REFERENCE: return createStringTypeReference(); |
100 | case LogiclanguagePackage.STRING_LITERAL: return createStringLiteral(); | 100 | case LogiclanguagePackage.STRING_LITERAL: return createStringLiteral(); |
101 | case LogiclanguagePackage.TRANSITIVE_CLOSURE: return createTransitiveClosure(); | ||
101 | default: | 102 | default: |
102 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | 103 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); |
103 | } | 104 | } |
@@ -528,6 +529,16 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
528 | * <!-- end-user-doc --> | 529 | * <!-- end-user-doc --> |
529 | * @generated | 530 | * @generated |
530 | */ | 531 | */ |
532 | public TransitiveClosure createTransitiveClosure() { | ||
533 | TransitiveClosureImpl transitiveClosure = new TransitiveClosureImpl(); | ||
534 | return transitiveClosure; | ||
535 | } | ||
536 | |||
537 | /** | ||
538 | * <!-- begin-user-doc --> | ||
539 | * <!-- end-user-doc --> | ||
540 | * @generated | ||
541 | */ | ||
531 | public LogiclanguagePackage getLogiclanguagePackage() { | 542 | public LogiclanguagePackage getLogiclanguagePackage() { |
532 | return (LogiclanguagePackage)getEPackage(); | 543 | return (LogiclanguagePackage)getEPackage(); |
533 | } | 544 | } |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java index 8bc329d5..73560344 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java | |||
@@ -54,6 +54,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration; | |||
54 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue; | 54 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue; |
55 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term; | 55 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term; |
56 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription; | 56 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription; |
57 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure; | ||
57 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | 58 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; |
58 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration; | 59 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration; |
59 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition; | 60 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition; |
@@ -484,6 +485,13 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
484 | private EClass stringLiteralEClass = null; | 485 | private EClass stringLiteralEClass = null; |
485 | 486 | ||
486 | /** | 487 | /** |
488 | * <!-- begin-user-doc --> | ||
489 | * <!-- end-user-doc --> | ||
490 | * @generated | ||
491 | */ | ||
492 | private EClass transitiveClosureEClass = null; | ||
493 | |||
494 | /** | ||
487 | * Creates an instance of the model <b>Package</b>, registered with | 495 | * Creates an instance of the model <b>Package</b>, registered with |
488 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | 496 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package |
489 | * package URI value. | 497 | * package URI value. |
@@ -1619,6 +1627,42 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
1619 | * <!-- end-user-doc --> | 1627 | * <!-- end-user-doc --> |
1620 | * @generated | 1628 | * @generated |
1621 | */ | 1629 | */ |
1630 | public EClass getTransitiveClosure() { | ||
1631 | return transitiveClosureEClass; | ||
1632 | } | ||
1633 | |||
1634 | /** | ||
1635 | * <!-- begin-user-doc --> | ||
1636 | * <!-- end-user-doc --> | ||
1637 | * @generated | ||
1638 | */ | ||
1639 | public EReference getTransitiveClosure_LeftOperand() { | ||
1640 | return (EReference)transitiveClosureEClass.getEStructuralFeatures().get(0); | ||
1641 | } | ||
1642 | |||
1643 | /** | ||
1644 | * <!-- begin-user-doc --> | ||
1645 | * <!-- end-user-doc --> | ||
1646 | * @generated | ||
1647 | */ | ||
1648 | public EReference getTransitiveClosure_RightOperand() { | ||
1649 | return (EReference)transitiveClosureEClass.getEStructuralFeatures().get(1); | ||
1650 | } | ||
1651 | |||
1652 | /** | ||
1653 | * <!-- begin-user-doc --> | ||
1654 | * <!-- end-user-doc --> | ||
1655 | * @generated | ||
1656 | */ | ||
1657 | public EReference getTransitiveClosure_Relation() { | ||
1658 | return (EReference)transitiveClosureEClass.getEStructuralFeatures().get(2); | ||
1659 | } | ||
1660 | |||
1661 | /** | ||
1662 | * <!-- begin-user-doc --> | ||
1663 | * <!-- end-user-doc --> | ||
1664 | * @generated | ||
1665 | */ | ||
1622 | public LogiclanguageFactory getLogiclanguageFactory() { | 1666 | public LogiclanguageFactory getLogiclanguageFactory() { |
1623 | return (LogiclanguageFactory)getEFactoryInstance(); | 1667 | return (LogiclanguageFactory)getEFactoryInstance(); |
1624 | } | 1668 | } |
@@ -1816,6 +1860,11 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
1816 | 1860 | ||
1817 | stringLiteralEClass = createEClass(STRING_LITERAL); | 1861 | stringLiteralEClass = createEClass(STRING_LITERAL); |
1818 | createEAttribute(stringLiteralEClass, STRING_LITERAL__VALUE); | 1862 | createEAttribute(stringLiteralEClass, STRING_LITERAL__VALUE); |
1863 | |||
1864 | transitiveClosureEClass = createEClass(TRANSITIVE_CLOSURE); | ||
1865 | createEReference(transitiveClosureEClass, TRANSITIVE_CLOSURE__LEFT_OPERAND); | ||
1866 | createEReference(transitiveClosureEClass, TRANSITIVE_CLOSURE__RIGHT_OPERAND); | ||
1867 | createEReference(transitiveClosureEClass, TRANSITIVE_CLOSURE__RELATION); | ||
1819 | } | 1868 | } |
1820 | 1869 | ||
1821 | /** | 1870 | /** |
@@ -2080,6 +2129,11 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu | |||
2080 | initEClass(stringLiteralEClass, StringLiteral.class, "StringLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2129 | initEClass(stringLiteralEClass, StringLiteral.class, "StringLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2081 | initEAttribute(getStringLiteral_Value(), ecorePackage.getEString(), "value", null, 1, 1, StringLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2130 | initEAttribute(getStringLiteral_Value(), ecorePackage.getEString(), "value", null, 1, 1, StringLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2082 | 2131 | ||
2132 | initEClass(transitiveClosureEClass, TransitiveClosure.class, "TransitiveClosure", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2133 | initEReference(getTransitiveClosure_LeftOperand(), this.getTerm(), null, "leftOperand", null, 0, 1, TransitiveClosure.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2134 | initEReference(getTransitiveClosure_RightOperand(), this.getTerm(), null, "rightOperand", null, 0, 1, TransitiveClosure.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2135 | initEReference(getTransitiveClosure_Relation(), this.getRelation(), null, "relation", null, 0, 1, TransitiveClosure.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2136 | |||
2083 | // Create resource | 2137 | // Create resource |
2084 | createResource(eNS_URI); | 2138 | createResource(eNS_URI); |
2085 | } | 2139 | } |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java new file mode 100644 index 00000000..9633334b --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java | |||
@@ -0,0 +1,303 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure; | ||
9 | |||
10 | import org.eclipse.emf.common.notify.Notification; | ||
11 | import org.eclipse.emf.common.notify.NotificationChain; | ||
12 | |||
13 | import org.eclipse.emf.ecore.EClass; | ||
14 | import org.eclipse.emf.ecore.InternalEObject; | ||
15 | |||
16 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
17 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
18 | |||
19 | /** | ||
20 | * <!-- begin-user-doc --> | ||
21 | * An implementation of the model object '<em><b>Transitive Closure</b></em>'. | ||
22 | * <!-- end-user-doc --> | ||
23 | * <p> | ||
24 | * The following features are implemented: | ||
25 | * </p> | ||
26 | * <ul> | ||
27 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl#getLeftOperand <em>Left Operand</em>}</li> | ||
28 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl#getRightOperand <em>Right Operand</em>}</li> | ||
29 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl#getRelation <em>Relation</em>}</li> | ||
30 | * </ul> | ||
31 | * | ||
32 | * @generated | ||
33 | */ | ||
34 | public class TransitiveClosureImpl extends MinimalEObjectImpl.Container implements TransitiveClosure { | ||
35 | /** | ||
36 | * The cached value of the '{@link #getLeftOperand() <em>Left Operand</em>}' containment reference. | ||
37 | * <!-- begin-user-doc --> | ||
38 | * <!-- end-user-doc --> | ||
39 | * @see #getLeftOperand() | ||
40 | * @generated | ||
41 | * @ordered | ||
42 | */ | ||
43 | protected Term leftOperand; | ||
44 | |||
45 | /** | ||
46 | * The cached value of the '{@link #getRightOperand() <em>Right Operand</em>}' containment reference. | ||
47 | * <!-- begin-user-doc --> | ||
48 | * <!-- end-user-doc --> | ||
49 | * @see #getRightOperand() | ||
50 | * @generated | ||
51 | * @ordered | ||
52 | */ | ||
53 | protected Term rightOperand; | ||
54 | |||
55 | /** | ||
56 | * The cached value of the '{@link #getRelation() <em>Relation</em>}' reference. | ||
57 | * <!-- begin-user-doc --> | ||
58 | * <!-- end-user-doc --> | ||
59 | * @see #getRelation() | ||
60 | * @generated | ||
61 | * @ordered | ||
62 | */ | ||
63 | protected Relation relation; | ||
64 | |||
65 | /** | ||
66 | * <!-- begin-user-doc --> | ||
67 | * <!-- end-user-doc --> | ||
68 | * @generated | ||
69 | */ | ||
70 | protected TransitiveClosureImpl() { | ||
71 | super(); | ||
72 | } | ||
73 | |||
74 | /** | ||
75 | * <!-- begin-user-doc --> | ||
76 | * <!-- end-user-doc --> | ||
77 | * @generated | ||
78 | */ | ||
79 | @Override | ||
80 | protected EClass eStaticClass() { | ||
81 | return LogiclanguagePackage.Literals.TRANSITIVE_CLOSURE; | ||
82 | } | ||
83 | |||
84 | /** | ||
85 | * <!-- begin-user-doc --> | ||
86 | * <!-- end-user-doc --> | ||
87 | * @generated | ||
88 | */ | ||
89 | public Term getLeftOperand() { | ||
90 | return leftOperand; | ||
91 | } | ||
92 | |||
93 | /** | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @generated | ||
97 | */ | ||
98 | public NotificationChain basicSetLeftOperand(Term newLeftOperand, NotificationChain msgs) { | ||
99 | Term oldLeftOperand = leftOperand; | ||
100 | leftOperand = newLeftOperand; | ||
101 | if (eNotificationRequired()) { | ||
102 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND, oldLeftOperand, newLeftOperand); | ||
103 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
104 | } | ||
105 | return msgs; | ||
106 | } | ||
107 | |||
108 | /** | ||
109 | * <!-- begin-user-doc --> | ||
110 | * <!-- end-user-doc --> | ||
111 | * @generated | ||
112 | */ | ||
113 | public void setLeftOperand(Term newLeftOperand) { | ||
114 | if (newLeftOperand != leftOperand) { | ||
115 | NotificationChain msgs = null; | ||
116 | if (leftOperand != null) | ||
117 | msgs = ((InternalEObject)leftOperand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND, null, msgs); | ||
118 | if (newLeftOperand != null) | ||
119 | msgs = ((InternalEObject)newLeftOperand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND, null, msgs); | ||
120 | msgs = basicSetLeftOperand(newLeftOperand, msgs); | ||
121 | if (msgs != null) msgs.dispatch(); | ||
122 | } | ||
123 | else if (eNotificationRequired()) | ||
124 | eNotify(new ENotificationImpl(this, Notification.SET, LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND, newLeftOperand, newLeftOperand)); | ||
125 | } | ||
126 | |||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
132 | public Term getRightOperand() { | ||
133 | return rightOperand; | ||
134 | } | ||
135 | |||
136 | /** | ||
137 | * <!-- begin-user-doc --> | ||
138 | * <!-- end-user-doc --> | ||
139 | * @generated | ||
140 | */ | ||
141 | public NotificationChain basicSetRightOperand(Term newRightOperand, NotificationChain msgs) { | ||
142 | Term oldRightOperand = rightOperand; | ||
143 | rightOperand = newRightOperand; | ||
144 | if (eNotificationRequired()) { | ||
145 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND, oldRightOperand, newRightOperand); | ||
146 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
147 | } | ||
148 | return msgs; | ||
149 | } | ||
150 | |||
151 | /** | ||
152 | * <!-- begin-user-doc --> | ||
153 | * <!-- end-user-doc --> | ||
154 | * @generated | ||
155 | */ | ||
156 | public void setRightOperand(Term newRightOperand) { | ||
157 | if (newRightOperand != rightOperand) { | ||
158 | NotificationChain msgs = null; | ||
159 | if (rightOperand != null) | ||
160 | msgs = ((InternalEObject)rightOperand).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND, null, msgs); | ||
161 | if (newRightOperand != null) | ||
162 | msgs = ((InternalEObject)newRightOperand).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND, null, msgs); | ||
163 | msgs = basicSetRightOperand(newRightOperand, msgs); | ||
164 | if (msgs != null) msgs.dispatch(); | ||
165 | } | ||
166 | else if (eNotificationRequired()) | ||
167 | eNotify(new ENotificationImpl(this, Notification.SET, LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND, newRightOperand, newRightOperand)); | ||
168 | } | ||
169 | |||
170 | /** | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | */ | ||
175 | public Relation getRelation() { | ||
176 | if (relation != null && relation.eIsProxy()) { | ||
177 | InternalEObject oldRelation = (InternalEObject)relation; | ||
178 | relation = (Relation)eResolveProxy(oldRelation); | ||
179 | if (relation != oldRelation) { | ||
180 | if (eNotificationRequired()) | ||
181 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogiclanguagePackage.TRANSITIVE_CLOSURE__RELATION, oldRelation, relation)); | ||
182 | } | ||
183 | } | ||
184 | return relation; | ||
185 | } | ||
186 | |||
187 | /** | ||
188 | * <!-- begin-user-doc --> | ||
189 | * <!-- end-user-doc --> | ||
190 | * @generated | ||
191 | */ | ||
192 | public Relation basicGetRelation() { | ||
193 | return relation; | ||
194 | } | ||
195 | |||
196 | /** | ||
197 | * <!-- begin-user-doc --> | ||
198 | * <!-- end-user-doc --> | ||
199 | * @generated | ||
200 | */ | ||
201 | public void setRelation(Relation newRelation) { | ||
202 | Relation oldRelation = relation; | ||
203 | relation = newRelation; | ||
204 | if (eNotificationRequired()) | ||
205 | eNotify(new ENotificationImpl(this, Notification.SET, LogiclanguagePackage.TRANSITIVE_CLOSURE__RELATION, oldRelation, relation)); | ||
206 | } | ||
207 | |||
208 | /** | ||
209 | * <!-- begin-user-doc --> | ||
210 | * <!-- end-user-doc --> | ||
211 | * @generated | ||
212 | */ | ||
213 | @Override | ||
214 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
215 | switch (featureID) { | ||
216 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND: | ||
217 | return basicSetLeftOperand(null, msgs); | ||
218 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND: | ||
219 | return basicSetRightOperand(null, msgs); | ||
220 | } | ||
221 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
222 | } | ||
223 | |||
224 | /** | ||
225 | * <!-- begin-user-doc --> | ||
226 | * <!-- end-user-doc --> | ||
227 | * @generated | ||
228 | */ | ||
229 | @Override | ||
230 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
231 | switch (featureID) { | ||
232 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND: | ||
233 | return getLeftOperand(); | ||
234 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND: | ||
235 | return getRightOperand(); | ||
236 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RELATION: | ||
237 | if (resolve) return getRelation(); | ||
238 | return basicGetRelation(); | ||
239 | } | ||
240 | return super.eGet(featureID, resolve, coreType); | ||
241 | } | ||
242 | |||
243 | /** | ||
244 | * <!-- begin-user-doc --> | ||
245 | * <!-- end-user-doc --> | ||
246 | * @generated | ||
247 | */ | ||
248 | @Override | ||
249 | public void eSet(int featureID, Object newValue) { | ||
250 | switch (featureID) { | ||
251 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND: | ||
252 | setLeftOperand((Term)newValue); | ||
253 | return; | ||
254 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND: | ||
255 | setRightOperand((Term)newValue); | ||
256 | return; | ||
257 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RELATION: | ||
258 | setRelation((Relation)newValue); | ||
259 | return; | ||
260 | } | ||
261 | super.eSet(featureID, newValue); | ||
262 | } | ||
263 | |||
264 | /** | ||
265 | * <!-- begin-user-doc --> | ||
266 | * <!-- end-user-doc --> | ||
267 | * @generated | ||
268 | */ | ||
269 | @Override | ||
270 | public void eUnset(int featureID) { | ||
271 | switch (featureID) { | ||
272 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND: | ||
273 | setLeftOperand((Term)null); | ||
274 | return; | ||
275 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND: | ||
276 | setRightOperand((Term)null); | ||
277 | return; | ||
278 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RELATION: | ||
279 | setRelation((Relation)null); | ||
280 | return; | ||
281 | } | ||
282 | super.eUnset(featureID); | ||
283 | } | ||
284 | |||
285 | /** | ||
286 | * <!-- begin-user-doc --> | ||
287 | * <!-- end-user-doc --> | ||
288 | * @generated | ||
289 | */ | ||
290 | @Override | ||
291 | public boolean eIsSet(int featureID) { | ||
292 | switch (featureID) { | ||
293 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__LEFT_OPERAND: | ||
294 | return leftOperand != null; | ||
295 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RIGHT_OPERAND: | ||
296 | return rightOperand != null; | ||
297 | case LogiclanguagePackage.TRANSITIVE_CLOSURE__RELATION: | ||
298 | return relation != null; | ||
299 | } | ||
300 | return super.eIsSet(featureID); | ||
301 | } | ||
302 | |||
303 | } //TransitiveClosureImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java index c756cf31..d61c3a2a 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java | |||
@@ -296,6 +296,10 @@ public class LogiclanguageAdapterFactory extends AdapterFactoryImpl { | |||
296 | return createStringLiteralAdapter(); | 296 | return createStringLiteralAdapter(); |
297 | } | 297 | } |
298 | @Override | 298 | @Override |
299 | public Adapter caseTransitiveClosure(TransitiveClosure object) { | ||
300 | return createTransitiveClosureAdapter(); | ||
301 | } | ||
302 | @Override | ||
299 | public Adapter defaultCase(EObject object) { | 303 | public Adapter defaultCase(EObject object) { |
300 | return createEObjectAdapter(); | 304 | return createEObjectAdapter(); |
301 | } | 305 | } |
@@ -1114,6 +1118,20 @@ public class LogiclanguageAdapterFactory extends AdapterFactoryImpl { | |||
1114 | } | 1118 | } |
1115 | 1119 | ||
1116 | /** | 1120 | /** |
1121 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure <em>Transitive Closure</em>}'. | ||
1122 | * <!-- begin-user-doc --> | ||
1123 | * This default implementation returns null so that we can easily ignore cases; | ||
1124 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1125 | * <!-- end-user-doc --> | ||
1126 | * @return the new adapter. | ||
1127 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure | ||
1128 | * @generated | ||
1129 | */ | ||
1130 | public Adapter createTransitiveClosureAdapter() { | ||
1131 | return null; | ||
1132 | } | ||
1133 | |||
1134 | /** | ||
1117 | * Creates a new adapter for the default case. | 1135 | * Creates a new adapter for the default case. |
1118 | * <!-- begin-user-doc --> | 1136 | * <!-- begin-user-doc --> |
1119 | * This default implementation returns null. | 1137 | * This default implementation returns null. |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java index 43376940..74575fb6 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java | |||
@@ -544,6 +544,12 @@ public class LogiclanguageSwitch<T> extends Switch<T> { | |||
544 | if (result == null) result = defaultCase(theEObject); | 544 | if (result == null) result = defaultCase(theEObject); |
545 | return result; | 545 | return result; |
546 | } | 546 | } |
547 | case LogiclanguagePackage.TRANSITIVE_CLOSURE: { | ||
548 | TransitiveClosure transitiveClosure = (TransitiveClosure)theEObject; | ||
549 | T result = caseTransitiveClosure(transitiveClosure); | ||
550 | if (result == null) result = defaultCase(theEObject); | ||
551 | return result; | ||
552 | } | ||
547 | default: return defaultCase(theEObject); | 553 | default: return defaultCase(theEObject); |
548 | } | 554 | } |
549 | } | 555 | } |
@@ -1404,6 +1410,21 @@ public class LogiclanguageSwitch<T> extends Switch<T> { | |||
1404 | } | 1410 | } |
1405 | 1411 | ||
1406 | /** | 1412 | /** |
1413 | * Returns the result of interpreting the object as an instance of '<em>Transitive Closure</em>'. | ||
1414 | * <!-- begin-user-doc --> | ||
1415 | * This implementation returns null; | ||
1416 | * returning a non-null result will terminate the switch. | ||
1417 | * <!-- end-user-doc --> | ||
1418 | * @param object the target of the switch. | ||
1419 | * @return the result of interpreting the object as an instance of '<em>Transitive Closure</em>'. | ||
1420 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1421 | * @generated | ||
1422 | */ | ||
1423 | public T caseTransitiveClosure(TransitiveClosure object) { | ||
1424 | return null; | ||
1425 | } | ||
1426 | |||
1427 | /** | ||
1407 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | 1428 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. |
1408 | * <!-- begin-user-doc --> | 1429 | * <!-- begin-user-doc --> |
1409 | * This implementation returns null; | 1430 | * This implementation returns null; |