aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 19:05:05 +0200
committerLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 19:05:05 +0200
commit60f01f46ba232ed6416054f0a6115cb2a9b70b4e (patch)
tree5edf8aeb07abc51f3fec63bbd15c926e1de09552 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem
parentInitial commit, migrating from SVN (diff)
downloadVIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.gz
VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.zst
VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.zip
Migrating Additional projects
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/Annotation.java18
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/AssertionAnnotation.java52
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/ConstantAnnotation.java52
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/ContainmentHierarchy.java108
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/FunctionAnnotation.java52
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicProblem.java168
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemFactory.java96
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.java867
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/RelationAnnotation.java52
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AnnotationImpl.java39
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java211
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ConstantAnnotationImpl.java211
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java270
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/FunctionAnnotationImpl.java211
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicProblemImpl.java411
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemFactoryImpl.java161
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemPackageImpl.java490
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/RelationAnnotationImpl.java211
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemAdapterFactory.java228
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemSwitch.java240
20 files changed, 4148 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/Annotation.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/Annotation.java
new file mode 100644
index 00000000..29575aee
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/Annotation.java
@@ -0,0 +1,18 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem;
4
5import org.eclipse.emf.ecore.EObject;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Annotation</b></em>'.
10 * <!-- end-user-doc -->
11 *
12 *
13 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getAnnotation()
14 * @model
15 * @generated
16 */
17public interface Annotation extends EObject {
18} // Annotation
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/AssertionAnnotation.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/AssertionAnnotation.java
new file mode 100644
index 00000000..2b06e688
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/AssertionAnnotation.java
@@ -0,0 +1,52 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Assertion Annotation</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.logicproblem.AssertionAnnotation#getTarget <em>Target</em>}</li>
17 * </ul>
18 *
19 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getAssertionAnnotation()
20 * @model
21 * @generated
22 */
23public interface AssertionAnnotation extends Annotation {
24 /**
25 * Returns the value of the '<em><b>Target</b></em>' reference.
26 * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getAnnotations <em>Annotations</em>}'.
27 * <!-- begin-user-doc -->
28 * <p>
29 * If the meaning of the '<em>Target</em>' reference isn't clear,
30 * there really should be more of a description here...
31 * </p>
32 * <!-- end-user-doc -->
33 * @return the value of the '<em>Target</em>' reference.
34 * @see #setTarget(Assertion)
35 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getAssertionAnnotation_Target()
36 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion#getAnnotations
37 * @model opposite="annotations" required="true"
38 * @generated
39 */
40 Assertion getTarget();
41
42 /**
43 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation#getTarget <em>Target</em>}' reference.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @param value the new value of the '<em>Target</em>' reference.
47 * @see #getTarget()
48 * @generated
49 */
50 void setTarget(Assertion value);
51
52} // AssertionAnnotation
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/ConstantAnnotation.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/ConstantAnnotation.java
new file mode 100644
index 00000000..f48cedf6
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/ConstantAnnotation.java
@@ -0,0 +1,52 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Constant Annotation</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.logicproblem.ConstantAnnotation#getTarget <em>Target</em>}</li>
17 * </ul>
18 *
19 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getConstantAnnotation()
20 * @model
21 * @generated
22 */
23public interface ConstantAnnotation extends Annotation {
24 /**
25 * Returns the value of the '<em><b>Target</b></em>' reference.
26 * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant#getAnnotations <em>Annotations</em>}'.
27 * <!-- begin-user-doc -->
28 * <p>
29 * If the meaning of the '<em>Target</em>' reference isn't clear,
30 * there really should be more of a description here...
31 * </p>
32 * <!-- end-user-doc -->
33 * @return the value of the '<em>Target</em>' reference.
34 * @see #setTarget(Constant)
35 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getConstantAnnotation_Target()
36 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant#getAnnotations
37 * @model opposite="annotations" required="true"
38 * @generated
39 */
40 Constant getTarget();
41
42 /**
43 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation#getTarget <em>Target</em>}' reference.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @param value the new value of the '<em>Target</em>' reference.
47 * @see #getTarget()
48 * @generated
49 */
50 void setTarget(Constant value);
51
52} // ConstantAnnotation
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/ContainmentHierarchy.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/ContainmentHierarchy.java
new file mode 100644
index 00000000..f3f04ff4
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/ContainmentHierarchy.java
@@ -0,0 +1,108 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function;
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
8import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type;
9
10import org.eclipse.emf.common.util.EList;
11
12import org.eclipse.emf.ecore.EObject;
13
14/**
15 * <!-- begin-user-doc -->
16 * A representation of the model object '<em><b>Containment Hierarchy</b></em>'.
17 * <!-- end-user-doc -->
18 *
19 * <p>
20 * The following features are supported:
21 * </p>
22 * <ul>
23 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getTypesOrderedInHierarchy <em>Types Ordered In Hierarchy</em>}</li>
24 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentFunctions <em>Containment Functions</em>}</li>
25 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentRelations <em>Containment Relations</em>}</li>
26 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getRootConstant <em>Root Constant</em>}</li>
27 * </ul>
28 *
29 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getContainmentHierarchy()
30 * @model
31 * @generated
32 */
33public interface ContainmentHierarchy extends EObject {
34 /**
35 * Returns the value of the '<em><b>Types Ordered In Hierarchy</b></em>' reference list.
36 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type}.
37 * <!-- begin-user-doc -->
38 * <p>
39 * If the meaning of the '<em>Types Ordered In Hierarchy</em>' reference list isn't clear,
40 * there really should be more of a description here...
41 * </p>
42 * <!-- end-user-doc -->
43 * @return the value of the '<em>Types Ordered In Hierarchy</em>' reference list.
44 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getContainmentHierarchy_TypesOrderedInHierarchy()
45 * @model
46 * @generated
47 */
48 EList<Type> getTypesOrderedInHierarchy();
49
50 /**
51 * Returns the value of the '<em><b>Containment Functions</b></em>' reference list.
52 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function}.
53 * <!-- begin-user-doc -->
54 * <p>
55 * If the meaning of the '<em>Containment Functions</em>' reference list isn't clear,
56 * there really should be more of a description here...
57 * </p>
58 * <!-- end-user-doc -->
59 * @return the value of the '<em>Containment Functions</em>' reference list.
60 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getContainmentHierarchy_ContainmentFunctions()
61 * @model
62 * @generated
63 */
64 EList<Function> getContainmentFunctions();
65
66 /**
67 * Returns the value of the '<em><b>Containment Relations</b></em>' reference list.
68 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation}.
69 * <!-- begin-user-doc -->
70 * <p>
71 * If the meaning of the '<em>Containment Relations</em>' reference list isn't clear,
72 * there really should be more of a description here...
73 * </p>
74 * <!-- end-user-doc -->
75 * @return the value of the '<em>Containment Relations</em>' reference list.
76 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getContainmentHierarchy_ContainmentRelations()
77 * @model
78 * @generated
79 */
80 EList<Relation> getContainmentRelations();
81
82 /**
83 * Returns the value of the '<em><b>Root Constant</b></em>' reference.
84 * <!-- begin-user-doc -->
85 * <p>
86 * If the meaning of the '<em>Root Constant</em>' reference isn't clear,
87 * there really should be more of a description here...
88 * </p>
89 * <!-- end-user-doc -->
90 * @return the value of the '<em>Root Constant</em>' reference.
91 * @see #setRootConstant(Constant)
92 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getContainmentHierarchy_RootConstant()
93 * @model
94 * @generated
95 */
96 Constant getRootConstant();
97
98 /**
99 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getRootConstant <em>Root Constant</em>}' reference.
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @param value the new value of the '<em>Root Constant</em>' reference.
103 * @see #getRootConstant()
104 * @generated
105 */
106 void setRootConstant(Constant value);
107
108} // ContainmentHierarchy
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/FunctionAnnotation.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/FunctionAnnotation.java
new file mode 100644
index 00000000..b10d5e1b
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/FunctionAnnotation.java
@@ -0,0 +1,52 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Function Annotation</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.logicproblem.FunctionAnnotation#getTarget <em>Target</em>}</li>
17 * </ul>
18 *
19 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getFunctionAnnotation()
20 * @model
21 * @generated
22 */
23public interface FunctionAnnotation extends Annotation {
24 /**
25 * Returns the value of the '<em><b>Target</b></em>' reference.
26 * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getAnnotations <em>Annotations</em>}'.
27 * <!-- begin-user-doc -->
28 * <p>
29 * If the meaning of the '<em>Target</em>' reference isn't clear,
30 * there really should be more of a description here...
31 * </p>
32 * <!-- end-user-doc -->
33 * @return the value of the '<em>Target</em>' reference.
34 * @see #setTarget(Function)
35 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getFunctionAnnotation_Target()
36 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function#getAnnotations
37 * @model opposite="annotations" required="true"
38 * @generated
39 */
40 Function getTarget();
41
42 /**
43 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation#getTarget <em>Target</em>}' reference.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @param value the new value of the '<em>Target</em>' reference.
47 * @see #getTarget()
48 * @generated
49 */
50 void setTarget(Function value);
51
52} // FunctionAnnotation
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicProblem.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicProblem.java
new file mode 100644
index 00000000..bf028318
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicProblem.java
@@ -0,0 +1,168 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant;
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
8import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function;
9import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
10import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type;
11
12import org.eclipse.emf.common.util.EList;
13
14import org.eclipse.emf.ecore.EObject;
15
16/**
17 * <!-- begin-user-doc -->
18 * A representation of the model object '<em><b>Logic Problem</b></em>'.
19 * <!-- end-user-doc -->
20 *
21 * <p>
22 * The following features are supported:
23 * </p>
24 * <ul>
25 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getTypes <em>Types</em>}</li>
26 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getFunctions <em>Functions</em>}</li>
27 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAssertions <em>Assertions</em>}</li>
28 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getRelations <em>Relations</em>}</li>
29 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getConstants <em>Constants</em>}</li>
30 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getElements <em>Elements</em>}</li>
31 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getContainmentHierarchies <em>Containment Hierarchies</em>}</li>
32 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAnnotations <em>Annotations</em>}</li>
33 * </ul>
34 *
35 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem()
36 * @model
37 * @generated
38 */
39public interface LogicProblem extends EObject {
40 /**
41 * Returns the value of the '<em><b>Types</b></em>' containment reference list.
42 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type}.
43 * <!-- begin-user-doc -->
44 * <p>
45 * If the meaning of the '<em>Types</em>' containment reference list isn't clear,
46 * there really should be more of a description here...
47 * </p>
48 * <!-- end-user-doc -->
49 * @return the value of the '<em>Types</em>' containment reference list.
50 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Types()
51 * @model containment="true"
52 * @generated
53 */
54 EList<Type> getTypes();
55
56 /**
57 * Returns the value of the '<em><b>Functions</b></em>' containment reference list.
58 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function}.
59 * <!-- begin-user-doc -->
60 * <p>
61 * If the meaning of the '<em>Functions</em>' containment reference list isn't clear,
62 * there really should be more of a description here...
63 * </p>
64 * <!-- end-user-doc -->
65 * @return the value of the '<em>Functions</em>' containment reference list.
66 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Functions()
67 * @model containment="true"
68 * @generated
69 */
70 EList<Function> getFunctions();
71
72 /**
73 * Returns the value of the '<em><b>Assertions</b></em>' containment reference list.
74 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion}.
75 * <!-- begin-user-doc -->
76 * <p>
77 * If the meaning of the '<em>Assertions</em>' containment reference list isn't clear,
78 * there really should be more of a description here...
79 * </p>
80 * <!-- end-user-doc -->
81 * @return the value of the '<em>Assertions</em>' containment reference list.
82 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Assertions()
83 * @model containment="true"
84 * @generated
85 */
86 EList<Assertion> getAssertions();
87
88 /**
89 * Returns the value of the '<em><b>Relations</b></em>' containment reference list.
90 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation}.
91 * <!-- begin-user-doc -->
92 * <p>
93 * If the meaning of the '<em>Relations</em>' containment reference list isn't clear,
94 * there really should be more of a description here...
95 * </p>
96 * <!-- end-user-doc -->
97 * @return the value of the '<em>Relations</em>' containment reference list.
98 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Relations()
99 * @model containment="true"
100 * @generated
101 */
102 EList<Relation> getRelations();
103
104 /**
105 * Returns the value of the '<em><b>Constants</b></em>' containment reference list.
106 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant}.
107 * <!-- begin-user-doc -->
108 * <p>
109 * If the meaning of the '<em>Constants</em>' containment reference list isn't clear,
110 * there really should be more of a description here...
111 * </p>
112 * <!-- end-user-doc -->
113 * @return the value of the '<em>Constants</em>' containment reference list.
114 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Constants()
115 * @model containment="true"
116 * @generated
117 */
118 EList<Constant> getConstants();
119
120 /**
121 * Returns the value of the '<em><b>Elements</b></em>' containment reference list.
122 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}.
123 * <!-- begin-user-doc -->
124 * <p>
125 * If the meaning of the '<em>Elements</em>' containment reference list isn't clear,
126 * there really should be more of a description here...
127 * </p>
128 * <!-- end-user-doc -->
129 * @return the value of the '<em>Elements</em>' containment reference list.
130 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Elements()
131 * @model containment="true"
132 * @generated
133 */
134 EList<DefinedElement> getElements();
135
136 /**
137 * Returns the value of the '<em><b>Containment Hierarchies</b></em>' containment reference list.
138 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy}.
139 * <!-- begin-user-doc -->
140 * <p>
141 * If the meaning of the '<em>Containment Hierarchies</em>' reference list isn't clear,
142 * there really should be more of a description here...
143 * </p>
144 * <!-- end-user-doc -->
145 * @return the value of the '<em>Containment Hierarchies</em>' containment reference list.
146 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_ContainmentHierarchies()
147 * @model containment="true"
148 * @generated
149 */
150 EList<ContainmentHierarchy> getContainmentHierarchies();
151
152 /**
153 * Returns the value of the '<em><b>Annotations</b></em>' containment reference list.
154 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation}.
155 * <!-- begin-user-doc -->
156 * <p>
157 * If the meaning of the '<em>Annotations</em>' containment reference list isn't clear,
158 * there really should be more of a description here...
159 * </p>
160 * <!-- end-user-doc -->
161 * @return the value of the '<em>Annotations</em>' containment reference list.
162 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getLogicProblem_Annotations()
163 * @model containment="true"
164 * @generated
165 */
166 EList<Annotation> getAnnotations();
167
168} // LogicProblem
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemFactory.java
new file mode 100644
index 00000000..82e754b5
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemFactory.java
@@ -0,0 +1,96 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem;
4
5import org.eclipse.emf.ecore.EFactory;
6
7/**
8 * <!-- begin-user-doc -->
9 * The <b>Factory</b> for the model.
10 * It provides a create method for each non-abstract class of the model.
11 * <!-- end-user-doc -->
12 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage
13 * @generated
14 */
15public interface LogicproblemFactory extends EFactory {
16 /**
17 * The singleton instance of the factory.
18 * <!-- begin-user-doc -->
19 * <!-- end-user-doc -->
20 * @generated
21 */
22 LogicproblemFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemFactoryImpl.init();
23
24 /**
25 * Returns a new object of class '<em>Logic Problem</em>'.
26 * <!-- begin-user-doc -->
27 * <!-- end-user-doc -->
28 * @return a new object of class '<em>Logic Problem</em>'.
29 * @generated
30 */
31 LogicProblem createLogicProblem();
32
33 /**
34 * Returns a new object of class '<em>Containment Hierarchy</em>'.
35 * <!-- begin-user-doc -->
36 * <!-- end-user-doc -->
37 * @return a new object of class '<em>Containment Hierarchy</em>'.
38 * @generated
39 */
40 ContainmentHierarchy createContainmentHierarchy();
41
42 /**
43 * Returns a new object of class '<em>Relation Annotation</em>'.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @return a new object of class '<em>Relation Annotation</em>'.
47 * @generated
48 */
49 RelationAnnotation createRelationAnnotation();
50
51 /**
52 * Returns a new object of class '<em>Constant Annotation</em>'.
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @return a new object of class '<em>Constant Annotation</em>'.
56 * @generated
57 */
58 ConstantAnnotation createConstantAnnotation();
59
60 /**
61 * Returns a new object of class '<em>Function Annotation</em>'.
62 * <!-- begin-user-doc -->
63 * <!-- end-user-doc -->
64 * @return a new object of class '<em>Function Annotation</em>'.
65 * @generated
66 */
67 FunctionAnnotation createFunctionAnnotation();
68
69 /**
70 * Returns a new object of class '<em>Assertion Annotation</em>'.
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @return a new object of class '<em>Assertion Annotation</em>'.
74 * @generated
75 */
76 AssertionAnnotation createAssertionAnnotation();
77
78 /**
79 * Returns a new object of class '<em>Annotation</em>'.
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @return a new object of class '<em>Annotation</em>'.
83 * @generated
84 */
85 Annotation createAnnotation();
86
87 /**
88 * Returns the package supported by this factory.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @return the package supported by this factory.
92 * @generated
93 */
94 LogicproblemPackage getLogicproblemPackage();
95
96} //LogicproblemFactory
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.java
new file mode 100644
index 00000000..c02f189a
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/LogicproblemPackage.java
@@ -0,0 +1,867 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem;
4
5import org.eclipse.emf.ecore.EClass;
6import org.eclipse.emf.ecore.EPackage;
7import org.eclipse.emf.ecore.EReference;
8
9/**
10 * <!-- begin-user-doc -->
11 * The <b>Package</b> for the model.
12 * It contains accessors for the meta objects to represent
13 * <ul>
14 * <li>each class,</li>
15 * <li>each feature of each class,</li>
16 * <li>each operation of each class,</li>
17 * <li>each enum,</li>
18 * <li>and each data type</li>
19 * </ul>
20 * <!-- end-user-doc -->
21 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemFactory
22 * @model kind="package"
23 * @generated
24 */
25public interface LogicproblemPackage extends EPackage {
26 /**
27 * The package name.
28 * <!-- begin-user-doc -->
29 * <!-- end-user-doc -->
30 * @generated
31 */
32 String eNAME = "logicproblem";
33
34 /**
35 * The package namespace URI.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @generated
39 */
40 String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem";
41
42 /**
43 * The package namespace name.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @generated
47 */
48 String eNS_PREFIX = "language";
49
50 /**
51 * The singleton instance of the package.
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @generated
55 */
56 LogicproblemPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl.init();
57
58 /**
59 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl <em>Logic Problem</em>}' class.
60 * <!-- begin-user-doc -->
61 * <!-- end-user-doc -->
62 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl
63 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getLogicProblem()
64 * @generated
65 */
66 int LOGIC_PROBLEM = 0;
67
68 /**
69 * The feature id for the '<em><b>Types</b></em>' containment reference list.
70 * <!-- begin-user-doc -->
71 * <!-- end-user-doc -->
72 * @generated
73 * @ordered
74 */
75 int LOGIC_PROBLEM__TYPES = 0;
76
77 /**
78 * The feature id for the '<em><b>Functions</b></em>' containment reference list.
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 * @ordered
83 */
84 int LOGIC_PROBLEM__FUNCTIONS = 1;
85
86 /**
87 * The feature id for the '<em><b>Assertions</b></em>' containment reference list.
88 * <!-- begin-user-doc -->
89 * <!-- end-user-doc -->
90 * @generated
91 * @ordered
92 */
93 int LOGIC_PROBLEM__ASSERTIONS = 2;
94
95 /**
96 * The feature id for the '<em><b>Relations</b></em>' containment reference list.
97 * <!-- begin-user-doc -->
98 * <!-- end-user-doc -->
99 * @generated
100 * @ordered
101 */
102 int LOGIC_PROBLEM__RELATIONS = 3;
103
104 /**
105 * The feature id for the '<em><b>Constants</b></em>' containment reference list.
106 * <!-- begin-user-doc -->
107 * <!-- end-user-doc -->
108 * @generated
109 * @ordered
110 */
111 int LOGIC_PROBLEM__CONSTANTS = 4;
112
113 /**
114 * The feature id for the '<em><b>Elements</b></em>' containment reference list.
115 * <!-- begin-user-doc -->
116 * <!-- end-user-doc -->
117 * @generated
118 * @ordered
119 */
120 int LOGIC_PROBLEM__ELEMENTS = 5;
121
122 /**
123 * The feature id for the '<em><b>Containment Hierarchies</b></em>' containment reference list.
124 * <!-- begin-user-doc -->
125 * <!-- end-user-doc -->
126 * @generated
127 * @ordered
128 */
129 int LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES = 6;
130
131 /**
132 * The feature id for the '<em><b>Annotations</b></em>' containment reference list.
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 * @ordered
137 */
138 int LOGIC_PROBLEM__ANNOTATIONS = 7;
139
140 /**
141 * The number of structural features of the '<em>Logic Problem</em>' class.
142 * <!-- begin-user-doc -->
143 * <!-- end-user-doc -->
144 * @generated
145 * @ordered
146 */
147 int LOGIC_PROBLEM_FEATURE_COUNT = 8;
148
149 /**
150 * The number of operations of the '<em>Logic Problem</em>' class.
151 * <!-- begin-user-doc -->
152 * <!-- end-user-doc -->
153 * @generated
154 * @ordered
155 */
156 int LOGIC_PROBLEM_OPERATION_COUNT = 0;
157
158 /**
159 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl <em>Containment Hierarchy</em>}' class.
160 * <!-- begin-user-doc -->
161 * <!-- end-user-doc -->
162 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl
163 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getContainmentHierarchy()
164 * @generated
165 */
166 int CONTAINMENT_HIERARCHY = 1;
167
168 /**
169 * The feature id for the '<em><b>Types Ordered In Hierarchy</b></em>' reference list.
170 * <!-- begin-user-doc -->
171 * <!-- end-user-doc -->
172 * @generated
173 * @ordered
174 */
175 int CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY = 0;
176
177 /**
178 * The feature id for the '<em><b>Containment Functions</b></em>' reference list.
179 * <!-- begin-user-doc -->
180 * <!-- end-user-doc -->
181 * @generated
182 * @ordered
183 */
184 int CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS = 1;
185
186 /**
187 * The feature id for the '<em><b>Containment Relations</b></em>' reference list.
188 * <!-- begin-user-doc -->
189 * <!-- end-user-doc -->
190 * @generated
191 * @ordered
192 */
193 int CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS = 2;
194
195 /**
196 * The feature id for the '<em><b>Root Constant</b></em>' reference.
197 * <!-- begin-user-doc -->
198 * <!-- end-user-doc -->
199 * @generated
200 * @ordered
201 */
202 int CONTAINMENT_HIERARCHY__ROOT_CONSTANT = 3;
203
204 /**
205 * The number of structural features of the '<em>Containment Hierarchy</em>' class.
206 * <!-- begin-user-doc -->
207 * <!-- end-user-doc -->
208 * @generated
209 * @ordered
210 */
211 int CONTAINMENT_HIERARCHY_FEATURE_COUNT = 4;
212
213 /**
214 * The number of operations of the '<em>Containment Hierarchy</em>' class.
215 * <!-- begin-user-doc -->
216 * <!-- end-user-doc -->
217 * @generated
218 * @ordered
219 */
220 int CONTAINMENT_HIERARCHY_OPERATION_COUNT = 0;
221
222 /**
223 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AnnotationImpl <em>Annotation</em>}' class.
224 * <!-- begin-user-doc -->
225 * <!-- end-user-doc -->
226 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AnnotationImpl
227 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getAnnotation()
228 * @generated
229 */
230 int ANNOTATION = 6;
231
232 /**
233 * The number of structural features of the '<em>Annotation</em>' class.
234 * <!-- begin-user-doc -->
235 * <!-- end-user-doc -->
236 * @generated
237 * @ordered
238 */
239 int ANNOTATION_FEATURE_COUNT = 0;
240
241 /**
242 * The number of operations of the '<em>Annotation</em>' class.
243 * <!-- begin-user-doc -->
244 * <!-- end-user-doc -->
245 * @generated
246 * @ordered
247 */
248 int ANNOTATION_OPERATION_COUNT = 0;
249
250 /**
251 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl <em>Relation Annotation</em>}' class.
252 * <!-- begin-user-doc -->
253 * <!-- end-user-doc -->
254 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl
255 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getRelationAnnotation()
256 * @generated
257 */
258 int RELATION_ANNOTATION = 2;
259
260 /**
261 * The feature id for the '<em><b>Target</b></em>' reference.
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @generated
265 * @ordered
266 */
267 int RELATION_ANNOTATION__TARGET = ANNOTATION_FEATURE_COUNT + 0;
268
269 /**
270 * The number of structural features of the '<em>Relation Annotation</em>' class.
271 * <!-- begin-user-doc -->
272 * <!-- end-user-doc -->
273 * @generated
274 * @ordered
275 */
276 int RELATION_ANNOTATION_FEATURE_COUNT = ANNOTATION_FEATURE_COUNT + 1;
277
278 /**
279 * The number of operations of the '<em>Relation Annotation</em>' class.
280 * <!-- begin-user-doc -->
281 * <!-- end-user-doc -->
282 * @generated
283 * @ordered
284 */
285 int RELATION_ANNOTATION_OPERATION_COUNT = ANNOTATION_OPERATION_COUNT + 0;
286
287 /**
288 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ConstantAnnotationImpl <em>Constant Annotation</em>}' class.
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ConstantAnnotationImpl
292 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getConstantAnnotation()
293 * @generated
294 */
295 int CONSTANT_ANNOTATION = 3;
296
297 /**
298 * The feature id for the '<em><b>Target</b></em>' reference.
299 * <!-- begin-user-doc -->
300 * <!-- end-user-doc -->
301 * @generated
302 * @ordered
303 */
304 int CONSTANT_ANNOTATION__TARGET = ANNOTATION_FEATURE_COUNT + 0;
305
306 /**
307 * The number of structural features of the '<em>Constant Annotation</em>' class.
308 * <!-- begin-user-doc -->
309 * <!-- end-user-doc -->
310 * @generated
311 * @ordered
312 */
313 int CONSTANT_ANNOTATION_FEATURE_COUNT = ANNOTATION_FEATURE_COUNT + 1;
314
315 /**
316 * The number of operations of the '<em>Constant Annotation</em>' class.
317 * <!-- begin-user-doc -->
318 * <!-- end-user-doc -->
319 * @generated
320 * @ordered
321 */
322 int CONSTANT_ANNOTATION_OPERATION_COUNT = ANNOTATION_OPERATION_COUNT + 0;
323
324 /**
325 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.FunctionAnnotationImpl <em>Function Annotation</em>}' class.
326 * <!-- begin-user-doc -->
327 * <!-- end-user-doc -->
328 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.FunctionAnnotationImpl
329 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getFunctionAnnotation()
330 * @generated
331 */
332 int FUNCTION_ANNOTATION = 4;
333
334 /**
335 * The feature id for the '<em><b>Target</b></em>' reference.
336 * <!-- begin-user-doc -->
337 * <!-- end-user-doc -->
338 * @generated
339 * @ordered
340 */
341 int FUNCTION_ANNOTATION__TARGET = ANNOTATION_FEATURE_COUNT + 0;
342
343 /**
344 * The number of structural features of the '<em>Function Annotation</em>' class.
345 * <!-- begin-user-doc -->
346 * <!-- end-user-doc -->
347 * @generated
348 * @ordered
349 */
350 int FUNCTION_ANNOTATION_FEATURE_COUNT = ANNOTATION_FEATURE_COUNT + 1;
351
352 /**
353 * The number of operations of the '<em>Function Annotation</em>' class.
354 * <!-- begin-user-doc -->
355 * <!-- end-user-doc -->
356 * @generated
357 * @ordered
358 */
359 int FUNCTION_ANNOTATION_OPERATION_COUNT = ANNOTATION_OPERATION_COUNT + 0;
360
361 /**
362 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl <em>Assertion Annotation</em>}' class.
363 * <!-- begin-user-doc -->
364 * <!-- end-user-doc -->
365 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl
366 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getAssertionAnnotation()
367 * @generated
368 */
369 int ASSERTION_ANNOTATION = 5;
370
371 /**
372 * The feature id for the '<em><b>Target</b></em>' reference.
373 * <!-- begin-user-doc -->
374 * <!-- end-user-doc -->
375 * @generated
376 * @ordered
377 */
378 int ASSERTION_ANNOTATION__TARGET = ANNOTATION_FEATURE_COUNT + 0;
379
380 /**
381 * The number of structural features of the '<em>Assertion Annotation</em>' class.
382 * <!-- begin-user-doc -->
383 * <!-- end-user-doc -->
384 * @generated
385 * @ordered
386 */
387 int ASSERTION_ANNOTATION_FEATURE_COUNT = ANNOTATION_FEATURE_COUNT + 1;
388
389 /**
390 * The number of operations of the '<em>Assertion Annotation</em>' class.
391 * <!-- begin-user-doc -->
392 * <!-- end-user-doc -->
393 * @generated
394 * @ordered
395 */
396 int ASSERTION_ANNOTATION_OPERATION_COUNT = ANNOTATION_OPERATION_COUNT + 0;
397
398 /**
399 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem <em>Logic Problem</em>}'.
400 * <!-- begin-user-doc -->
401 * <!-- end-user-doc -->
402 * @return the meta object for class '<em>Logic Problem</em>'.
403 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem
404 * @generated
405 */
406 EClass getLogicProblem();
407
408 /**
409 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getTypes <em>Types</em>}'.
410 * <!-- begin-user-doc -->
411 * <!-- end-user-doc -->
412 * @return the meta object for the containment reference list '<em>Types</em>'.
413 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getTypes()
414 * @see #getLogicProblem()
415 * @generated
416 */
417 EReference getLogicProblem_Types();
418
419 /**
420 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getFunctions <em>Functions</em>}'.
421 * <!-- begin-user-doc -->
422 * <!-- end-user-doc -->
423 * @return the meta object for the containment reference list '<em>Functions</em>'.
424 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getFunctions()
425 * @see #getLogicProblem()
426 * @generated
427 */
428 EReference getLogicProblem_Functions();
429
430 /**
431 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAssertions <em>Assertions</em>}'.
432 * <!-- begin-user-doc -->
433 * <!-- end-user-doc -->
434 * @return the meta object for the containment reference list '<em>Assertions</em>'.
435 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAssertions()
436 * @see #getLogicProblem()
437 * @generated
438 */
439 EReference getLogicProblem_Assertions();
440
441 /**
442 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getRelations <em>Relations</em>}'.
443 * <!-- begin-user-doc -->
444 * <!-- end-user-doc -->
445 * @return the meta object for the containment reference list '<em>Relations</em>'.
446 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getRelations()
447 * @see #getLogicProblem()
448 * @generated
449 */
450 EReference getLogicProblem_Relations();
451
452 /**
453 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getConstants <em>Constants</em>}'.
454 * <!-- begin-user-doc -->
455 * <!-- end-user-doc -->
456 * @return the meta object for the containment reference list '<em>Constants</em>'.
457 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getConstants()
458 * @see #getLogicProblem()
459 * @generated
460 */
461 EReference getLogicProblem_Constants();
462
463 /**
464 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getElements <em>Elements</em>}'.
465 * <!-- begin-user-doc -->
466 * <!-- end-user-doc -->
467 * @return the meta object for the containment reference list '<em>Elements</em>'.
468 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getElements()
469 * @see #getLogicProblem()
470 * @generated
471 */
472 EReference getLogicProblem_Elements();
473
474 /**
475 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getContainmentHierarchies <em>Containment Hierarchies</em>}'.
476 * <!-- begin-user-doc -->
477 * <!-- end-user-doc -->
478 * @return the meta object for the containment reference list '<em>Containment Hierarchies</em>'.
479 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getContainmentHierarchies()
480 * @see #getLogicProblem()
481 * @generated
482 */
483 EReference getLogicProblem_ContainmentHierarchies();
484
485 /**
486 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAnnotations <em>Annotations</em>}'.
487 * <!-- begin-user-doc -->
488 * <!-- end-user-doc -->
489 * @return the meta object for the containment reference list '<em>Annotations</em>'.
490 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem#getAnnotations()
491 * @see #getLogicProblem()
492 * @generated
493 */
494 EReference getLogicProblem_Annotations();
495
496 /**
497 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy <em>Containment Hierarchy</em>}'.
498 * <!-- begin-user-doc -->
499 * <!-- end-user-doc -->
500 * @return the meta object for class '<em>Containment Hierarchy</em>'.
501 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy
502 * @generated
503 */
504 EClass getContainmentHierarchy();
505
506 /**
507 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getTypesOrderedInHierarchy <em>Types Ordered In Hierarchy</em>}'.
508 * <!-- begin-user-doc -->
509 * <!-- end-user-doc -->
510 * @return the meta object for the reference list '<em>Types Ordered In Hierarchy</em>'.
511 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getTypesOrderedInHierarchy()
512 * @see #getContainmentHierarchy()
513 * @generated
514 */
515 EReference getContainmentHierarchy_TypesOrderedInHierarchy();
516
517 /**
518 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentFunctions <em>Containment Functions</em>}'.
519 * <!-- begin-user-doc -->
520 * <!-- end-user-doc -->
521 * @return the meta object for the reference list '<em>Containment Functions</em>'.
522 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentFunctions()
523 * @see #getContainmentHierarchy()
524 * @generated
525 */
526 EReference getContainmentHierarchy_ContainmentFunctions();
527
528 /**
529 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentRelations <em>Containment Relations</em>}'.
530 * <!-- begin-user-doc -->
531 * <!-- end-user-doc -->
532 * @return the meta object for the reference list '<em>Containment Relations</em>'.
533 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getContainmentRelations()
534 * @see #getContainmentHierarchy()
535 * @generated
536 */
537 EReference getContainmentHierarchy_ContainmentRelations();
538
539 /**
540 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getRootConstant <em>Root Constant</em>}'.
541 * <!-- begin-user-doc -->
542 * <!-- end-user-doc -->
543 * @return the meta object for the reference '<em>Root Constant</em>'.
544 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy#getRootConstant()
545 * @see #getContainmentHierarchy()
546 * @generated
547 */
548 EReference getContainmentHierarchy_RootConstant();
549
550 /**
551 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation <em>Relation Annotation</em>}'.
552 * <!-- begin-user-doc -->
553 * <!-- end-user-doc -->
554 * @return the meta object for class '<em>Relation Annotation</em>'.
555 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation
556 * @generated
557 */
558 EClass getRelationAnnotation();
559
560 /**
561 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation#getTarget <em>Target</em>}'.
562 * <!-- begin-user-doc -->
563 * <!-- end-user-doc -->
564 * @return the meta object for the reference '<em>Target</em>'.
565 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation#getTarget()
566 * @see #getRelationAnnotation()
567 * @generated
568 */
569 EReference getRelationAnnotation_Target();
570
571 /**
572 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation <em>Constant Annotation</em>}'.
573 * <!-- begin-user-doc -->
574 * <!-- end-user-doc -->
575 * @return the meta object for class '<em>Constant Annotation</em>'.
576 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation
577 * @generated
578 */
579 EClass getConstantAnnotation();
580
581 /**
582 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation#getTarget <em>Target</em>}'.
583 * <!-- begin-user-doc -->
584 * <!-- end-user-doc -->
585 * @return the meta object for the reference '<em>Target</em>'.
586 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation#getTarget()
587 * @see #getConstantAnnotation()
588 * @generated
589 */
590 EReference getConstantAnnotation_Target();
591
592 /**
593 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation <em>Function Annotation</em>}'.
594 * <!-- begin-user-doc -->
595 * <!-- end-user-doc -->
596 * @return the meta object for class '<em>Function Annotation</em>'.
597 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation
598 * @generated
599 */
600 EClass getFunctionAnnotation();
601
602 /**
603 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation#getTarget <em>Target</em>}'.
604 * <!-- begin-user-doc -->
605 * <!-- end-user-doc -->
606 * @return the meta object for the reference '<em>Target</em>'.
607 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation#getTarget()
608 * @see #getFunctionAnnotation()
609 * @generated
610 */
611 EReference getFunctionAnnotation_Target();
612
613 /**
614 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation <em>Assertion Annotation</em>}'.
615 * <!-- begin-user-doc -->
616 * <!-- end-user-doc -->
617 * @return the meta object for class '<em>Assertion Annotation</em>'.
618 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation
619 * @generated
620 */
621 EClass getAssertionAnnotation();
622
623 /**
624 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation#getTarget <em>Target</em>}'.
625 * <!-- begin-user-doc -->
626 * <!-- end-user-doc -->
627 * @return the meta object for the reference '<em>Target</em>'.
628 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation#getTarget()
629 * @see #getAssertionAnnotation()
630 * @generated
631 */
632 EReference getAssertionAnnotation_Target();
633
634 /**
635 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation <em>Annotation</em>}'.
636 * <!-- begin-user-doc -->
637 * <!-- end-user-doc -->
638 * @return the meta object for class '<em>Annotation</em>'.
639 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation
640 * @generated
641 */
642 EClass getAnnotation();
643
644 /**
645 * Returns the factory that creates the instances of the model.
646 * <!-- begin-user-doc -->
647 * <!-- end-user-doc -->
648 * @return the factory that creates the instances of the model.
649 * @generated
650 */
651 LogicproblemFactory getLogicproblemFactory();
652
653 /**
654 * <!-- begin-user-doc -->
655 * Defines literals for the meta objects that represent
656 * <ul>
657 * <li>each class,</li>
658 * <li>each feature of each class,</li>
659 * <li>each operation of each class,</li>
660 * <li>each enum,</li>
661 * <li>and each data type</li>
662 * </ul>
663 * <!-- end-user-doc -->
664 * @generated
665 */
666 interface Literals {
667 /**
668 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl <em>Logic Problem</em>}' class.
669 * <!-- begin-user-doc -->
670 * <!-- end-user-doc -->
671 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl
672 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getLogicProblem()
673 * @generated
674 */
675 EClass LOGIC_PROBLEM = eINSTANCE.getLogicProblem();
676
677 /**
678 * The meta object literal for the '<em><b>Types</b></em>' containment reference list feature.
679 * <!-- begin-user-doc -->
680 * <!-- end-user-doc -->
681 * @generated
682 */
683 EReference LOGIC_PROBLEM__TYPES = eINSTANCE.getLogicProblem_Types();
684
685 /**
686 * The meta object literal for the '<em><b>Functions</b></em>' containment reference list feature.
687 * <!-- begin-user-doc -->
688 * <!-- end-user-doc -->
689 * @generated
690 */
691 EReference LOGIC_PROBLEM__FUNCTIONS = eINSTANCE.getLogicProblem_Functions();
692
693 /**
694 * The meta object literal for the '<em><b>Assertions</b></em>' containment reference list feature.
695 * <!-- begin-user-doc -->
696 * <!-- end-user-doc -->
697 * @generated
698 */
699 EReference LOGIC_PROBLEM__ASSERTIONS = eINSTANCE.getLogicProblem_Assertions();
700
701 /**
702 * The meta object literal for the '<em><b>Relations</b></em>' containment reference list feature.
703 * <!-- begin-user-doc -->
704 * <!-- end-user-doc -->
705 * @generated
706 */
707 EReference LOGIC_PROBLEM__RELATIONS = eINSTANCE.getLogicProblem_Relations();
708
709 /**
710 * The meta object literal for the '<em><b>Constants</b></em>' containment reference list feature.
711 * <!-- begin-user-doc -->
712 * <!-- end-user-doc -->
713 * @generated
714 */
715 EReference LOGIC_PROBLEM__CONSTANTS = eINSTANCE.getLogicProblem_Constants();
716
717 /**
718 * The meta object literal for the '<em><b>Elements</b></em>' containment reference list feature.
719 * <!-- begin-user-doc -->
720 * <!-- end-user-doc -->
721 * @generated
722 */
723 EReference LOGIC_PROBLEM__ELEMENTS = eINSTANCE.getLogicProblem_Elements();
724
725 /**
726 * The meta object literal for the '<em><b>Containment Hierarchies</b></em>' containment reference list feature.
727 * <!-- begin-user-doc -->
728 * <!-- end-user-doc -->
729 * @generated
730 */
731 EReference LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES = eINSTANCE.getLogicProblem_ContainmentHierarchies();
732
733 /**
734 * The meta object literal for the '<em><b>Annotations</b></em>' containment reference list feature.
735 * <!-- begin-user-doc -->
736 * <!-- end-user-doc -->
737 * @generated
738 */
739 EReference LOGIC_PROBLEM__ANNOTATIONS = eINSTANCE.getLogicProblem_Annotations();
740
741 /**
742 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl <em>Containment Hierarchy</em>}' class.
743 * <!-- begin-user-doc -->
744 * <!-- end-user-doc -->
745 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl
746 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getContainmentHierarchy()
747 * @generated
748 */
749 EClass CONTAINMENT_HIERARCHY = eINSTANCE.getContainmentHierarchy();
750
751 /**
752 * The meta object literal for the '<em><b>Types Ordered In Hierarchy</b></em>' reference list feature.
753 * <!-- begin-user-doc -->
754 * <!-- end-user-doc -->
755 * @generated
756 */
757 EReference CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY = eINSTANCE.getContainmentHierarchy_TypesOrderedInHierarchy();
758
759 /**
760 * The meta object literal for the '<em><b>Containment Functions</b></em>' reference list feature.
761 * <!-- begin-user-doc -->
762 * <!-- end-user-doc -->
763 * @generated
764 */
765 EReference CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS = eINSTANCE.getContainmentHierarchy_ContainmentFunctions();
766
767 /**
768 * The meta object literal for the '<em><b>Containment Relations</b></em>' reference list feature.
769 * <!-- begin-user-doc -->
770 * <!-- end-user-doc -->
771 * @generated
772 */
773 EReference CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS = eINSTANCE.getContainmentHierarchy_ContainmentRelations();
774
775 /**
776 * The meta object literal for the '<em><b>Root Constant</b></em>' reference feature.
777 * <!-- begin-user-doc -->
778 * <!-- end-user-doc -->
779 * @generated
780 */
781 EReference CONTAINMENT_HIERARCHY__ROOT_CONSTANT = eINSTANCE.getContainmentHierarchy_RootConstant();
782
783 /**
784 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl <em>Relation Annotation</em>}' class.
785 * <!-- begin-user-doc -->
786 * <!-- end-user-doc -->
787 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl
788 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getRelationAnnotation()
789 * @generated
790 */
791 EClass RELATION_ANNOTATION = eINSTANCE.getRelationAnnotation();
792
793 /**
794 * The meta object literal for the '<em><b>Target</b></em>' reference feature.
795 * <!-- begin-user-doc -->
796 * <!-- end-user-doc -->
797 * @generated
798 */
799 EReference RELATION_ANNOTATION__TARGET = eINSTANCE.getRelationAnnotation_Target();
800
801 /**
802 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ConstantAnnotationImpl <em>Constant Annotation</em>}' class.
803 * <!-- begin-user-doc -->
804 * <!-- end-user-doc -->
805 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ConstantAnnotationImpl
806 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getConstantAnnotation()
807 * @generated
808 */
809 EClass CONSTANT_ANNOTATION = eINSTANCE.getConstantAnnotation();
810
811 /**
812 * The meta object literal for the '<em><b>Target</b></em>' reference feature.
813 * <!-- begin-user-doc -->
814 * <!-- end-user-doc -->
815 * @generated
816 */
817 EReference CONSTANT_ANNOTATION__TARGET = eINSTANCE.getConstantAnnotation_Target();
818
819 /**
820 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.FunctionAnnotationImpl <em>Function Annotation</em>}' class.
821 * <!-- begin-user-doc -->
822 * <!-- end-user-doc -->
823 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.FunctionAnnotationImpl
824 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getFunctionAnnotation()
825 * @generated
826 */
827 EClass FUNCTION_ANNOTATION = eINSTANCE.getFunctionAnnotation();
828
829 /**
830 * The meta object literal for the '<em><b>Target</b></em>' reference feature.
831 * <!-- begin-user-doc -->
832 * <!-- end-user-doc -->
833 * @generated
834 */
835 EReference FUNCTION_ANNOTATION__TARGET = eINSTANCE.getFunctionAnnotation_Target();
836
837 /**
838 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl <em>Assertion Annotation</em>}' class.
839 * <!-- begin-user-doc -->
840 * <!-- end-user-doc -->
841 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl
842 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getAssertionAnnotation()
843 * @generated
844 */
845 EClass ASSERTION_ANNOTATION = eINSTANCE.getAssertionAnnotation();
846
847 /**
848 * The meta object literal for the '<em><b>Target</b></em>' reference feature.
849 * <!-- begin-user-doc -->
850 * <!-- end-user-doc -->
851 * @generated
852 */
853 EReference ASSERTION_ANNOTATION__TARGET = eINSTANCE.getAssertionAnnotation_Target();
854
855 /**
856 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AnnotationImpl <em>Annotation</em>}' class.
857 * <!-- begin-user-doc -->
858 * <!-- end-user-doc -->
859 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AnnotationImpl
860 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl#getAnnotation()
861 * @generated
862 */
863 EClass ANNOTATION = eINSTANCE.getAnnotation();
864
865 }
866
867} //LogicproblemPackage
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/RelationAnnotation.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/RelationAnnotation.java
new file mode 100644
index 00000000..588a8c10
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/RelationAnnotation.java
@@ -0,0 +1,52 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Relation Annotation</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.logicproblem.RelationAnnotation#getTarget <em>Target</em>}</li>
17 * </ul>
18 *
19 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getRelationAnnotation()
20 * @model
21 * @generated
22 */
23public interface RelationAnnotation extends Annotation {
24 /**
25 * Returns the value of the '<em><b>Target</b></em>' reference.
26 * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation#getAnnotations <em>Annotations</em>}'.
27 * <!-- begin-user-doc -->
28 * <p>
29 * If the meaning of the '<em>Target</em>' reference isn't clear,
30 * there really should be more of a description here...
31 * </p>
32 * <!-- end-user-doc -->
33 * @return the value of the '<em>Target</em>' reference.
34 * @see #setTarget(Relation)
35 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#getRelationAnnotation_Target()
36 * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation#getAnnotations
37 * @model opposite="annotations" required="true"
38 * @generated
39 */
40 Relation getTarget();
41
42 /**
43 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation#getTarget <em>Target</em>}' reference.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @param value the new value of the '<em>Target</em>' reference.
47 * @see #getTarget()
48 * @generated
49 */
50 void setTarget(Relation value);
51
52} // RelationAnnotation
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AnnotationImpl.java
new file mode 100644
index 00000000..365aa206
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AnnotationImpl.java
@@ -0,0 +1,39 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
7
8import org.eclipse.emf.ecore.EClass;
9
10import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
11
12/**
13 * <!-- begin-user-doc -->
14 * An implementation of the model object '<em><b>Annotation</b></em>'.
15 * <!-- end-user-doc -->
16 *
17 * @generated
18 */
19public class AnnotationImpl extends MinimalEObjectImpl.Container implements Annotation {
20 /**
21 * <!-- begin-user-doc -->
22 * <!-- end-user-doc -->
23 * @generated
24 */
25 protected AnnotationImpl() {
26 super();
27 }
28
29 /**
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @generated
33 */
34 @Override
35 protected EClass eStaticClass() {
36 return LogicproblemPackage.Literals.ANNOTATION;
37 }
38
39} //AnnotationImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java
new file mode 100644
index 00000000..1e015974
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/AssertionAnnotationImpl.java
@@ -0,0 +1,211 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
8import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
10
11import org.eclipse.emf.common.notify.Notification;
12
13import org.eclipse.emf.common.notify.NotificationChain;
14import org.eclipse.emf.ecore.EClass;
15import org.eclipse.emf.ecore.InternalEObject;
16
17import org.eclipse.emf.ecore.impl.ENotificationImpl;
18
19/**
20 * <!-- begin-user-doc -->
21 * An implementation of the model object '<em><b>Assertion Annotation</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.logicproblem.impl.AssertionAnnotationImpl#getTarget <em>Target</em>}</li>
28 * </ul>
29 *
30 * @generated
31 */
32public class AssertionAnnotationImpl extends AnnotationImpl implements AssertionAnnotation {
33 /**
34 * The cached value of the '{@link #getTarget() <em>Target</em>}' reference.
35 * <!-- begin-user-doc -->
36 * <!-- end-user-doc -->
37 * @see #getTarget()
38 * @generated
39 * @ordered
40 */
41 protected Assertion target;
42
43 /**
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @generated
47 */
48 protected AssertionAnnotationImpl() {
49 super();
50 }
51
52 /**
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @generated
56 */
57 @Override
58 protected EClass eStaticClass() {
59 return LogicproblemPackage.Literals.ASSERTION_ANNOTATION;
60 }
61
62 /**
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @generated
66 */
67 public Assertion getTarget() {
68 if (target != null && target.eIsProxy()) {
69 InternalEObject oldTarget = (InternalEObject)target;
70 target = (Assertion)eResolveProxy(oldTarget);
71 if (target != oldTarget) {
72 if (eNotificationRequired())
73 eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogicproblemPackage.ASSERTION_ANNOTATION__TARGET, oldTarget, target));
74 }
75 }
76 return target;
77 }
78
79 /**
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 */
84 public Assertion basicGetTarget() {
85 return target;
86 }
87
88 /**
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 */
93 public NotificationChain basicSetTarget(Assertion newTarget, NotificationChain msgs) {
94 Assertion oldTarget = target;
95 target = newTarget;
96 if (eNotificationRequired()) {
97 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogicproblemPackage.ASSERTION_ANNOTATION__TARGET, oldTarget, newTarget);
98 if (msgs == null) msgs = notification; else msgs.add(notification);
99 }
100 return msgs;
101 }
102
103 /**
104 * <!-- begin-user-doc -->
105 * <!-- end-user-doc -->
106 * @generated
107 */
108 public void setTarget(Assertion newTarget) {
109 if (newTarget != target) {
110 NotificationChain msgs = null;
111 if (target != null)
112 msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.ASSERTION__ANNOTATIONS, Assertion.class, msgs);
113 if (newTarget != null)
114 msgs = ((InternalEObject)newTarget).eInverseAdd(this, LogiclanguagePackage.ASSERTION__ANNOTATIONS, Assertion.class, msgs);
115 msgs = basicSetTarget(newTarget, msgs);
116 if (msgs != null) msgs.dispatch();
117 }
118 else if (eNotificationRequired())
119 eNotify(new ENotificationImpl(this, Notification.SET, LogicproblemPackage.ASSERTION_ANNOTATION__TARGET, newTarget, newTarget));
120 }
121
122 /**
123 * <!-- begin-user-doc -->
124 * <!-- end-user-doc -->
125 * @generated
126 */
127 @Override
128 public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
129 switch (featureID) {
130 case LogicproblemPackage.ASSERTION_ANNOTATION__TARGET:
131 if (target != null)
132 msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.ASSERTION__ANNOTATIONS, Assertion.class, msgs);
133 return basicSetTarget((Assertion)otherEnd, msgs);
134 }
135 return super.eInverseAdd(otherEnd, featureID, msgs);
136 }
137
138 /**
139 * <!-- begin-user-doc -->
140 * <!-- end-user-doc -->
141 * @generated
142 */
143 @Override
144 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
145 switch (featureID) {
146 case LogicproblemPackage.ASSERTION_ANNOTATION__TARGET:
147 return basicSetTarget(null, msgs);
148 }
149 return super.eInverseRemove(otherEnd, featureID, msgs);
150 }
151
152 /**
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @generated
156 */
157 @Override
158 public Object eGet(int featureID, boolean resolve, boolean coreType) {
159 switch (featureID) {
160 case LogicproblemPackage.ASSERTION_ANNOTATION__TARGET:
161 if (resolve) return getTarget();
162 return basicGetTarget();
163 }
164 return super.eGet(featureID, resolve, coreType);
165 }
166
167 /**
168 * <!-- begin-user-doc -->
169 * <!-- end-user-doc -->
170 * @generated
171 */
172 @Override
173 public void eSet(int featureID, Object newValue) {
174 switch (featureID) {
175 case LogicproblemPackage.ASSERTION_ANNOTATION__TARGET:
176 setTarget((Assertion)newValue);
177 return;
178 }
179 super.eSet(featureID, newValue);
180 }
181
182 /**
183 * <!-- begin-user-doc -->
184 * <!-- end-user-doc -->
185 * @generated
186 */
187 @Override
188 public void eUnset(int featureID) {
189 switch (featureID) {
190 case LogicproblemPackage.ASSERTION_ANNOTATION__TARGET:
191 setTarget((Assertion)null);
192 return;
193 }
194 super.eUnset(featureID);
195 }
196
197 /**
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @generated
201 */
202 @Override
203 public boolean eIsSet(int featureID) {
204 switch (featureID) {
205 case LogicproblemPackage.ASSERTION_ANNOTATION__TARGET:
206 return target != null;
207 }
208 return super.eIsSet(featureID);
209 }
210
211} //AssertionAnnotationImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ConstantAnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ConstantAnnotationImpl.java
new file mode 100644
index 00000000..734ce70c
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ConstantAnnotationImpl.java
@@ -0,0 +1,211 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
8import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation;
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
10
11import org.eclipse.emf.common.notify.Notification;
12
13import org.eclipse.emf.common.notify.NotificationChain;
14import org.eclipse.emf.ecore.EClass;
15import org.eclipse.emf.ecore.InternalEObject;
16
17import org.eclipse.emf.ecore.impl.ENotificationImpl;
18
19/**
20 * <!-- begin-user-doc -->
21 * An implementation of the model object '<em><b>Constant Annotation</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.logicproblem.impl.ConstantAnnotationImpl#getTarget <em>Target</em>}</li>
28 * </ul>
29 *
30 * @generated
31 */
32public class ConstantAnnotationImpl extends AnnotationImpl implements ConstantAnnotation {
33 /**
34 * The cached value of the '{@link #getTarget() <em>Target</em>}' reference.
35 * <!-- begin-user-doc -->
36 * <!-- end-user-doc -->
37 * @see #getTarget()
38 * @generated
39 * @ordered
40 */
41 protected Constant target;
42
43 /**
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @generated
47 */
48 protected ConstantAnnotationImpl() {
49 super();
50 }
51
52 /**
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @generated
56 */
57 @Override
58 protected EClass eStaticClass() {
59 return LogicproblemPackage.Literals.CONSTANT_ANNOTATION;
60 }
61
62 /**
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @generated
66 */
67 public Constant getTarget() {
68 if (target != null && target.eIsProxy()) {
69 InternalEObject oldTarget = (InternalEObject)target;
70 target = (Constant)eResolveProxy(oldTarget);
71 if (target != oldTarget) {
72 if (eNotificationRequired())
73 eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogicproblemPackage.CONSTANT_ANNOTATION__TARGET, oldTarget, target));
74 }
75 }
76 return target;
77 }
78
79 /**
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 */
84 public Constant basicGetTarget() {
85 return target;
86 }
87
88 /**
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 */
93 public NotificationChain basicSetTarget(Constant newTarget, NotificationChain msgs) {
94 Constant oldTarget = target;
95 target = newTarget;
96 if (eNotificationRequired()) {
97 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogicproblemPackage.CONSTANT_ANNOTATION__TARGET, oldTarget, newTarget);
98 if (msgs == null) msgs = notification; else msgs.add(notification);
99 }
100 return msgs;
101 }
102
103 /**
104 * <!-- begin-user-doc -->
105 * <!-- end-user-doc -->
106 * @generated
107 */
108 public void setTarget(Constant newTarget) {
109 if (newTarget != target) {
110 NotificationChain msgs = null;
111 if (target != null)
112 msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.CONSTANT__ANNOTATIONS, Constant.class, msgs);
113 if (newTarget != null)
114 msgs = ((InternalEObject)newTarget).eInverseAdd(this, LogiclanguagePackage.CONSTANT__ANNOTATIONS, Constant.class, msgs);
115 msgs = basicSetTarget(newTarget, msgs);
116 if (msgs != null) msgs.dispatch();
117 }
118 else if (eNotificationRequired())
119 eNotify(new ENotificationImpl(this, Notification.SET, LogicproblemPackage.CONSTANT_ANNOTATION__TARGET, newTarget, newTarget));
120 }
121
122 /**
123 * <!-- begin-user-doc -->
124 * <!-- end-user-doc -->
125 * @generated
126 */
127 @Override
128 public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
129 switch (featureID) {
130 case LogicproblemPackage.CONSTANT_ANNOTATION__TARGET:
131 if (target != null)
132 msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.CONSTANT__ANNOTATIONS, Constant.class, msgs);
133 return basicSetTarget((Constant)otherEnd, msgs);
134 }
135 return super.eInverseAdd(otherEnd, featureID, msgs);
136 }
137
138 /**
139 * <!-- begin-user-doc -->
140 * <!-- end-user-doc -->
141 * @generated
142 */
143 @Override
144 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
145 switch (featureID) {
146 case LogicproblemPackage.CONSTANT_ANNOTATION__TARGET:
147 return basicSetTarget(null, msgs);
148 }
149 return super.eInverseRemove(otherEnd, featureID, msgs);
150 }
151
152 /**
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @generated
156 */
157 @Override
158 public Object eGet(int featureID, boolean resolve, boolean coreType) {
159 switch (featureID) {
160 case LogicproblemPackage.CONSTANT_ANNOTATION__TARGET:
161 if (resolve) return getTarget();
162 return basicGetTarget();
163 }
164 return super.eGet(featureID, resolve, coreType);
165 }
166
167 /**
168 * <!-- begin-user-doc -->
169 * <!-- end-user-doc -->
170 * @generated
171 */
172 @Override
173 public void eSet(int featureID, Object newValue) {
174 switch (featureID) {
175 case LogicproblemPackage.CONSTANT_ANNOTATION__TARGET:
176 setTarget((Constant)newValue);
177 return;
178 }
179 super.eSet(featureID, newValue);
180 }
181
182 /**
183 * <!-- begin-user-doc -->
184 * <!-- end-user-doc -->
185 * @generated
186 */
187 @Override
188 public void eUnset(int featureID) {
189 switch (featureID) {
190 case LogicproblemPackage.CONSTANT_ANNOTATION__TARGET:
191 setTarget((Constant)null);
192 return;
193 }
194 super.eUnset(featureID);
195 }
196
197 /**
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @generated
201 */
202 @Override
203 public boolean eIsSet(int featureID) {
204 switch (featureID) {
205 case LogicproblemPackage.CONSTANT_ANNOTATION__TARGET:
206 return target != null;
207 }
208 return super.eIsSet(featureID);
209 }
210
211} //ConstantAnnotationImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java
new file mode 100644
index 00000000..909f49a5
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java
@@ -0,0 +1,270 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function;
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
8import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type;
9
10import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy;
11import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
12
13import java.util.Collection;
14
15import org.eclipse.emf.common.notify.Notification;
16
17import org.eclipse.emf.common.util.EList;
18
19import org.eclipse.emf.ecore.EClass;
20import org.eclipse.emf.ecore.InternalEObject;
21
22import org.eclipse.emf.ecore.impl.ENotificationImpl;
23import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
24
25import org.eclipse.emf.ecore.util.EObjectResolvingEList;
26
27/**
28 * <!-- begin-user-doc -->
29 * An implementation of the model object '<em><b>Containment Hierarchy</b></em>'.
30 * <!-- end-user-doc -->
31 * <p>
32 * The following features are implemented:
33 * </p>
34 * <ul>
35 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl#getTypesOrderedInHierarchy <em>Types Ordered In Hierarchy</em>}</li>
36 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl#getContainmentFunctions <em>Containment Functions</em>}</li>
37 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl#getContainmentRelations <em>Containment Relations</em>}</li>
38 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.ContainmentHierarchyImpl#getRootConstant <em>Root Constant</em>}</li>
39 * </ul>
40 *
41 * @generated
42 */
43public class ContainmentHierarchyImpl extends MinimalEObjectImpl.Container implements ContainmentHierarchy {
44 /**
45 * The cached value of the '{@link #getTypesOrderedInHierarchy() <em>Types Ordered In Hierarchy</em>}' reference list.
46 * <!-- begin-user-doc -->
47 * <!-- end-user-doc -->
48 * @see #getTypesOrderedInHierarchy()
49 * @generated
50 * @ordered
51 */
52 protected EList<Type> typesOrderedInHierarchy;
53
54 /**
55 * The cached value of the '{@link #getContainmentFunctions() <em>Containment Functions</em>}' reference list.
56 * <!-- begin-user-doc -->
57 * <!-- end-user-doc -->
58 * @see #getContainmentFunctions()
59 * @generated
60 * @ordered
61 */
62 protected EList<Function> containmentFunctions;
63
64 /**
65 * The cached value of the '{@link #getContainmentRelations() <em>Containment Relations</em>}' reference list.
66 * <!-- begin-user-doc -->
67 * <!-- end-user-doc -->
68 * @see #getContainmentRelations()
69 * @generated
70 * @ordered
71 */
72 protected EList<Relation> containmentRelations;
73
74 /**
75 * The cached value of the '{@link #getRootConstant() <em>Root Constant</em>}' reference.
76 * <!-- begin-user-doc -->
77 * <!-- end-user-doc -->
78 * @see #getRootConstant()
79 * @generated
80 * @ordered
81 */
82 protected Constant rootConstant;
83
84 /**
85 * <!-- begin-user-doc -->
86 * <!-- end-user-doc -->
87 * @generated
88 */
89 protected ContainmentHierarchyImpl() {
90 super();
91 }
92
93 /**
94 * <!-- begin-user-doc -->
95 * <!-- end-user-doc -->
96 * @generated
97 */
98 @Override
99 protected EClass eStaticClass() {
100 return LogicproblemPackage.Literals.CONTAINMENT_HIERARCHY;
101 }
102
103 /**
104 * <!-- begin-user-doc -->
105 * <!-- end-user-doc -->
106 * @generated
107 */
108 public EList<Type> getTypesOrderedInHierarchy() {
109 if (typesOrderedInHierarchy == null) {
110 typesOrderedInHierarchy = new EObjectResolvingEList<Type>(Type.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY);
111 }
112 return typesOrderedInHierarchy;
113 }
114
115 /**
116 * <!-- begin-user-doc -->
117 * <!-- end-user-doc -->
118 * @generated
119 */
120 public EList<Function> getContainmentFunctions() {
121 if (containmentFunctions == null) {
122 containmentFunctions = new EObjectResolvingEList<Function>(Function.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS);
123 }
124 return containmentFunctions;
125 }
126
127 /**
128 * <!-- begin-user-doc -->
129 * <!-- end-user-doc -->
130 * @generated
131 */
132 public EList<Relation> getContainmentRelations() {
133 if (containmentRelations == null) {
134 containmentRelations = new EObjectResolvingEList<Relation>(Relation.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS);
135 }
136 return containmentRelations;
137 }
138
139 /**
140 * <!-- begin-user-doc -->
141 * <!-- end-user-doc -->
142 * @generated
143 */
144 public Constant getRootConstant() {
145 if (rootConstant != null && rootConstant.eIsProxy()) {
146 InternalEObject oldRootConstant = (InternalEObject)rootConstant;
147 rootConstant = (Constant)eResolveProxy(oldRootConstant);
148 if (rootConstant != oldRootConstant) {
149 if (eNotificationRequired())
150 eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogicproblemPackage.CONTAINMENT_HIERARCHY__ROOT_CONSTANT, oldRootConstant, rootConstant));
151 }
152 }
153 return rootConstant;
154 }
155
156 /**
157 * <!-- begin-user-doc -->
158 * <!-- end-user-doc -->
159 * @generated
160 */
161 public Constant basicGetRootConstant() {
162 return rootConstant;
163 }
164
165 /**
166 * <!-- begin-user-doc -->
167 * <!-- end-user-doc -->
168 * @generated
169 */
170 public void setRootConstant(Constant newRootConstant) {
171 Constant oldRootConstant = rootConstant;
172 rootConstant = newRootConstant;
173 if (eNotificationRequired())
174 eNotify(new ENotificationImpl(this, Notification.SET, LogicproblemPackage.CONTAINMENT_HIERARCHY__ROOT_CONSTANT, oldRootConstant, rootConstant));
175 }
176
177 /**
178 * <!-- begin-user-doc -->
179 * <!-- end-user-doc -->
180 * @generated
181 */
182 @Override
183 public Object eGet(int featureID, boolean resolve, boolean coreType) {
184 switch (featureID) {
185 case LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY:
186 return getTypesOrderedInHierarchy();
187 case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS:
188 return getContainmentFunctions();
189 case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS:
190 return getContainmentRelations();
191 case LogicproblemPackage.CONTAINMENT_HIERARCHY__ROOT_CONSTANT:
192 if (resolve) return getRootConstant();
193 return basicGetRootConstant();
194 }
195 return super.eGet(featureID, resolve, coreType);
196 }
197
198 /**
199 * <!-- begin-user-doc -->
200 * <!-- end-user-doc -->
201 * @generated
202 */
203 @SuppressWarnings("unchecked")
204 @Override
205 public void eSet(int featureID, Object newValue) {
206 switch (featureID) {
207 case LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY:
208 getTypesOrderedInHierarchy().clear();
209 getTypesOrderedInHierarchy().addAll((Collection<? extends Type>)newValue);
210 return;
211 case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS:
212 getContainmentFunctions().clear();
213 getContainmentFunctions().addAll((Collection<? extends Function>)newValue);
214 return;
215 case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS:
216 getContainmentRelations().clear();
217 getContainmentRelations().addAll((Collection<? extends Relation>)newValue);
218 return;
219 case LogicproblemPackage.CONTAINMENT_HIERARCHY__ROOT_CONSTANT:
220 setRootConstant((Constant)newValue);
221 return;
222 }
223 super.eSet(featureID, newValue);
224 }
225
226 /**
227 * <!-- begin-user-doc -->
228 * <!-- end-user-doc -->
229 * @generated
230 */
231 @Override
232 public void eUnset(int featureID) {
233 switch (featureID) {
234 case LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY:
235 getTypesOrderedInHierarchy().clear();
236 return;
237 case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS:
238 getContainmentFunctions().clear();
239 return;
240 case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS:
241 getContainmentRelations().clear();
242 return;
243 case LogicproblemPackage.CONTAINMENT_HIERARCHY__ROOT_CONSTANT:
244 setRootConstant((Constant)null);
245 return;
246 }
247 super.eUnset(featureID);
248 }
249
250 /**
251 * <!-- begin-user-doc -->
252 * <!-- end-user-doc -->
253 * @generated
254 */
255 @Override
256 public boolean eIsSet(int featureID) {
257 switch (featureID) {
258 case LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY:
259 return typesOrderedInHierarchy != null && !typesOrderedInHierarchy.isEmpty();
260 case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS:
261 return containmentFunctions != null && !containmentFunctions.isEmpty();
262 case LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS:
263 return containmentRelations != null && !containmentRelations.isEmpty();
264 case LogicproblemPackage.CONTAINMENT_HIERARCHY__ROOT_CONSTANT:
265 return rootConstant != null;
266 }
267 return super.eIsSet(featureID);
268 }
269
270} //ContainmentHierarchyImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/FunctionAnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/FunctionAnnotationImpl.java
new file mode 100644
index 00000000..77ee58c2
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/FunctionAnnotationImpl.java
@@ -0,0 +1,211 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
8import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation;
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
10
11import org.eclipse.emf.common.notify.Notification;
12
13import org.eclipse.emf.common.notify.NotificationChain;
14import org.eclipse.emf.ecore.EClass;
15import org.eclipse.emf.ecore.InternalEObject;
16
17import org.eclipse.emf.ecore.impl.ENotificationImpl;
18
19/**
20 * <!-- begin-user-doc -->
21 * An implementation of the model object '<em><b>Function Annotation</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.logicproblem.impl.FunctionAnnotationImpl#getTarget <em>Target</em>}</li>
28 * </ul>
29 *
30 * @generated
31 */
32public class FunctionAnnotationImpl extends AnnotationImpl implements FunctionAnnotation {
33 /**
34 * The cached value of the '{@link #getTarget() <em>Target</em>}' reference.
35 * <!-- begin-user-doc -->
36 * <!-- end-user-doc -->
37 * @see #getTarget()
38 * @generated
39 * @ordered
40 */
41 protected Function target;
42
43 /**
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @generated
47 */
48 protected FunctionAnnotationImpl() {
49 super();
50 }
51
52 /**
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @generated
56 */
57 @Override
58 protected EClass eStaticClass() {
59 return LogicproblemPackage.Literals.FUNCTION_ANNOTATION;
60 }
61
62 /**
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @generated
66 */
67 public Function getTarget() {
68 if (target != null && target.eIsProxy()) {
69 InternalEObject oldTarget = (InternalEObject)target;
70 target = (Function)eResolveProxy(oldTarget);
71 if (target != oldTarget) {
72 if (eNotificationRequired())
73 eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogicproblemPackage.FUNCTION_ANNOTATION__TARGET, oldTarget, target));
74 }
75 }
76 return target;
77 }
78
79 /**
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 */
84 public Function basicGetTarget() {
85 return target;
86 }
87
88 /**
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 */
93 public NotificationChain basicSetTarget(Function newTarget, NotificationChain msgs) {
94 Function oldTarget = target;
95 target = newTarget;
96 if (eNotificationRequired()) {
97 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogicproblemPackage.FUNCTION_ANNOTATION__TARGET, oldTarget, newTarget);
98 if (msgs == null) msgs = notification; else msgs.add(notification);
99 }
100 return msgs;
101 }
102
103 /**
104 * <!-- begin-user-doc -->
105 * <!-- end-user-doc -->
106 * @generated
107 */
108 public void setTarget(Function newTarget) {
109 if (newTarget != target) {
110 NotificationChain msgs = null;
111 if (target != null)
112 msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.FUNCTION__ANNOTATIONS, Function.class, msgs);
113 if (newTarget != null)
114 msgs = ((InternalEObject)newTarget).eInverseAdd(this, LogiclanguagePackage.FUNCTION__ANNOTATIONS, Function.class, msgs);
115 msgs = basicSetTarget(newTarget, msgs);
116 if (msgs != null) msgs.dispatch();
117 }
118 else if (eNotificationRequired())
119 eNotify(new ENotificationImpl(this, Notification.SET, LogicproblemPackage.FUNCTION_ANNOTATION__TARGET, newTarget, newTarget));
120 }
121
122 /**
123 * <!-- begin-user-doc -->
124 * <!-- end-user-doc -->
125 * @generated
126 */
127 @Override
128 public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
129 switch (featureID) {
130 case LogicproblemPackage.FUNCTION_ANNOTATION__TARGET:
131 if (target != null)
132 msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.FUNCTION__ANNOTATIONS, Function.class, msgs);
133 return basicSetTarget((Function)otherEnd, msgs);
134 }
135 return super.eInverseAdd(otherEnd, featureID, msgs);
136 }
137
138 /**
139 * <!-- begin-user-doc -->
140 * <!-- end-user-doc -->
141 * @generated
142 */
143 @Override
144 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
145 switch (featureID) {
146 case LogicproblemPackage.FUNCTION_ANNOTATION__TARGET:
147 return basicSetTarget(null, msgs);
148 }
149 return super.eInverseRemove(otherEnd, featureID, msgs);
150 }
151
152 /**
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @generated
156 */
157 @Override
158 public Object eGet(int featureID, boolean resolve, boolean coreType) {
159 switch (featureID) {
160 case LogicproblemPackage.FUNCTION_ANNOTATION__TARGET:
161 if (resolve) return getTarget();
162 return basicGetTarget();
163 }
164 return super.eGet(featureID, resolve, coreType);
165 }
166
167 /**
168 * <!-- begin-user-doc -->
169 * <!-- end-user-doc -->
170 * @generated
171 */
172 @Override
173 public void eSet(int featureID, Object newValue) {
174 switch (featureID) {
175 case LogicproblemPackage.FUNCTION_ANNOTATION__TARGET:
176 setTarget((Function)newValue);
177 return;
178 }
179 super.eSet(featureID, newValue);
180 }
181
182 /**
183 * <!-- begin-user-doc -->
184 * <!-- end-user-doc -->
185 * @generated
186 */
187 @Override
188 public void eUnset(int featureID) {
189 switch (featureID) {
190 case LogicproblemPackage.FUNCTION_ANNOTATION__TARGET:
191 setTarget((Function)null);
192 return;
193 }
194 super.eUnset(featureID);
195 }
196
197 /**
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @generated
201 */
202 @Override
203 public boolean eIsSet(int featureID) {
204 switch (featureID) {
205 case LogicproblemPackage.FUNCTION_ANNOTATION__TARGET:
206 return target != null;
207 }
208 return super.eIsSet(featureID);
209 }
210
211} //FunctionAnnotationImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicProblemImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicProblemImpl.java
new file mode 100644
index 00000000..70b31163
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicProblemImpl.java
@@ -0,0 +1,411 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant;
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
8import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function;
9import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
10import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type;
11import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
12import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy;
13import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
14import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
15
16import java.util.Collection;
17
18import org.eclipse.emf.common.notify.NotificationChain;
19
20import org.eclipse.emf.common.util.EList;
21
22import org.eclipse.emf.ecore.EClass;
23import org.eclipse.emf.ecore.InternalEObject;
24
25import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
26
27import org.eclipse.emf.ecore.util.EObjectContainmentEList;
28import org.eclipse.emf.ecore.util.InternalEList;
29
30/**
31 * <!-- begin-user-doc -->
32 * An implementation of the model object '<em><b>Logic Problem</b></em>'.
33 * <!-- end-user-doc -->
34 * <p>
35 * The following features are implemented:
36 * </p>
37 * <ul>
38 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getTypes <em>Types</em>}</li>
39 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getFunctions <em>Functions</em>}</li>
40 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getAssertions <em>Assertions</em>}</li>
41 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getRelations <em>Relations</em>}</li>
42 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getConstants <em>Constants</em>}</li>
43 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getElements <em>Elements</em>}</li>
44 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getContainmentHierarchies <em>Containment Hierarchies</em>}</li>
45 * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicProblemImpl#getAnnotations <em>Annotations</em>}</li>
46 * </ul>
47 *
48 * @generated
49 */
50public class LogicProblemImpl extends MinimalEObjectImpl.Container implements LogicProblem {
51 /**
52 * The cached value of the '{@link #getTypes() <em>Types</em>}' containment reference list.
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @see #getTypes()
56 * @generated
57 * @ordered
58 */
59 protected EList<Type> types;
60
61 /**
62 * The cached value of the '{@link #getFunctions() <em>Functions</em>}' containment reference list.
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @see #getFunctions()
66 * @generated
67 * @ordered
68 */
69 protected EList<Function> functions;
70
71 /**
72 * The cached value of the '{@link #getAssertions() <em>Assertions</em>}' containment reference list.
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @see #getAssertions()
76 * @generated
77 * @ordered
78 */
79 protected EList<Assertion> assertions;
80
81 /**
82 * The cached value of the '{@link #getRelations() <em>Relations</em>}' containment reference list.
83 * <!-- begin-user-doc -->
84 * <!-- end-user-doc -->
85 * @see #getRelations()
86 * @generated
87 * @ordered
88 */
89 protected EList<Relation> relations;
90
91 /**
92 * The cached value of the '{@link #getConstants() <em>Constants</em>}' containment reference list.
93 * <!-- begin-user-doc -->
94 * <!-- end-user-doc -->
95 * @see #getConstants()
96 * @generated
97 * @ordered
98 */
99 protected EList<Constant> constants;
100
101 /**
102 * The cached value of the '{@link #getElements() <em>Elements</em>}' containment reference list.
103 * <!-- begin-user-doc -->
104 * <!-- end-user-doc -->
105 * @see #getElements()
106 * @generated
107 * @ordered
108 */
109 protected EList<DefinedElement> elements;
110
111 /**
112 * The cached value of the '{@link #getContainmentHierarchies() <em>Containment Hierarchies</em>}' containment reference list.
113 * <!-- begin-user-doc -->
114 * <!-- end-user-doc -->
115 * @see #getContainmentHierarchies()
116 * @generated
117 * @ordered
118 */
119 protected EList<ContainmentHierarchy> containmentHierarchies;
120
121 /**
122 * The cached value of the '{@link #getAnnotations() <em>Annotations</em>}' containment reference list.
123 * <!-- begin-user-doc -->
124 * <!-- end-user-doc -->
125 * @see #getAnnotations()
126 * @generated
127 * @ordered
128 */
129 protected EList<Annotation> annotations;
130
131 /**
132 * <!-- begin-user-doc -->
133 * <!-- end-user-doc -->
134 * @generated
135 */
136 protected LogicProblemImpl() {
137 super();
138 }
139
140 /**
141 * <!-- begin-user-doc -->
142 * <!-- end-user-doc -->
143 * @generated
144 */
145 @Override
146 protected EClass eStaticClass() {
147 return LogicproblemPackage.Literals.LOGIC_PROBLEM;
148 }
149
150 /**
151 * <!-- begin-user-doc -->
152 * <!-- end-user-doc -->
153 * @generated
154 */
155 public EList<Type> getTypes() {
156 if (types == null) {
157 types = new EObjectContainmentEList<Type>(Type.class, this, LogicproblemPackage.LOGIC_PROBLEM__TYPES);
158 }
159 return types;
160 }
161
162 /**
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @generated
166 */
167 public EList<Function> getFunctions() {
168 if (functions == null) {
169 functions = new EObjectContainmentEList<Function>(Function.class, this, LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS);
170 }
171 return functions;
172 }
173
174 /**
175 * <!-- begin-user-doc -->
176 * <!-- end-user-doc -->
177 * @generated
178 */
179 public EList<Assertion> getAssertions() {
180 if (assertions == null) {
181 assertions = new EObjectContainmentEList<Assertion>(Assertion.class, this, LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS);
182 }
183 return assertions;
184 }
185
186 /**
187 * <!-- begin-user-doc -->
188 * <!-- end-user-doc -->
189 * @generated
190 */
191 public EList<Relation> getRelations() {
192 if (relations == null) {
193 relations = new EObjectContainmentEList<Relation>(Relation.class, this, LogicproblemPackage.LOGIC_PROBLEM__RELATIONS);
194 }
195 return relations;
196 }
197
198 /**
199 * <!-- begin-user-doc -->
200 * <!-- end-user-doc -->
201 * @generated
202 */
203 public EList<Constant> getConstants() {
204 if (constants == null) {
205 constants = new EObjectContainmentEList<Constant>(Constant.class, this, LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS);
206 }
207 return constants;
208 }
209
210 /**
211 * <!-- begin-user-doc -->
212 * <!-- end-user-doc -->
213 * @generated
214 */
215 public EList<DefinedElement> getElements() {
216 if (elements == null) {
217 elements = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS);
218 }
219 return elements;
220 }
221
222 /**
223 * <!-- begin-user-doc -->
224 * <!-- end-user-doc -->
225 * @generated
226 */
227 public EList<ContainmentHierarchy> getContainmentHierarchies() {
228 if (containmentHierarchies == null) {
229 containmentHierarchies = new EObjectContainmentEList<ContainmentHierarchy>(ContainmentHierarchy.class, this, LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES);
230 }
231 return containmentHierarchies;
232 }
233
234 /**
235 * <!-- begin-user-doc -->
236 * <!-- end-user-doc -->
237 * @generated
238 */
239 public EList<Annotation> getAnnotations() {
240 if (annotations == null) {
241 annotations = new EObjectContainmentEList<Annotation>(Annotation.class, this, LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS);
242 }
243 return annotations;
244 }
245
246 /**
247 * <!-- begin-user-doc -->
248 * <!-- end-user-doc -->
249 * @generated
250 */
251 @Override
252 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
253 switch (featureID) {
254 case LogicproblemPackage.LOGIC_PROBLEM__TYPES:
255 return ((InternalEList<?>)getTypes()).basicRemove(otherEnd, msgs);
256 case LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS:
257 return ((InternalEList<?>)getFunctions()).basicRemove(otherEnd, msgs);
258 case LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS:
259 return ((InternalEList<?>)getAssertions()).basicRemove(otherEnd, msgs);
260 case LogicproblemPackage.LOGIC_PROBLEM__RELATIONS:
261 return ((InternalEList<?>)getRelations()).basicRemove(otherEnd, msgs);
262 case LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS:
263 return ((InternalEList<?>)getConstants()).basicRemove(otherEnd, msgs);
264 case LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS:
265 return ((InternalEList<?>)getElements()).basicRemove(otherEnd, msgs);
266 case LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES:
267 return ((InternalEList<?>)getContainmentHierarchies()).basicRemove(otherEnd, msgs);
268 case LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS:
269 return ((InternalEList<?>)getAnnotations()).basicRemove(otherEnd, msgs);
270 }
271 return super.eInverseRemove(otherEnd, featureID, msgs);
272 }
273
274 /**
275 * <!-- begin-user-doc -->
276 * <!-- end-user-doc -->
277 * @generated
278 */
279 @Override
280 public Object eGet(int featureID, boolean resolve, boolean coreType) {
281 switch (featureID) {
282 case LogicproblemPackage.LOGIC_PROBLEM__TYPES:
283 return getTypes();
284 case LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS:
285 return getFunctions();
286 case LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS:
287 return getAssertions();
288 case LogicproblemPackage.LOGIC_PROBLEM__RELATIONS:
289 return getRelations();
290 case LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS:
291 return getConstants();
292 case LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS:
293 return getElements();
294 case LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES:
295 return getContainmentHierarchies();
296 case LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS:
297 return getAnnotations();
298 }
299 return super.eGet(featureID, resolve, coreType);
300 }
301
302 /**
303 * <!-- begin-user-doc -->
304 * <!-- end-user-doc -->
305 * @generated
306 */
307 @SuppressWarnings("unchecked")
308 @Override
309 public void eSet(int featureID, Object newValue) {
310 switch (featureID) {
311 case LogicproblemPackage.LOGIC_PROBLEM__TYPES:
312 getTypes().clear();
313 getTypes().addAll((Collection<? extends Type>)newValue);
314 return;
315 case LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS:
316 getFunctions().clear();
317 getFunctions().addAll((Collection<? extends Function>)newValue);
318 return;
319 case LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS:
320 getAssertions().clear();
321 getAssertions().addAll((Collection<? extends Assertion>)newValue);
322 return;
323 case LogicproblemPackage.LOGIC_PROBLEM__RELATIONS:
324 getRelations().clear();
325 getRelations().addAll((Collection<? extends Relation>)newValue);
326 return;
327 case LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS:
328 getConstants().clear();
329 getConstants().addAll((Collection<? extends Constant>)newValue);
330 return;
331 case LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS:
332 getElements().clear();
333 getElements().addAll((Collection<? extends DefinedElement>)newValue);
334 return;
335 case LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES:
336 getContainmentHierarchies().clear();
337 getContainmentHierarchies().addAll((Collection<? extends ContainmentHierarchy>)newValue);
338 return;
339 case LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS:
340 getAnnotations().clear();
341 getAnnotations().addAll((Collection<? extends Annotation>)newValue);
342 return;
343 }
344 super.eSet(featureID, newValue);
345 }
346
347 /**
348 * <!-- begin-user-doc -->
349 * <!-- end-user-doc -->
350 * @generated
351 */
352 @Override
353 public void eUnset(int featureID) {
354 switch (featureID) {
355 case LogicproblemPackage.LOGIC_PROBLEM__TYPES:
356 getTypes().clear();
357 return;
358 case LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS:
359 getFunctions().clear();
360 return;
361 case LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS:
362 getAssertions().clear();
363 return;
364 case LogicproblemPackage.LOGIC_PROBLEM__RELATIONS:
365 getRelations().clear();
366 return;
367 case LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS:
368 getConstants().clear();
369 return;
370 case LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS:
371 getElements().clear();
372 return;
373 case LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES:
374 getContainmentHierarchies().clear();
375 return;
376 case LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS:
377 getAnnotations().clear();
378 return;
379 }
380 super.eUnset(featureID);
381 }
382
383 /**
384 * <!-- begin-user-doc -->
385 * <!-- end-user-doc -->
386 * @generated
387 */
388 @Override
389 public boolean eIsSet(int featureID) {
390 switch (featureID) {
391 case LogicproblemPackage.LOGIC_PROBLEM__TYPES:
392 return types != null && !types.isEmpty();
393 case LogicproblemPackage.LOGIC_PROBLEM__FUNCTIONS:
394 return functions != null && !functions.isEmpty();
395 case LogicproblemPackage.LOGIC_PROBLEM__ASSERTIONS:
396 return assertions != null && !assertions.isEmpty();
397 case LogicproblemPackage.LOGIC_PROBLEM__RELATIONS:
398 return relations != null && !relations.isEmpty();
399 case LogicproblemPackage.LOGIC_PROBLEM__CONSTANTS:
400 return constants != null && !constants.isEmpty();
401 case LogicproblemPackage.LOGIC_PROBLEM__ELEMENTS:
402 return elements != null && !elements.isEmpty();
403 case LogicproblemPackage.LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES:
404 return containmentHierarchies != null && !containmentHierarchies.isEmpty();
405 case LogicproblemPackage.LOGIC_PROBLEM__ANNOTATIONS:
406 return annotations != null && !annotations.isEmpty();
407 }
408 return super.eIsSet(featureID);
409 }
410
411} //LogicProblemImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemFactoryImpl.java
new file mode 100644
index 00000000..66a8f116
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemFactoryImpl.java
@@ -0,0 +1,161 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.*;
6
7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EObject;
9import org.eclipse.emf.ecore.EPackage;
10
11import org.eclipse.emf.ecore.impl.EFactoryImpl;
12
13import org.eclipse.emf.ecore.plugin.EcorePlugin;
14
15/**
16 * <!-- begin-user-doc -->
17 * An implementation of the model <b>Factory</b>.
18 * <!-- end-user-doc -->
19 * @generated
20 */
21public class LogicproblemFactoryImpl extends EFactoryImpl implements LogicproblemFactory {
22 /**
23 * Creates the default factory implementation.
24 * <!-- begin-user-doc -->
25 * <!-- end-user-doc -->
26 * @generated
27 */
28 public static LogicproblemFactory init() {
29 try {
30 LogicproblemFactory theLogicproblemFactory = (LogicproblemFactory)EPackage.Registry.INSTANCE.getEFactory(LogicproblemPackage.eNS_URI);
31 if (theLogicproblemFactory != null) {
32 return theLogicproblemFactory;
33 }
34 }
35 catch (Exception exception) {
36 EcorePlugin.INSTANCE.log(exception);
37 }
38 return new LogicproblemFactoryImpl();
39 }
40
41 /**
42 * Creates an instance of the factory.
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @generated
46 */
47 public LogicproblemFactoryImpl() {
48 super();
49 }
50
51 /**
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @generated
55 */
56 @Override
57 public EObject create(EClass eClass) {
58 switch (eClass.getClassifierID()) {
59 case LogicproblemPackage.LOGIC_PROBLEM: return createLogicProblem();
60 case LogicproblemPackage.CONTAINMENT_HIERARCHY: return createContainmentHierarchy();
61 case LogicproblemPackage.RELATION_ANNOTATION: return createRelationAnnotation();
62 case LogicproblemPackage.CONSTANT_ANNOTATION: return createConstantAnnotation();
63 case LogicproblemPackage.FUNCTION_ANNOTATION: return createFunctionAnnotation();
64 case LogicproblemPackage.ASSERTION_ANNOTATION: return createAssertionAnnotation();
65 case LogicproblemPackage.ANNOTATION: return createAnnotation();
66 default:
67 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
68 }
69 }
70
71 /**
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @generated
75 */
76 public LogicProblem createLogicProblem() {
77 LogicProblemImpl logicProblem = new LogicProblemImpl();
78 return logicProblem;
79 }
80
81 /**
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @generated
85 */
86 public ContainmentHierarchy createContainmentHierarchy() {
87 ContainmentHierarchyImpl containmentHierarchy = new ContainmentHierarchyImpl();
88 return containmentHierarchy;
89 }
90
91 /**
92 * <!-- begin-user-doc -->
93 * <!-- end-user-doc -->
94 * @generated
95 */
96 public RelationAnnotation createRelationAnnotation() {
97 RelationAnnotationImpl relationAnnotation = new RelationAnnotationImpl();
98 return relationAnnotation;
99 }
100
101 /**
102 * <!-- begin-user-doc -->
103 * <!-- end-user-doc -->
104 * @generated
105 */
106 public ConstantAnnotation createConstantAnnotation() {
107 ConstantAnnotationImpl constantAnnotation = new ConstantAnnotationImpl();
108 return constantAnnotation;
109 }
110
111 /**
112 * <!-- begin-user-doc -->
113 * <!-- end-user-doc -->
114 * @generated
115 */
116 public FunctionAnnotation createFunctionAnnotation() {
117 FunctionAnnotationImpl functionAnnotation = new FunctionAnnotationImpl();
118 return functionAnnotation;
119 }
120
121 /**
122 * <!-- begin-user-doc -->
123 * <!-- end-user-doc -->
124 * @generated
125 */
126 public AssertionAnnotation createAssertionAnnotation() {
127 AssertionAnnotationImpl assertionAnnotation = new AssertionAnnotationImpl();
128 return assertionAnnotation;
129 }
130
131 /**
132 * <!-- begin-user-doc -->
133 * <!-- end-user-doc -->
134 * @generated
135 */
136 public Annotation createAnnotation() {
137 AnnotationImpl annotation = new AnnotationImpl();
138 return annotation;
139 }
140
141 /**
142 * <!-- begin-user-doc -->
143 * <!-- end-user-doc -->
144 * @generated
145 */
146 public LogicproblemPackage getLogicproblemPackage() {
147 return (LogicproblemPackage)getEPackage();
148 }
149
150 /**
151 * <!-- begin-user-doc -->
152 * <!-- end-user-doc -->
153 * @deprecated
154 * @generated
155 */
156 @Deprecated
157 public static LogicproblemPackage getPackage() {
158 return LogicproblemPackage.eINSTANCE;
159 }
160
161} //LogicproblemFactoryImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemPackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemPackageImpl.java
new file mode 100644
index 00000000..1dd429e7
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/LogicproblemPackageImpl.java
@@ -0,0 +1,490 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl;
8import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
10import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation;
11import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy;
12import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation;
13import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
14import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemFactory;
15import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
16
17import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation;
18import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
19
20import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl;
21
22import org.eclipse.emf.ecore.EClass;
23import org.eclipse.emf.ecore.EPackage;
24import org.eclipse.emf.ecore.EReference;
25
26import org.eclipse.emf.ecore.impl.EPackageImpl;
27
28/**
29 * <!-- begin-user-doc -->
30 * An implementation of the model <b>Package</b>.
31 * <!-- end-user-doc -->
32 * @generated
33 */
34public class LogicproblemPackageImpl extends EPackageImpl implements LogicproblemPackage {
35 /**
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @generated
39 */
40 private EClass logicProblemEClass = null;
41
42 /**
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @generated
46 */
47 private EClass containmentHierarchyEClass = null;
48
49 /**
50 * <!-- begin-user-doc -->
51 * <!-- end-user-doc -->
52 * @generated
53 */
54 private EClass relationAnnotationEClass = null;
55
56 /**
57 * <!-- begin-user-doc -->
58 * <!-- end-user-doc -->
59 * @generated
60 */
61 private EClass constantAnnotationEClass = null;
62
63 /**
64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc -->
66 * @generated
67 */
68 private EClass functionAnnotationEClass = null;
69
70 /**
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @generated
74 */
75 private EClass assertionAnnotationEClass = null;
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 private EClass annotationEClass = null;
83
84 /**
85 * Creates an instance of the model <b>Package</b>, registered with
86 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
87 * package URI value.
88 * <p>Note: the correct way to create the package is via the static
89 * factory method {@link #init init()}, which also performs
90 * initialization of the package, or returns the registered package,
91 * if one already exists.
92 * <!-- begin-user-doc -->
93 * <!-- end-user-doc -->
94 * @see org.eclipse.emf.ecore.EPackage.Registry
95 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage#eNS_URI
96 * @see #init()
97 * @generated
98 */
99 private LogicproblemPackageImpl() {
100 super(eNS_URI, LogicproblemFactory.eINSTANCE);
101 }
102
103 /**
104 * <!-- begin-user-doc -->
105 * <!-- end-user-doc -->
106 * @generated
107 */
108 private static boolean isInited = false;
109
110 /**
111 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
112 *
113 * <p>This method is used to initialize {@link LogicproblemPackage#eINSTANCE} when that field is accessed.
114 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
115 * <!-- begin-user-doc -->
116 * <!-- end-user-doc -->
117 * @see #eNS_URI
118 * @see #createPackageContents()
119 * @see #initializePackageContents()
120 * @generated
121 */
122 public static LogicproblemPackage init() {
123 if (isInited) return (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI);
124
125 // Obtain or create and register package
126 LogicproblemPackageImpl theLogicproblemPackage = (LogicproblemPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof LogicproblemPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new LogicproblemPackageImpl());
127
128 isInited = true;
129
130 // Obtain or create and register interdependencies
131 LogiclanguagePackageImpl theLogiclanguagePackage = (LogiclanguagePackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) instanceof LogiclanguagePackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) : LogiclanguagePackage.eINSTANCE);
132 LogicresultPackageImpl theLogicresultPackage = (LogicresultPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI) instanceof LogicresultPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI) : LogicresultPackage.eINSTANCE);
133
134 // Create package meta-data objects
135 theLogicproblemPackage.createPackageContents();
136 theLogiclanguagePackage.createPackageContents();
137 theLogicresultPackage.createPackageContents();
138
139 // Initialize created meta-data
140 theLogicproblemPackage.initializePackageContents();
141 theLogiclanguagePackage.initializePackageContents();
142 theLogicresultPackage.initializePackageContents();
143
144 // Mark meta-data to indicate it can't be changed
145 theLogicproblemPackage.freeze();
146
147
148 // Update the registry and return the package
149 EPackage.Registry.INSTANCE.put(LogicproblemPackage.eNS_URI, theLogicproblemPackage);
150 return theLogicproblemPackage;
151 }
152
153 /**
154 * <!-- begin-user-doc -->
155 * <!-- end-user-doc -->
156 * @generated
157 */
158 public EClass getLogicProblem() {
159 return logicProblemEClass;
160 }
161
162 /**
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @generated
166 */
167 public EReference getLogicProblem_Types() {
168 return (EReference)logicProblemEClass.getEStructuralFeatures().get(0);
169 }
170
171 /**
172 * <!-- begin-user-doc -->
173 * <!-- end-user-doc -->
174 * @generated
175 */
176 public EReference getLogicProblem_Functions() {
177 return (EReference)logicProblemEClass.getEStructuralFeatures().get(1);
178 }
179
180 /**
181 * <!-- begin-user-doc -->
182 * <!-- end-user-doc -->
183 * @generated
184 */
185 public EReference getLogicProblem_Assertions() {
186 return (EReference)logicProblemEClass.getEStructuralFeatures().get(2);
187 }
188
189 /**
190 * <!-- begin-user-doc -->
191 * <!-- end-user-doc -->
192 * @generated
193 */
194 public EReference getLogicProblem_Relations() {
195 return (EReference)logicProblemEClass.getEStructuralFeatures().get(3);
196 }
197
198 /**
199 * <!-- begin-user-doc -->
200 * <!-- end-user-doc -->
201 * @generated
202 */
203 public EReference getLogicProblem_Constants() {
204 return (EReference)logicProblemEClass.getEStructuralFeatures().get(4);
205 }
206
207 /**
208 * <!-- begin-user-doc -->
209 * <!-- end-user-doc -->
210 * @generated
211 */
212 public EReference getLogicProblem_Elements() {
213 return (EReference)logicProblemEClass.getEStructuralFeatures().get(5);
214 }
215
216 /**
217 * <!-- begin-user-doc -->
218 * <!-- end-user-doc -->
219 * @generated
220 */
221 public EReference getLogicProblem_ContainmentHierarchies() {
222 return (EReference)logicProblemEClass.getEStructuralFeatures().get(6);
223 }
224
225 /**
226 * <!-- begin-user-doc -->
227 * <!-- end-user-doc -->
228 * @generated
229 */
230 public EReference getLogicProblem_Annotations() {
231 return (EReference)logicProblemEClass.getEStructuralFeatures().get(7);
232 }
233
234 /**
235 * <!-- begin-user-doc -->
236 * <!-- end-user-doc -->
237 * @generated
238 */
239 public EClass getContainmentHierarchy() {
240 return containmentHierarchyEClass;
241 }
242
243 /**
244 * <!-- begin-user-doc -->
245 * <!-- end-user-doc -->
246 * @generated
247 */
248 public EReference getContainmentHierarchy_TypesOrderedInHierarchy() {
249 return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(0);
250 }
251
252 /**
253 * <!-- begin-user-doc -->
254 * <!-- end-user-doc -->
255 * @generated
256 */
257 public EReference getContainmentHierarchy_ContainmentFunctions() {
258 return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(1);
259 }
260
261 /**
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @generated
265 */
266 public EReference getContainmentHierarchy_ContainmentRelations() {
267 return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(2);
268 }
269
270 /**
271 * <!-- begin-user-doc -->
272 * <!-- end-user-doc -->
273 * @generated
274 */
275 public EReference getContainmentHierarchy_RootConstant() {
276 return (EReference)containmentHierarchyEClass.getEStructuralFeatures().get(3);
277 }
278
279 /**
280 * <!-- begin-user-doc -->
281 * <!-- end-user-doc -->
282 * @generated
283 */
284 public EClass getRelationAnnotation() {
285 return relationAnnotationEClass;
286 }
287
288 /**
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @generated
292 */
293 public EReference getRelationAnnotation_Target() {
294 return (EReference)relationAnnotationEClass.getEStructuralFeatures().get(0);
295 }
296
297 /**
298 * <!-- begin-user-doc -->
299 * <!-- end-user-doc -->
300 * @generated
301 */
302 public EClass getConstantAnnotation() {
303 return constantAnnotationEClass;
304 }
305
306 /**
307 * <!-- begin-user-doc -->
308 * <!-- end-user-doc -->
309 * @generated
310 */
311 public EReference getConstantAnnotation_Target() {
312 return (EReference)constantAnnotationEClass.getEStructuralFeatures().get(0);
313 }
314
315 /**
316 * <!-- begin-user-doc -->
317 * <!-- end-user-doc -->
318 * @generated
319 */
320 public EClass getFunctionAnnotation() {
321 return functionAnnotationEClass;
322 }
323
324 /**
325 * <!-- begin-user-doc -->
326 * <!-- end-user-doc -->
327 * @generated
328 */
329 public EReference getFunctionAnnotation_Target() {
330 return (EReference)functionAnnotationEClass.getEStructuralFeatures().get(0);
331 }
332
333 /**
334 * <!-- begin-user-doc -->
335 * <!-- end-user-doc -->
336 * @generated
337 */
338 public EClass getAssertionAnnotation() {
339 return assertionAnnotationEClass;
340 }
341
342 /**
343 * <!-- begin-user-doc -->
344 * <!-- end-user-doc -->
345 * @generated
346 */
347 public EReference getAssertionAnnotation_Target() {
348 return (EReference)assertionAnnotationEClass.getEStructuralFeatures().get(0);
349 }
350
351 /**
352 * <!-- begin-user-doc -->
353 * <!-- end-user-doc -->
354 * @generated
355 */
356 public EClass getAnnotation() {
357 return annotationEClass;
358 }
359
360 /**
361 * <!-- begin-user-doc -->
362 * <!-- end-user-doc -->
363 * @generated
364 */
365 public LogicproblemFactory getLogicproblemFactory() {
366 return (LogicproblemFactory)getEFactoryInstance();
367 }
368
369 /**
370 * <!-- begin-user-doc -->
371 * <!-- end-user-doc -->
372 * @generated
373 */
374 private boolean isCreated = false;
375
376 /**
377 * Creates the meta-model objects for the package. This method is
378 * guarded to have no affect on any invocation but its first.
379 * <!-- begin-user-doc -->
380 * <!-- end-user-doc -->
381 * @generated
382 */
383 public void createPackageContents() {
384 if (isCreated) return;
385 isCreated = true;
386
387 // Create classes and their features
388 logicProblemEClass = createEClass(LOGIC_PROBLEM);
389 createEReference(logicProblemEClass, LOGIC_PROBLEM__TYPES);
390 createEReference(logicProblemEClass, LOGIC_PROBLEM__FUNCTIONS);
391 createEReference(logicProblemEClass, LOGIC_PROBLEM__ASSERTIONS);
392 createEReference(logicProblemEClass, LOGIC_PROBLEM__RELATIONS);
393 createEReference(logicProblemEClass, LOGIC_PROBLEM__CONSTANTS);
394 createEReference(logicProblemEClass, LOGIC_PROBLEM__ELEMENTS);
395 createEReference(logicProblemEClass, LOGIC_PROBLEM__CONTAINMENT_HIERARCHIES);
396 createEReference(logicProblemEClass, LOGIC_PROBLEM__ANNOTATIONS);
397
398 containmentHierarchyEClass = createEClass(CONTAINMENT_HIERARCHY);
399 createEReference(containmentHierarchyEClass, CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY);
400 createEReference(containmentHierarchyEClass, CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS);
401 createEReference(containmentHierarchyEClass, CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS);
402 createEReference(containmentHierarchyEClass, CONTAINMENT_HIERARCHY__ROOT_CONSTANT);
403
404 relationAnnotationEClass = createEClass(RELATION_ANNOTATION);
405 createEReference(relationAnnotationEClass, RELATION_ANNOTATION__TARGET);
406
407 constantAnnotationEClass = createEClass(CONSTANT_ANNOTATION);
408 createEReference(constantAnnotationEClass, CONSTANT_ANNOTATION__TARGET);
409
410 functionAnnotationEClass = createEClass(FUNCTION_ANNOTATION);
411 createEReference(functionAnnotationEClass, FUNCTION_ANNOTATION__TARGET);
412
413 assertionAnnotationEClass = createEClass(ASSERTION_ANNOTATION);
414 createEReference(assertionAnnotationEClass, ASSERTION_ANNOTATION__TARGET);
415
416 annotationEClass = createEClass(ANNOTATION);
417 }
418
419 /**
420 * <!-- begin-user-doc -->
421 * <!-- end-user-doc -->
422 * @generated
423 */
424 private boolean isInitialized = false;
425
426 /**
427 * Complete the initialization of the package and its meta-model. This
428 * method is guarded to have no affect on any invocation but its first.
429 * <!-- begin-user-doc -->
430 * <!-- end-user-doc -->
431 * @generated
432 */
433 public void initializePackageContents() {
434 if (isInitialized) return;
435 isInitialized = true;
436
437 // Initialize package
438 setName(eNAME);
439 setNsPrefix(eNS_PREFIX);
440 setNsURI(eNS_URI);
441
442 // Obtain other dependent packages
443 LogiclanguagePackage theLogiclanguagePackage = (LogiclanguagePackage)EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI);
444
445 // Create type parameters
446
447 // Set bounds for type parameters
448
449 // Add supertypes to classes
450 relationAnnotationEClass.getESuperTypes().add(this.getAnnotation());
451 constantAnnotationEClass.getESuperTypes().add(this.getAnnotation());
452 functionAnnotationEClass.getESuperTypes().add(this.getAnnotation());
453 assertionAnnotationEClass.getESuperTypes().add(this.getAnnotation());
454
455 // Initialize classes, features, and operations; add parameters
456 initEClass(logicProblemEClass, LogicProblem.class, "LogicProblem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
457 initEReference(getLogicProblem_Types(), theLogiclanguagePackage.getType(), null, "types", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
458 initEReference(getLogicProblem_Functions(), theLogiclanguagePackage.getFunction(), null, "functions", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
459 initEReference(getLogicProblem_Assertions(), theLogiclanguagePackage.getAssertion(), null, "assertions", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
460 initEReference(getLogicProblem_Relations(), theLogiclanguagePackage.getRelation(), null, "relations", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
461 initEReference(getLogicProblem_Constants(), theLogiclanguagePackage.getConstant(), null, "constants", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
462 initEReference(getLogicProblem_Elements(), theLogiclanguagePackage.getDefinedElement(), null, "elements", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
463 initEReference(getLogicProblem_ContainmentHierarchies(), this.getContainmentHierarchy(), null, "containmentHierarchies", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
464 initEReference(getLogicProblem_Annotations(), this.getAnnotation(), null, "annotations", null, 0, -1, LogicProblem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
465
466 initEClass(containmentHierarchyEClass, ContainmentHierarchy.class, "ContainmentHierarchy", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
467 initEReference(getContainmentHierarchy_TypesOrderedInHierarchy(), theLogiclanguagePackage.getType(), null, "typesOrderedInHierarchy", null, 0, -1, ContainmentHierarchy.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
468 initEReference(getContainmentHierarchy_ContainmentFunctions(), theLogiclanguagePackage.getFunction(), null, "containmentFunctions", null, 0, -1, ContainmentHierarchy.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
469 initEReference(getContainmentHierarchy_ContainmentRelations(), theLogiclanguagePackage.getRelation(), null, "containmentRelations", null, 0, -1, ContainmentHierarchy.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
470 initEReference(getContainmentHierarchy_RootConstant(), theLogiclanguagePackage.getConstant(), null, "rootConstant", null, 0, 1, ContainmentHierarchy.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
471
472 initEClass(relationAnnotationEClass, RelationAnnotation.class, "RelationAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
473 initEReference(getRelationAnnotation_Target(), theLogiclanguagePackage.getRelation(), theLogiclanguagePackage.getRelation_Annotations(), "target", null, 1, 1, RelationAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
474
475 initEClass(constantAnnotationEClass, ConstantAnnotation.class, "ConstantAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
476 initEReference(getConstantAnnotation_Target(), theLogiclanguagePackage.getConstant(), theLogiclanguagePackage.getConstant_Annotations(), "target", null, 1, 1, ConstantAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
477
478 initEClass(functionAnnotationEClass, FunctionAnnotation.class, "FunctionAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
479 initEReference(getFunctionAnnotation_Target(), theLogiclanguagePackage.getFunction(), theLogiclanguagePackage.getFunction_Annotations(), "target", null, 1, 1, FunctionAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
480
481 initEClass(assertionAnnotationEClass, AssertionAnnotation.class, "AssertionAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
482 initEReference(getAssertionAnnotation_Target(), theLogiclanguagePackage.getAssertion(), theLogiclanguagePackage.getAssertion_Annotations(), "target", null, 1, 1, AssertionAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
483
484 initEClass(annotationEClass, Annotation.class, "Annotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
485
486 // Create resource
487 createResource(eNS_URI);
488 }
489
490} //LogicproblemPackageImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/RelationAnnotationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/RelationAnnotationImpl.java
new file mode 100644
index 00000000..23fb6e5d
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/RelationAnnotationImpl.java
@@ -0,0 +1,211 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
7
8import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation;
10
11import org.eclipse.emf.common.notify.Notification;
12
13import org.eclipse.emf.common.notify.NotificationChain;
14import org.eclipse.emf.ecore.EClass;
15import org.eclipse.emf.ecore.InternalEObject;
16
17import org.eclipse.emf.ecore.impl.ENotificationImpl;
18
19/**
20 * <!-- begin-user-doc -->
21 * An implementation of the model object '<em><b>Relation Annotation</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.logicproblem.impl.RelationAnnotationImpl#getTarget <em>Target</em>}</li>
28 * </ul>
29 *
30 * @generated
31 */
32public class RelationAnnotationImpl extends AnnotationImpl implements RelationAnnotation {
33 /**
34 * The cached value of the '{@link #getTarget() <em>Target</em>}' reference.
35 * <!-- begin-user-doc -->
36 * <!-- end-user-doc -->
37 * @see #getTarget()
38 * @generated
39 * @ordered
40 */
41 protected Relation target;
42
43 /**
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @generated
47 */
48 protected RelationAnnotationImpl() {
49 super();
50 }
51
52 /**
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @generated
56 */
57 @Override
58 protected EClass eStaticClass() {
59 return LogicproblemPackage.Literals.RELATION_ANNOTATION;
60 }
61
62 /**
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @generated
66 */
67 public Relation getTarget() {
68 if (target != null && target.eIsProxy()) {
69 InternalEObject oldTarget = (InternalEObject)target;
70 target = (Relation)eResolveProxy(oldTarget);
71 if (target != oldTarget) {
72 if (eNotificationRequired())
73 eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogicproblemPackage.RELATION_ANNOTATION__TARGET, oldTarget, target));
74 }
75 }
76 return target;
77 }
78
79 /**
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 */
84 public Relation basicGetTarget() {
85 return target;
86 }
87
88 /**
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 */
93 public NotificationChain basicSetTarget(Relation newTarget, NotificationChain msgs) {
94 Relation oldTarget = target;
95 target = newTarget;
96 if (eNotificationRequired()) {
97 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogicproblemPackage.RELATION_ANNOTATION__TARGET, oldTarget, newTarget);
98 if (msgs == null) msgs = notification; else msgs.add(notification);
99 }
100 return msgs;
101 }
102
103 /**
104 * <!-- begin-user-doc -->
105 * <!-- end-user-doc -->
106 * @generated
107 */
108 public void setTarget(Relation newTarget) {
109 if (newTarget != target) {
110 NotificationChain msgs = null;
111 if (target != null)
112 msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.RELATION__ANNOTATIONS, Relation.class, msgs);
113 if (newTarget != null)
114 msgs = ((InternalEObject)newTarget).eInverseAdd(this, LogiclanguagePackage.RELATION__ANNOTATIONS, Relation.class, msgs);
115 msgs = basicSetTarget(newTarget, msgs);
116 if (msgs != null) msgs.dispatch();
117 }
118 else if (eNotificationRequired())
119 eNotify(new ENotificationImpl(this, Notification.SET, LogicproblemPackage.RELATION_ANNOTATION__TARGET, newTarget, newTarget));
120 }
121
122 /**
123 * <!-- begin-user-doc -->
124 * <!-- end-user-doc -->
125 * @generated
126 */
127 @Override
128 public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
129 switch (featureID) {
130 case LogicproblemPackage.RELATION_ANNOTATION__TARGET:
131 if (target != null)
132 msgs = ((InternalEObject)target).eInverseRemove(this, LogiclanguagePackage.RELATION__ANNOTATIONS, Relation.class, msgs);
133 return basicSetTarget((Relation)otherEnd, msgs);
134 }
135 return super.eInverseAdd(otherEnd, featureID, msgs);
136 }
137
138 /**
139 * <!-- begin-user-doc -->
140 * <!-- end-user-doc -->
141 * @generated
142 */
143 @Override
144 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
145 switch (featureID) {
146 case LogicproblemPackage.RELATION_ANNOTATION__TARGET:
147 return basicSetTarget(null, msgs);
148 }
149 return super.eInverseRemove(otherEnd, featureID, msgs);
150 }
151
152 /**
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @generated
156 */
157 @Override
158 public Object eGet(int featureID, boolean resolve, boolean coreType) {
159 switch (featureID) {
160 case LogicproblemPackage.RELATION_ANNOTATION__TARGET:
161 if (resolve) return getTarget();
162 return basicGetTarget();
163 }
164 return super.eGet(featureID, resolve, coreType);
165 }
166
167 /**
168 * <!-- begin-user-doc -->
169 * <!-- end-user-doc -->
170 * @generated
171 */
172 @Override
173 public void eSet(int featureID, Object newValue) {
174 switch (featureID) {
175 case LogicproblemPackage.RELATION_ANNOTATION__TARGET:
176 setTarget((Relation)newValue);
177 return;
178 }
179 super.eSet(featureID, newValue);
180 }
181
182 /**
183 * <!-- begin-user-doc -->
184 * <!-- end-user-doc -->
185 * @generated
186 */
187 @Override
188 public void eUnset(int featureID) {
189 switch (featureID) {
190 case LogicproblemPackage.RELATION_ANNOTATION__TARGET:
191 setTarget((Relation)null);
192 return;
193 }
194 super.eUnset(featureID);
195 }
196
197 /**
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @generated
201 */
202 @Override
203 public boolean eIsSet(int featureID) {
204 switch (featureID) {
205 case LogicproblemPackage.RELATION_ANNOTATION__TARGET:
206 return target != null;
207 }
208 return super.eIsSet(featureID);
209 }
210
211} //RelationAnnotationImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemAdapterFactory.java
new file mode 100644
index 00000000..568a625c
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemAdapterFactory.java
@@ -0,0 +1,228 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.*;
6
7import org.eclipse.emf.common.notify.Adapter;
8import org.eclipse.emf.common.notify.Notifier;
9
10import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
11
12import org.eclipse.emf.ecore.EObject;
13
14/**
15 * <!-- begin-user-doc -->
16 * The <b>Adapter Factory</b> for the model.
17 * It provides an adapter <code>createXXX</code> method for each class of the model.
18 * <!-- end-user-doc -->
19 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage
20 * @generated
21 */
22public class LogicproblemAdapterFactory extends AdapterFactoryImpl {
23 /**
24 * The cached model package.
25 * <!-- begin-user-doc -->
26 * <!-- end-user-doc -->
27 * @generated
28 */
29 protected static LogicproblemPackage modelPackage;
30
31 /**
32 * Creates an instance of the adapter factory.
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @generated
36 */
37 public LogicproblemAdapterFactory() {
38 if (modelPackage == null) {
39 modelPackage = LogicproblemPackage.eINSTANCE;
40 }
41 }
42
43 /**
44 * Returns whether this factory is applicable for the type of the object.
45 * <!-- begin-user-doc -->
46 * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
47 * <!-- end-user-doc -->
48 * @return whether this factory is applicable for the type of the object.
49 * @generated
50 */
51 @Override
52 public boolean isFactoryForType(Object object) {
53 if (object == modelPackage) {
54 return true;
55 }
56 if (object instanceof EObject) {
57 return ((EObject)object).eClass().getEPackage() == modelPackage;
58 }
59 return false;
60 }
61
62 /**
63 * The switch that delegates to the <code>createXXX</code> methods.
64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc -->
66 * @generated
67 */
68 protected LogicproblemSwitch<Adapter> modelSwitch =
69 new LogicproblemSwitch<Adapter>() {
70 @Override
71 public Adapter caseLogicProblem(LogicProblem object) {
72 return createLogicProblemAdapter();
73 }
74 @Override
75 public Adapter caseContainmentHierarchy(ContainmentHierarchy object) {
76 return createContainmentHierarchyAdapter();
77 }
78 @Override
79 public Adapter caseRelationAnnotation(RelationAnnotation object) {
80 return createRelationAnnotationAdapter();
81 }
82 @Override
83 public Adapter caseConstantAnnotation(ConstantAnnotation object) {
84 return createConstantAnnotationAdapter();
85 }
86 @Override
87 public Adapter caseFunctionAnnotation(FunctionAnnotation object) {
88 return createFunctionAnnotationAdapter();
89 }
90 @Override
91 public Adapter caseAssertionAnnotation(AssertionAnnotation object) {
92 return createAssertionAnnotationAdapter();
93 }
94 @Override
95 public Adapter caseAnnotation(Annotation object) {
96 return createAnnotationAdapter();
97 }
98 @Override
99 public Adapter defaultCase(EObject object) {
100 return createEObjectAdapter();
101 }
102 };
103
104 /**
105 * Creates an adapter for the <code>target</code>.
106 * <!-- begin-user-doc -->
107 * <!-- end-user-doc -->
108 * @param target the object to adapt.
109 * @return the adapter for the <code>target</code>.
110 * @generated
111 */
112 @Override
113 public Adapter createAdapter(Notifier target) {
114 return modelSwitch.doSwitch((EObject)target);
115 }
116
117
118 /**
119 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem <em>Logic Problem</em>}'.
120 * <!-- begin-user-doc -->
121 * This default implementation returns null so that we can easily ignore cases;
122 * it's useful to ignore a case when inheritance will catch all the cases anyway.
123 * <!-- end-user-doc -->
124 * @return the new adapter.
125 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem
126 * @generated
127 */
128 public Adapter createLogicProblemAdapter() {
129 return null;
130 }
131
132 /**
133 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy <em>Containment Hierarchy</em>}'.
134 * <!-- begin-user-doc -->
135 * This default implementation returns null so that we can easily ignore cases;
136 * it's useful to ignore a case when inheritance will catch all the cases anyway.
137 * <!-- end-user-doc -->
138 * @return the new adapter.
139 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy
140 * @generated
141 */
142 public Adapter createContainmentHierarchyAdapter() {
143 return null;
144 }
145
146 /**
147 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation <em>Relation Annotation</em>}'.
148 * <!-- begin-user-doc -->
149 * This default implementation returns null so that we can easily ignore cases;
150 * it's useful to ignore a case when inheritance will catch all the cases anyway.
151 * <!-- end-user-doc -->
152 * @return the new adapter.
153 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation
154 * @generated
155 */
156 public Adapter createRelationAnnotationAdapter() {
157 return null;
158 }
159
160 /**
161 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation <em>Constant Annotation</em>}'.
162 * <!-- begin-user-doc -->
163 * This default implementation returns null so that we can easily ignore cases;
164 * it's useful to ignore a case when inheritance will catch all the cases anyway.
165 * <!-- end-user-doc -->
166 * @return the new adapter.
167 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation
168 * @generated
169 */
170 public Adapter createConstantAnnotationAdapter() {
171 return null;
172 }
173
174 /**
175 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation <em>Function Annotation</em>}'.
176 * <!-- begin-user-doc -->
177 * This default implementation returns null so that we can easily ignore cases;
178 * it's useful to ignore a case when inheritance will catch all the cases anyway.
179 * <!-- end-user-doc -->
180 * @return the new adapter.
181 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation
182 * @generated
183 */
184 public Adapter createFunctionAnnotationAdapter() {
185 return null;
186 }
187
188 /**
189 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation <em>Assertion Annotation</em>}'.
190 * <!-- begin-user-doc -->
191 * This default implementation returns null so that we can easily ignore cases;
192 * it's useful to ignore a case when inheritance will catch all the cases anyway.
193 * <!-- end-user-doc -->
194 * @return the new adapter.
195 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation
196 * @generated
197 */
198 public Adapter createAssertionAnnotationAdapter() {
199 return null;
200 }
201
202 /**
203 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation <em>Annotation</em>}'.
204 * <!-- begin-user-doc -->
205 * This default implementation returns null so that we can easily ignore cases;
206 * it's useful to ignore a case when inheritance will catch all the cases anyway.
207 * <!-- end-user-doc -->
208 * @return the new adapter.
209 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation
210 * @generated
211 */
212 public Adapter createAnnotationAdapter() {
213 return null;
214 }
215
216 /**
217 * Creates a new adapter for the default case.
218 * <!-- begin-user-doc -->
219 * This default implementation returns null.
220 * <!-- end-user-doc -->
221 * @return the new adapter.
222 * @generated
223 */
224 public Adapter createEObjectAdapter() {
225 return null;
226 }
227
228} //LogicproblemAdapterFactory
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemSwitch.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemSwitch.java
new file mode 100644
index 00000000..4a79b4a0
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/util/LogicproblemSwitch.java
@@ -0,0 +1,240 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.*;
6
7import org.eclipse.emf.ecore.EObject;
8import org.eclipse.emf.ecore.EPackage;
9
10import org.eclipse.emf.ecore.util.Switch;
11
12/**
13 * <!-- begin-user-doc -->
14 * The <b>Switch</b> for the model's inheritance hierarchy.
15 * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
16 * to invoke the <code>caseXXX</code> method for each class of the model,
17 * starting with the actual class of the object
18 * and proceeding up the inheritance hierarchy
19 * until a non-null result is returned,
20 * which is the result of the switch.
21 * <!-- end-user-doc -->
22 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage
23 * @generated
24 */
25public class LogicproblemSwitch<T> extends Switch<T> {
26 /**
27 * The cached model package
28 * <!-- begin-user-doc -->
29 * <!-- end-user-doc -->
30 * @generated
31 */
32 protected static LogicproblemPackage modelPackage;
33
34 /**
35 * Creates an instance of the switch.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @generated
39 */
40 public LogicproblemSwitch() {
41 if (modelPackage == null) {
42 modelPackage = LogicproblemPackage.eINSTANCE;
43 }
44 }
45
46 /**
47 * Checks whether this is a switch for the given package.
48 * <!-- begin-user-doc -->
49 * <!-- end-user-doc -->
50 * @param ePackage the package in question.
51 * @return whether this is a switch for the given package.
52 * @generated
53 */
54 @Override
55 protected boolean isSwitchFor(EPackage ePackage) {
56 return ePackage == modelPackage;
57 }
58
59 /**
60 * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @return the first non-null result returned by a <code>caseXXX</code> call.
64 * @generated
65 */
66 @Override
67 protected T doSwitch(int classifierID, EObject theEObject) {
68 switch (classifierID) {
69 case LogicproblemPackage.LOGIC_PROBLEM: {
70 LogicProblem logicProblem = (LogicProblem)theEObject;
71 T result = caseLogicProblem(logicProblem);
72 if (result == null) result = defaultCase(theEObject);
73 return result;
74 }
75 case LogicproblemPackage.CONTAINMENT_HIERARCHY: {
76 ContainmentHierarchy containmentHierarchy = (ContainmentHierarchy)theEObject;
77 T result = caseContainmentHierarchy(containmentHierarchy);
78 if (result == null) result = defaultCase(theEObject);
79 return result;
80 }
81 case LogicproblemPackage.RELATION_ANNOTATION: {
82 RelationAnnotation relationAnnotation = (RelationAnnotation)theEObject;
83 T result = caseRelationAnnotation(relationAnnotation);
84 if (result == null) result = caseAnnotation(relationAnnotation);
85 if (result == null) result = defaultCase(theEObject);
86 return result;
87 }
88 case LogicproblemPackage.CONSTANT_ANNOTATION: {
89 ConstantAnnotation constantAnnotation = (ConstantAnnotation)theEObject;
90 T result = caseConstantAnnotation(constantAnnotation);
91 if (result == null) result = caseAnnotation(constantAnnotation);
92 if (result == null) result = defaultCase(theEObject);
93 return result;
94 }
95 case LogicproblemPackage.FUNCTION_ANNOTATION: {
96 FunctionAnnotation functionAnnotation = (FunctionAnnotation)theEObject;
97 T result = caseFunctionAnnotation(functionAnnotation);
98 if (result == null) result = caseAnnotation(functionAnnotation);
99 if (result == null) result = defaultCase(theEObject);
100 return result;
101 }
102 case LogicproblemPackage.ASSERTION_ANNOTATION: {
103 AssertionAnnotation assertionAnnotation = (AssertionAnnotation)theEObject;
104 T result = caseAssertionAnnotation(assertionAnnotation);
105 if (result == null) result = caseAnnotation(assertionAnnotation);
106 if (result == null) result = defaultCase(theEObject);
107 return result;
108 }
109 case LogicproblemPackage.ANNOTATION: {
110 Annotation annotation = (Annotation)theEObject;
111 T result = caseAnnotation(annotation);
112 if (result == null) result = defaultCase(theEObject);
113 return result;
114 }
115 default: return defaultCase(theEObject);
116 }
117 }
118
119 /**
120 * Returns the result of interpreting the object as an instance of '<em>Logic Problem</em>'.
121 * <!-- begin-user-doc -->
122 * This implementation returns null;
123 * returning a non-null result will terminate the switch.
124 * <!-- end-user-doc -->
125 * @param object the target of the switch.
126 * @return the result of interpreting the object as an instance of '<em>Logic Problem</em>'.
127 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
128 * @generated
129 */
130 public T caseLogicProblem(LogicProblem object) {
131 return null;
132 }
133
134 /**
135 * Returns the result of interpreting the object as an instance of '<em>Containment Hierarchy</em>'.
136 * <!-- begin-user-doc -->
137 * This implementation returns null;
138 * returning a non-null result will terminate the switch.
139 * <!-- end-user-doc -->
140 * @param object the target of the switch.
141 * @return the result of interpreting the object as an instance of '<em>Containment Hierarchy</em>'.
142 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
143 * @generated
144 */
145 public T caseContainmentHierarchy(ContainmentHierarchy object) {
146 return null;
147 }
148
149 /**
150 * Returns the result of interpreting the object as an instance of '<em>Relation Annotation</em>'.
151 * <!-- begin-user-doc -->
152 * This implementation returns null;
153 * returning a non-null result will terminate the switch.
154 * <!-- end-user-doc -->
155 * @param object the target of the switch.
156 * @return the result of interpreting the object as an instance of '<em>Relation Annotation</em>'.
157 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
158 * @generated
159 */
160 public T caseRelationAnnotation(RelationAnnotation object) {
161 return null;
162 }
163
164 /**
165 * Returns the result of interpreting the object as an instance of '<em>Constant Annotation</em>'.
166 * <!-- begin-user-doc -->
167 * This implementation returns null;
168 * returning a non-null result will terminate the switch.
169 * <!-- end-user-doc -->
170 * @param object the target of the switch.
171 * @return the result of interpreting the object as an instance of '<em>Constant Annotation</em>'.
172 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
173 * @generated
174 */
175 public T caseConstantAnnotation(ConstantAnnotation object) {
176 return null;
177 }
178
179 /**
180 * Returns the result of interpreting the object as an instance of '<em>Function Annotation</em>'.
181 * <!-- begin-user-doc -->
182 * This implementation returns null;
183 * returning a non-null result will terminate the switch.
184 * <!-- end-user-doc -->
185 * @param object the target of the switch.
186 * @return the result of interpreting the object as an instance of '<em>Function Annotation</em>'.
187 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
188 * @generated
189 */
190 public T caseFunctionAnnotation(FunctionAnnotation object) {
191 return null;
192 }
193
194 /**
195 * Returns the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'.
196 * <!-- begin-user-doc -->
197 * This implementation returns null;
198 * returning a non-null result will terminate the switch.
199 * <!-- end-user-doc -->
200 * @param object the target of the switch.
201 * @return the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'.
202 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
203 * @generated
204 */
205 public T caseAssertionAnnotation(AssertionAnnotation object) {
206 return null;
207 }
208
209 /**
210 * Returns the result of interpreting the object as an instance of '<em>Annotation</em>'.
211 * <!-- begin-user-doc -->
212 * This implementation returns null;
213 * returning a non-null result will terminate the switch.
214 * <!-- end-user-doc -->
215 * @param object the target of the switch.
216 * @return the result of interpreting the object as an instance of '<em>Annotation</em>'.
217 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
218 * @generated
219 */
220 public T caseAnnotation(Annotation object) {
221 return null;
222 }
223
224 /**
225 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
226 * <!-- begin-user-doc -->
227 * This implementation returns null;
228 * returning a non-null result will terminate the switch, but this is the last case anyway.
229 * <!-- end-user-doc -->
230 * @param object the target of the switch.
231 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
232 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
233 * @generated
234 */
235 @Override
236 public T defaultCase(EObject object) {
237 return null;
238 }
239
240} //LogicproblemSwitch
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 20:30:36 +0000