aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@152.66.252.189>2017-08-16 18:53:37 +0200
committerLibravatar OszkarSemerath <oszka@152.66.252.189>2017-08-16 18:53:37 +0200
commit05cc697cce50c87541cb619854be7ecbcfb586e9 (patch)
tree8fd0054e1ced9992283fddc2e8be28f2a09c9ebb /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen
parentBugfixing typo in generated queries (diff)
downloadVIATRA-Generator-05cc697cce50c87541cb619854be7ecbcfb586e9.tar.gz
VIATRA-Generator-05cc697cce50c87541cb619854be7ecbcfb586e9.tar.zst
VIATRA-Generator-05cc697cce50c87541cb619854be7ecbcfb586e9.zip
Adding transitive closure to the logic language
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java9
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java133
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/TransitiveClosure.java104
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java11
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java54
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java303
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java18
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageSwitch.java21
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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage;
4
5import 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 */
25public 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;
54import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue; 54import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue;
55import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term; 55import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term;
56import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription; 56import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription;
57import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure;
57import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; 58import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type;
58import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration; 59import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;
59import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition; 60import 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term;
8import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure;
9
10import org.eclipse.emf.common.notify.Notification;
11import org.eclipse.emf.common.notify.NotificationChain;
12
13import org.eclipse.emf.ecore.EClass;
14import org.eclipse.emf.ecore.InternalEObject;
15
16import org.eclipse.emf.ecore.impl.ENotificationImpl;
17import 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 */
34public 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;
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 12:26:41 +0000