diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 19:05:05 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 19:05:05 +0200 |
commit | 60f01f46ba232ed6416054f0a6115cb2a9b70b4e (patch) | |
tree | 5edf8aeb07abc51f3fec63bbd15c926e1de09552 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem | |
parent | Initial commit, migrating from SVN (diff) | |
download | VIATRA-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')
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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem; | ||
4 | |||
5 | import 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 | */ | ||
17 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem; | ||
4 | |||
5 | import 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 | */ | ||
23 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem; | ||
4 | |||
5 | import 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 | */ | ||
23 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | ||
9 | |||
10 | import org.eclipse.emf.common.util.EList; | ||
11 | |||
12 | import 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 | */ | ||
33 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem; | ||
4 | |||
5 | import 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 | */ | ||
23 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; | ||
10 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | ||
11 | |||
12 | import org.eclipse.emf.common.util.EList; | ||
13 | |||
14 | import 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 | */ | ||
39 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem; | ||
4 | |||
5 | import 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 | */ | ||
15 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | import org.eclipse.emf.ecore.EPackage; | ||
7 | import 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 | */ | ||
25 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem; | ||
4 | |||
5 | import 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 | */ | ||
23 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | import 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 | */ | ||
19 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
10 | |||
11 | import org.eclipse.emf.common.notify.Notification; | ||
12 | |||
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | import org.eclipse.emf.ecore.EClass; | ||
15 | import org.eclipse.emf.ecore.InternalEObject; | ||
16 | |||
17 | import 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 | */ | ||
32 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
10 | |||
11 | import org.eclipse.emf.common.notify.Notification; | ||
12 | |||
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | import org.eclipse.emf.ecore.EClass; | ||
15 | import org.eclipse.emf.ecore.InternalEObject; | ||
16 | |||
17 | import 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 | */ | ||
32 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | ||
9 | |||
10 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy; | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
12 | |||
13 | import java.util.Collection; | ||
14 | |||
15 | import org.eclipse.emf.common.notify.Notification; | ||
16 | |||
17 | import org.eclipse.emf.common.util.EList; | ||
18 | |||
19 | import org.eclipse.emf.ecore.EClass; | ||
20 | import org.eclipse.emf.ecore.InternalEObject; | ||
21 | |||
22 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
23 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
24 | |||
25 | import 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 | */ | ||
43 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
10 | |||
11 | import org.eclipse.emf.common.notify.Notification; | ||
12 | |||
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | import org.eclipse.emf.ecore.EClass; | ||
15 | import org.eclipse.emf.ecore.InternalEObject; | ||
16 | |||
17 | import 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 | */ | ||
32 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; | ||
10 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation; | ||
12 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy; | ||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | ||
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
15 | |||
16 | import java.util.Collection; | ||
17 | |||
18 | import org.eclipse.emf.common.notify.NotificationChain; | ||
19 | |||
20 | import org.eclipse.emf.common.util.EList; | ||
21 | |||
22 | import org.eclipse.emf.ecore.EClass; | ||
23 | import org.eclipse.emf.ecore.InternalEObject; | ||
24 | |||
25 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
26 | |||
27 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
28 | import 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 | */ | ||
50 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.*; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EClass; | ||
8 | import org.eclipse.emf.ecore.EObject; | ||
9 | import org.eclipse.emf.ecore.EPackage; | ||
10 | |||
11 | import org.eclipse.emf.ecore.impl.EFactoryImpl; | ||
12 | |||
13 | import 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 | */ | ||
21 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation; | ||
10 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ConstantAnnotation; | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy; | ||
12 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.FunctionAnnotation; | ||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | ||
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemFactory; | ||
15 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
16 | |||
17 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; | ||
18 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
19 | |||
20 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl; | ||
21 | |||
22 | import org.eclipse.emf.ecore.EClass; | ||
23 | import org.eclipse.emf.ecore.EPackage; | ||
24 | import org.eclipse.emf.ecore.EReference; | ||
25 | |||
26 | import 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 | */ | ||
34 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; | ||
7 | |||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; | ||
10 | |||
11 | import org.eclipse.emf.common.notify.Notification; | ||
12 | |||
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | import org.eclipse.emf.ecore.EClass; | ||
15 | import org.eclipse.emf.ecore.InternalEObject; | ||
16 | |||
17 | import 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 | */ | ||
32 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.*; | ||
6 | |||
7 | import org.eclipse.emf.common.notify.Adapter; | ||
8 | import org.eclipse.emf.common.notify.Notifier; | ||
9 | |||
10 | import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl; | ||
11 | |||
12 | import 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 | */ | ||
22 | public 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.*; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EObject; | ||
8 | import org.eclipse.emf.ecore.EPackage; | ||
9 | |||
10 | import 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 | */ | ||
25 | public 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 | ||