diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult')
30 files changed, 5572 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/ErrorResult.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/ErrorResult.java new file mode 100644 index 00000000..c3ff095c --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/ErrorResult.java | |||
@@ -0,0 +1,49 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
4 | |||
5 | |||
6 | /** | ||
7 | * <!-- begin-user-doc --> | ||
8 | * A representation of the model object '<em><b>Error Result</b></em>'. | ||
9 | * <!-- end-user-doc --> | ||
10 | * | ||
11 | * <p> | ||
12 | * The following features are supported: | ||
13 | * </p> | ||
14 | * <ul> | ||
15 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult#getMessage <em>Message</em>}</li> | ||
16 | * </ul> | ||
17 | * | ||
18 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getErrorResult() | ||
19 | * @model | ||
20 | * @generated | ||
21 | */ | ||
22 | public interface ErrorResult extends UnknownResult { | ||
23 | /** | ||
24 | * Returns the value of the '<em><b>Message</b></em>' attribute. | ||
25 | * <!-- begin-user-doc --> | ||
26 | * <p> | ||
27 | * If the meaning of the '<em>Message</em>' attribute isn't clear, | ||
28 | * there really should be more of a description here... | ||
29 | * </p> | ||
30 | * <!-- end-user-doc --> | ||
31 | * @return the value of the '<em>Message</em>' attribute. | ||
32 | * @see #setMessage(String) | ||
33 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getErrorResult_Message() | ||
34 | * @model required="true" | ||
35 | * @generated | ||
36 | */ | ||
37 | String getMessage(); | ||
38 | |||
39 | /** | ||
40 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult#getMessage <em>Message</em>}' attribute. | ||
41 | * <!-- begin-user-doc --> | ||
42 | * <!-- end-user-doc --> | ||
43 | * @param value the new value of the '<em>Message</em>' attribute. | ||
44 | * @see #getMessage() | ||
45 | * @generated | ||
46 | */ | ||
47 | void setMessage(String value); | ||
48 | |||
49 | } // ErrorResult | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/InconsistencyResult.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/InconsistencyResult.java new file mode 100644 index 00000000..f2f452fc --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/InconsistencyResult.java | |||
@@ -0,0 +1,17 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
4 | |||
5 | |||
6 | /** | ||
7 | * <!-- begin-user-doc --> | ||
8 | * A representation of the model object '<em><b>Inconsistency Result</b></em>'. | ||
9 | * <!-- end-user-doc --> | ||
10 | * | ||
11 | * | ||
12 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getInconsistencyResult() | ||
13 | * @model | ||
14 | * @generated | ||
15 | */ | ||
16 | public interface InconsistencyResult extends LogicResult { | ||
17 | } // InconsistencyResult | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/InsuficientResourcesResult.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/InsuficientResourcesResult.java new file mode 100644 index 00000000..20a92059 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/InsuficientResourcesResult.java | |||
@@ -0,0 +1,49 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
4 | |||
5 | |||
6 | /** | ||
7 | * <!-- begin-user-doc --> | ||
8 | * A representation of the model object '<em><b>Insuficient Resources Result</b></em>'. | ||
9 | * <!-- end-user-doc --> | ||
10 | * | ||
11 | * <p> | ||
12 | * The following features are supported: | ||
13 | * </p> | ||
14 | * <ul> | ||
15 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult#getResourceName <em>Resource Name</em>}</li> | ||
16 | * </ul> | ||
17 | * | ||
18 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getInsuficientResourcesResult() | ||
19 | * @model | ||
20 | * @generated | ||
21 | */ | ||
22 | public interface InsuficientResourcesResult extends UnknownResult { | ||
23 | /** | ||
24 | * Returns the value of the '<em><b>Resource Name</b></em>' attribute. | ||
25 | * <!-- begin-user-doc --> | ||
26 | * <p> | ||
27 | * If the meaning of the '<em>Resource Name</em>' attribute isn't clear, | ||
28 | * there really should be more of a description here... | ||
29 | * </p> | ||
30 | * <!-- end-user-doc --> | ||
31 | * @return the value of the '<em>Resource Name</em>' attribute. | ||
32 | * @see #setResourceName(String) | ||
33 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getInsuficientResourcesResult_ResourceName() | ||
34 | * @model required="true" | ||
35 | * @generated | ||
36 | */ | ||
37 | String getResourceName(); | ||
38 | |||
39 | /** | ||
40 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult#getResourceName <em>Resource Name</em>}' attribute. | ||
41 | * <!-- begin-user-doc --> | ||
42 | * <!-- end-user-doc --> | ||
43 | * @param value the new value of the '<em>Resource Name</em>' attribute. | ||
44 | * @see #getResourceName() | ||
45 | * @generated | ||
46 | */ | ||
47 | void setResourceName(String value); | ||
48 | |||
49 | } // InsuficientResourcesResult | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/IntStatisticEntry.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/IntStatisticEntry.java new file mode 100644 index 00000000..4c005d4c --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/IntStatisticEntry.java | |||
@@ -0,0 +1,49 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
4 | |||
5 | |||
6 | /** | ||
7 | * <!-- begin-user-doc --> | ||
8 | * A representation of the model object '<em><b>Int Statistic Entry</b></em>'. | ||
9 | * <!-- end-user-doc --> | ||
10 | * | ||
11 | * <p> | ||
12 | * The following features are supported: | ||
13 | * </p> | ||
14 | * <ul> | ||
15 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry#getValue <em>Value</em>}</li> | ||
16 | * </ul> | ||
17 | * | ||
18 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getIntStatisticEntry() | ||
19 | * @model | ||
20 | * @generated | ||
21 | */ | ||
22 | public interface IntStatisticEntry extends StatisticEntry { | ||
23 | /** | ||
24 | * Returns the value of the '<em><b>Value</b></em>' attribute. | ||
25 | * <!-- begin-user-doc --> | ||
26 | * <p> | ||
27 | * If the meaning of the '<em>Value</em>' attribute isn't clear, | ||
28 | * there really should be more of a description here... | ||
29 | * </p> | ||
30 | * <!-- end-user-doc --> | ||
31 | * @return the value of the '<em>Value</em>' attribute. | ||
32 | * @see #setValue(int) | ||
33 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getIntStatisticEntry_Value() | ||
34 | * @model required="true" | ||
35 | * @generated | ||
36 | */ | ||
37 | int getValue(); | ||
38 | |||
39 | /** | ||
40 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry#getValue <em>Value</em>}' attribute. | ||
41 | * <!-- begin-user-doc --> | ||
42 | * <!-- end-user-doc --> | ||
43 | * @param value the new value of the '<em>Value</em>' attribute. | ||
44 | * @see #getValue() | ||
45 | * @generated | ||
46 | */ | ||
47 | void setValue(int value); | ||
48 | |||
49 | } // IntStatisticEntry | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicResult.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicResult.java new file mode 100644 index 00000000..94644ffd --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicResult.java | |||
@@ -0,0 +1,124 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | ||
6 | |||
7 | import org.eclipse.emf.common.util.EList; | ||
8 | import org.eclipse.emf.ecore.EObject; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * A representation of the model object '<em><b>Logic Result</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * <p> | ||
16 | * The following features are supported: | ||
17 | * </p> | ||
18 | * <ul> | ||
19 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getProblem <em>Problem</em>}</li> | ||
20 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getStatistics <em>Statistics</em>}</li> | ||
21 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getTrace <em>Trace</em>}</li> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getRepresentation <em>Representation</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getLogicResult() | ||
26 | * @model abstract="true" | ||
27 | * @generated | ||
28 | */ | ||
29 | public interface LogicResult extends EObject { | ||
30 | /** | ||
31 | * Returns the value of the '<em><b>Problem</b></em>' reference. | ||
32 | * <!-- begin-user-doc --> | ||
33 | * <p> | ||
34 | * If the meaning of the '<em>Problem</em>' reference isn't clear, | ||
35 | * there really should be more of a description here... | ||
36 | * </p> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @return the value of the '<em>Problem</em>' reference. | ||
39 | * @see #setProblem(LogicProblem) | ||
40 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getLogicResult_Problem() | ||
41 | * @model | ||
42 | * @generated | ||
43 | */ | ||
44 | LogicProblem getProblem(); | ||
45 | |||
46 | /** | ||
47 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getProblem <em>Problem</em>}' reference. | ||
48 | * <!-- begin-user-doc --> | ||
49 | * <!-- end-user-doc --> | ||
50 | * @param value the new value of the '<em>Problem</em>' reference. | ||
51 | * @see #getProblem() | ||
52 | * @generated | ||
53 | */ | ||
54 | void setProblem(LogicProblem value); | ||
55 | |||
56 | /** | ||
57 | * Returns the value of the '<em><b>Statistics</b></em>' containment reference. | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <p> | ||
60 | * If the meaning of the '<em>Statistics</em>' containment reference isn't clear, | ||
61 | * there really should be more of a description here... | ||
62 | * </p> | ||
63 | * <!-- end-user-doc --> | ||
64 | * @return the value of the '<em>Statistics</em>' containment reference. | ||
65 | * @see #setStatistics(Statistics) | ||
66 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getLogicResult_Statistics() | ||
67 | * @model containment="true" | ||
68 | * @generated | ||
69 | */ | ||
70 | Statistics getStatistics(); | ||
71 | |||
72 | /** | ||
73 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getStatistics <em>Statistics</em>}' containment reference. | ||
74 | * <!-- begin-user-doc --> | ||
75 | * <!-- end-user-doc --> | ||
76 | * @param value the new value of the '<em>Statistics</em>' containment reference. | ||
77 | * @see #getStatistics() | ||
78 | * @generated | ||
79 | */ | ||
80 | void setStatistics(Statistics value); | ||
81 | |||
82 | /** | ||
83 | * Returns the value of the '<em><b>Trace</b></em>' attribute. | ||
84 | * <!-- begin-user-doc --> | ||
85 | * <p> | ||
86 | * If the meaning of the '<em>Trace</em>' attribute 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>Trace</em>' attribute. | ||
91 | * @see #setTrace(Object) | ||
92 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getLogicResult_Trace() | ||
93 | * @model transient="true" | ||
94 | * @generated | ||
95 | */ | ||
96 | Object getTrace(); | ||
97 | |||
98 | /** | ||
99 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getTrace <em>Trace</em>}' attribute. | ||
100 | * <!-- begin-user-doc --> | ||
101 | * <!-- end-user-doc --> | ||
102 | * @param value the new value of the '<em>Trace</em>' attribute. | ||
103 | * @see #getTrace() | ||
104 | * @generated | ||
105 | */ | ||
106 | void setTrace(Object value); | ||
107 | |||
108 | /** | ||
109 | * Returns the value of the '<em><b>Representation</b></em>' attribute list. | ||
110 | * The list contents are of type {@link java.lang.Object}. | ||
111 | * <!-- begin-user-doc --> | ||
112 | * <p> | ||
113 | * If the meaning of the '<em>Representation</em>' attribute isn't clear, | ||
114 | * there really should be more of a description here... | ||
115 | * </p> | ||
116 | * <!-- end-user-doc --> | ||
117 | * @return the value of the '<em>Representation</em>' attribute list. | ||
118 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getLogicResult_Representation() | ||
119 | * @model transient="true" | ||
120 | * @generated | ||
121 | */ | ||
122 | EList<Object> getRepresentation(); | ||
123 | |||
124 | } // LogicResult | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultFactory.java new file mode 100644 index 00000000..24f62cc3 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultFactory.java | |||
@@ -0,0 +1,114 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
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.logicresult.LogicresultPackage | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface LogicresultFactory extends EFactory { | ||
16 | /** | ||
17 | * The singleton instance of the factory. | ||
18 | * <!-- begin-user-doc --> | ||
19 | * <!-- end-user-doc --> | ||
20 | * @generated | ||
21 | */ | ||
22 | LogicresultFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultFactoryImpl.init(); | ||
23 | |||
24 | /** | ||
25 | * Returns a new object of class '<em>Model Result</em>'. | ||
26 | * <!-- begin-user-doc --> | ||
27 | * <!-- end-user-doc --> | ||
28 | * @return a new object of class '<em>Model Result</em>'. | ||
29 | * @generated | ||
30 | */ | ||
31 | ModelResult createModelResult(); | ||
32 | |||
33 | /** | ||
34 | * Returns a new object of class '<em>Inconsistency Result</em>'. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @return a new object of class '<em>Inconsistency Result</em>'. | ||
38 | * @generated | ||
39 | */ | ||
40 | InconsistencyResult createInconsistencyResult(); | ||
41 | |||
42 | /** | ||
43 | * Returns a new object of class '<em>Insuficient Resources Result</em>'. | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @return a new object of class '<em>Insuficient Resources Result</em>'. | ||
47 | * @generated | ||
48 | */ | ||
49 | InsuficientResourcesResult createInsuficientResourcesResult(); | ||
50 | |||
51 | /** | ||
52 | * Returns a new object of class '<em>Error Result</em>'. | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @return a new object of class '<em>Error Result</em>'. | ||
56 | * @generated | ||
57 | */ | ||
58 | ErrorResult createErrorResult(); | ||
59 | |||
60 | /** | ||
61 | * Returns a new object of class '<em>Statistics</em>'. | ||
62 | * <!-- begin-user-doc --> | ||
63 | * <!-- end-user-doc --> | ||
64 | * @return a new object of class '<em>Statistics</em>'. | ||
65 | * @generated | ||
66 | */ | ||
67 | Statistics createStatistics(); | ||
68 | |||
69 | /** | ||
70 | * Returns a new object of class '<em>Undecidable Result</em>'. | ||
71 | * <!-- begin-user-doc --> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @return a new object of class '<em>Undecidable Result</em>'. | ||
74 | * @generated | ||
75 | */ | ||
76 | UndecidableResult createUndecidableResult(); | ||
77 | |||
78 | /** | ||
79 | * Returns a new object of class '<em>Int Statistic Entry</em>'. | ||
80 | * <!-- begin-user-doc --> | ||
81 | * <!-- end-user-doc --> | ||
82 | * @return a new object of class '<em>Int Statistic Entry</em>'. | ||
83 | * @generated | ||
84 | */ | ||
85 | IntStatisticEntry createIntStatisticEntry(); | ||
86 | |||
87 | /** | ||
88 | * Returns a new object of class '<em>Real Statistic Entry</em>'. | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @return a new object of class '<em>Real Statistic Entry</em>'. | ||
92 | * @generated | ||
93 | */ | ||
94 | RealStatisticEntry createRealStatisticEntry(); | ||
95 | |||
96 | /** | ||
97 | * Returns a new object of class '<em>String Statistic Entry</em>'. | ||
98 | * <!-- begin-user-doc --> | ||
99 | * <!-- end-user-doc --> | ||
100 | * @return a new object of class '<em>String Statistic Entry</em>'. | ||
101 | * @generated | ||
102 | */ | ||
103 | StringStatisticEntry createStringStatisticEntry(); | ||
104 | |||
105 | /** | ||
106 | * Returns the package supported by this factory. | ||
107 | * <!-- begin-user-doc --> | ||
108 | * <!-- end-user-doc --> | ||
109 | * @return the package supported by this factory. | ||
110 | * @generated | ||
111 | */ | ||
112 | LogicresultPackage getLogicresultPackage(); | ||
113 | |||
114 | } //LogicresultFactory | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java new file mode 100644 index 00000000..cf171ab5 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java | |||
@@ -0,0 +1,1353 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EAttribute; | ||
6 | import org.eclipse.emf.ecore.EClass; | ||
7 | import org.eclipse.emf.ecore.EPackage; | ||
8 | import org.eclipse.emf.ecore.EReference; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * The <b>Package</b> for the model. | ||
13 | * It contains accessors for the meta objects to represent | ||
14 | * <ul> | ||
15 | * <li>each class,</li> | ||
16 | * <li>each feature of each class,</li> | ||
17 | * <li>each operation of each class,</li> | ||
18 | * <li>each enum,</li> | ||
19 | * <li>and each data type</li> | ||
20 | * </ul> | ||
21 | * <!-- end-user-doc --> | ||
22 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultFactory | ||
23 | * @model kind="package" | ||
24 | * @generated | ||
25 | */ | ||
26 | public interface LogicresultPackage extends EPackage { | ||
27 | /** | ||
28 | * The package name. | ||
29 | * <!-- begin-user-doc --> | ||
30 | * <!-- end-user-doc --> | ||
31 | * @generated | ||
32 | */ | ||
33 | String eNAME = "logicresult"; | ||
34 | |||
35 | /** | ||
36 | * The package namespace URI. | ||
37 | * <!-- begin-user-doc --> | ||
38 | * <!-- end-user-doc --> | ||
39 | * @generated | ||
40 | */ | ||
41 | String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/result"; | ||
42 | |||
43 | /** | ||
44 | * The package namespace name. | ||
45 | * <!-- begin-user-doc --> | ||
46 | * <!-- end-user-doc --> | ||
47 | * @generated | ||
48 | */ | ||
49 | String eNS_PREFIX = "language"; | ||
50 | |||
51 | /** | ||
52 | * The singleton instance of the package. | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @generated | ||
56 | */ | ||
57 | LogicresultPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl.init(); | ||
58 | |||
59 | /** | ||
60 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl <em>Logic Result</em>}' class. | ||
61 | * <!-- begin-user-doc --> | ||
62 | * <!-- end-user-doc --> | ||
63 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl | ||
64 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getLogicResult() | ||
65 | * @generated | ||
66 | */ | ||
67 | int LOGIC_RESULT = 0; | ||
68 | |||
69 | /** | ||
70 | * The feature id for the '<em><b>Problem</b></em>' reference. | ||
71 | * <!-- begin-user-doc --> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @generated | ||
74 | * @ordered | ||
75 | */ | ||
76 | int LOGIC_RESULT__PROBLEM = 0; | ||
77 | |||
78 | /** | ||
79 | * The feature id for the '<em><b>Statistics</b></em>' containment reference. | ||
80 | * <!-- begin-user-doc --> | ||
81 | * <!-- end-user-doc --> | ||
82 | * @generated | ||
83 | * @ordered | ||
84 | */ | ||
85 | int LOGIC_RESULT__STATISTICS = 1; | ||
86 | |||
87 | /** | ||
88 | * The feature id for the '<em><b>Trace</b></em>' attribute. | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | * @ordered | ||
93 | */ | ||
94 | int LOGIC_RESULT__TRACE = 2; | ||
95 | |||
96 | /** | ||
97 | * The feature id for the '<em><b>Representation</b></em>' attribute list. | ||
98 | * <!-- begin-user-doc --> | ||
99 | * <!-- end-user-doc --> | ||
100 | * @generated | ||
101 | * @ordered | ||
102 | */ | ||
103 | int LOGIC_RESULT__REPRESENTATION = 3; | ||
104 | |||
105 | /** | ||
106 | * The number of structural features of the '<em>Logic Result</em>' class. | ||
107 | * <!-- begin-user-doc --> | ||
108 | * <!-- end-user-doc --> | ||
109 | * @generated | ||
110 | * @ordered | ||
111 | */ | ||
112 | int LOGIC_RESULT_FEATURE_COUNT = 4; | ||
113 | |||
114 | /** | ||
115 | * The number of operations of the '<em>Logic Result</em>' class. | ||
116 | * <!-- begin-user-doc --> | ||
117 | * <!-- end-user-doc --> | ||
118 | * @generated | ||
119 | * @ordered | ||
120 | */ | ||
121 | int LOGIC_RESULT_OPERATION_COUNT = 0; | ||
122 | |||
123 | /** | ||
124 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl <em>Model Result</em>}' class. | ||
125 | * <!-- begin-user-doc --> | ||
126 | * <!-- end-user-doc --> | ||
127 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl | ||
128 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getModelResult() | ||
129 | * @generated | ||
130 | */ | ||
131 | int MODEL_RESULT = 1; | ||
132 | |||
133 | /** | ||
134 | * The feature id for the '<em><b>Problem</b></em>' reference. | ||
135 | * <!-- begin-user-doc --> | ||
136 | * <!-- end-user-doc --> | ||
137 | * @generated | ||
138 | * @ordered | ||
139 | */ | ||
140 | int MODEL_RESULT__PROBLEM = LOGIC_RESULT__PROBLEM; | ||
141 | |||
142 | /** | ||
143 | * The feature id for the '<em><b>Statistics</b></em>' containment reference. | ||
144 | * <!-- begin-user-doc --> | ||
145 | * <!-- end-user-doc --> | ||
146 | * @generated | ||
147 | * @ordered | ||
148 | */ | ||
149 | int MODEL_RESULT__STATISTICS = LOGIC_RESULT__STATISTICS; | ||
150 | |||
151 | /** | ||
152 | * The feature id for the '<em><b>Trace</b></em>' attribute. | ||
153 | * <!-- begin-user-doc --> | ||
154 | * <!-- end-user-doc --> | ||
155 | * @generated | ||
156 | * @ordered | ||
157 | */ | ||
158 | int MODEL_RESULT__TRACE = LOGIC_RESULT__TRACE; | ||
159 | |||
160 | /** | ||
161 | * The feature id for the '<em><b>Representation</b></em>' attribute list. | ||
162 | * <!-- begin-user-doc --> | ||
163 | * <!-- end-user-doc --> | ||
164 | * @generated | ||
165 | * @ordered | ||
166 | */ | ||
167 | int MODEL_RESULT__REPRESENTATION = LOGIC_RESULT__REPRESENTATION; | ||
168 | |||
169 | /** | ||
170 | * The feature id for the '<em><b>Max Integer</b></em>' attribute. | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | * @ordered | ||
175 | */ | ||
176 | int MODEL_RESULT__MAX_INTEGER = LOGIC_RESULT_FEATURE_COUNT + 0; | ||
177 | |||
178 | /** | ||
179 | * The feature id for the '<em><b>Min Integer</b></em>' attribute. | ||
180 | * <!-- begin-user-doc --> | ||
181 | * <!-- end-user-doc --> | ||
182 | * @generated | ||
183 | * @ordered | ||
184 | */ | ||
185 | int MODEL_RESULT__MIN_INTEGER = LOGIC_RESULT_FEATURE_COUNT + 1; | ||
186 | |||
187 | /** | ||
188 | * The number of structural features of the '<em>Model Result</em>' class. | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @generated | ||
192 | * @ordered | ||
193 | */ | ||
194 | int MODEL_RESULT_FEATURE_COUNT = LOGIC_RESULT_FEATURE_COUNT + 2; | ||
195 | |||
196 | /** | ||
197 | * The number of operations of the '<em>Model Result</em>' class. | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @generated | ||
201 | * @ordered | ||
202 | */ | ||
203 | int MODEL_RESULT_OPERATION_COUNT = LOGIC_RESULT_OPERATION_COUNT + 0; | ||
204 | |||
205 | /** | ||
206 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InconsistencyResultImpl <em>Inconsistency Result</em>}' class. | ||
207 | * <!-- begin-user-doc --> | ||
208 | * <!-- end-user-doc --> | ||
209 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InconsistencyResultImpl | ||
210 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getInconsistencyResult() | ||
211 | * @generated | ||
212 | */ | ||
213 | int INCONSISTENCY_RESULT = 2; | ||
214 | |||
215 | /** | ||
216 | * The feature id for the '<em><b>Problem</b></em>' reference. | ||
217 | * <!-- begin-user-doc --> | ||
218 | * <!-- end-user-doc --> | ||
219 | * @generated | ||
220 | * @ordered | ||
221 | */ | ||
222 | int INCONSISTENCY_RESULT__PROBLEM = LOGIC_RESULT__PROBLEM; | ||
223 | |||
224 | /** | ||
225 | * The feature id for the '<em><b>Statistics</b></em>' containment reference. | ||
226 | * <!-- begin-user-doc --> | ||
227 | * <!-- end-user-doc --> | ||
228 | * @generated | ||
229 | * @ordered | ||
230 | */ | ||
231 | int INCONSISTENCY_RESULT__STATISTICS = LOGIC_RESULT__STATISTICS; | ||
232 | |||
233 | /** | ||
234 | * The feature id for the '<em><b>Trace</b></em>' attribute. | ||
235 | * <!-- begin-user-doc --> | ||
236 | * <!-- end-user-doc --> | ||
237 | * @generated | ||
238 | * @ordered | ||
239 | */ | ||
240 | int INCONSISTENCY_RESULT__TRACE = LOGIC_RESULT__TRACE; | ||
241 | |||
242 | /** | ||
243 | * The feature id for the '<em><b>Representation</b></em>' attribute list. | ||
244 | * <!-- begin-user-doc --> | ||
245 | * <!-- end-user-doc --> | ||
246 | * @generated | ||
247 | * @ordered | ||
248 | */ | ||
249 | int INCONSISTENCY_RESULT__REPRESENTATION = LOGIC_RESULT__REPRESENTATION; | ||
250 | |||
251 | /** | ||
252 | * The number of structural features of the '<em>Inconsistency Result</em>' class. | ||
253 | * <!-- begin-user-doc --> | ||
254 | * <!-- end-user-doc --> | ||
255 | * @generated | ||
256 | * @ordered | ||
257 | */ | ||
258 | int INCONSISTENCY_RESULT_FEATURE_COUNT = LOGIC_RESULT_FEATURE_COUNT + 0; | ||
259 | |||
260 | /** | ||
261 | * The number of operations of the '<em>Inconsistency Result</em>' class. | ||
262 | * <!-- begin-user-doc --> | ||
263 | * <!-- end-user-doc --> | ||
264 | * @generated | ||
265 | * @ordered | ||
266 | */ | ||
267 | int INCONSISTENCY_RESULT_OPERATION_COUNT = LOGIC_RESULT_OPERATION_COUNT + 0; | ||
268 | |||
269 | /** | ||
270 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UnknownResultImpl <em>Unknown Result</em>}' class. | ||
271 | * <!-- begin-user-doc --> | ||
272 | * <!-- end-user-doc --> | ||
273 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UnknownResultImpl | ||
274 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getUnknownResult() | ||
275 | * @generated | ||
276 | */ | ||
277 | int UNKNOWN_RESULT = 3; | ||
278 | |||
279 | /** | ||
280 | * The feature id for the '<em><b>Problem</b></em>' reference. | ||
281 | * <!-- begin-user-doc --> | ||
282 | * <!-- end-user-doc --> | ||
283 | * @generated | ||
284 | * @ordered | ||
285 | */ | ||
286 | int UNKNOWN_RESULT__PROBLEM = LOGIC_RESULT__PROBLEM; | ||
287 | |||
288 | /** | ||
289 | * The feature id for the '<em><b>Statistics</b></em>' containment reference. | ||
290 | * <!-- begin-user-doc --> | ||
291 | * <!-- end-user-doc --> | ||
292 | * @generated | ||
293 | * @ordered | ||
294 | */ | ||
295 | int UNKNOWN_RESULT__STATISTICS = LOGIC_RESULT__STATISTICS; | ||
296 | |||
297 | /** | ||
298 | * The feature id for the '<em><b>Trace</b></em>' attribute. | ||
299 | * <!-- begin-user-doc --> | ||
300 | * <!-- end-user-doc --> | ||
301 | * @generated | ||
302 | * @ordered | ||
303 | */ | ||
304 | int UNKNOWN_RESULT__TRACE = LOGIC_RESULT__TRACE; | ||
305 | |||
306 | /** | ||
307 | * The feature id for the '<em><b>Representation</b></em>' attribute list. | ||
308 | * <!-- begin-user-doc --> | ||
309 | * <!-- end-user-doc --> | ||
310 | * @generated | ||
311 | * @ordered | ||
312 | */ | ||
313 | int UNKNOWN_RESULT__REPRESENTATION = LOGIC_RESULT__REPRESENTATION; | ||
314 | |||
315 | /** | ||
316 | * The number of structural features of the '<em>Unknown Result</em>' class. | ||
317 | * <!-- begin-user-doc --> | ||
318 | * <!-- end-user-doc --> | ||
319 | * @generated | ||
320 | * @ordered | ||
321 | */ | ||
322 | int UNKNOWN_RESULT_FEATURE_COUNT = LOGIC_RESULT_FEATURE_COUNT + 0; | ||
323 | |||
324 | /** | ||
325 | * The number of operations of the '<em>Unknown Result</em>' class. | ||
326 | * <!-- begin-user-doc --> | ||
327 | * <!-- end-user-doc --> | ||
328 | * @generated | ||
329 | * @ordered | ||
330 | */ | ||
331 | int UNKNOWN_RESULT_OPERATION_COUNT = LOGIC_RESULT_OPERATION_COUNT + 0; | ||
332 | |||
333 | /** | ||
334 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl <em>Insuficient Resources Result</em>}' class. | ||
335 | * <!-- begin-user-doc --> | ||
336 | * <!-- end-user-doc --> | ||
337 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl | ||
338 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getInsuficientResourcesResult() | ||
339 | * @generated | ||
340 | */ | ||
341 | int INSUFICIENT_RESOURCES_RESULT = 4; | ||
342 | |||
343 | /** | ||
344 | * The feature id for the '<em><b>Problem</b></em>' reference. | ||
345 | * <!-- begin-user-doc --> | ||
346 | * <!-- end-user-doc --> | ||
347 | * @generated | ||
348 | * @ordered | ||
349 | */ | ||
350 | int INSUFICIENT_RESOURCES_RESULT__PROBLEM = UNKNOWN_RESULT__PROBLEM; | ||
351 | |||
352 | /** | ||
353 | * The feature id for the '<em><b>Statistics</b></em>' containment reference. | ||
354 | * <!-- begin-user-doc --> | ||
355 | * <!-- end-user-doc --> | ||
356 | * @generated | ||
357 | * @ordered | ||
358 | */ | ||
359 | int INSUFICIENT_RESOURCES_RESULT__STATISTICS = UNKNOWN_RESULT__STATISTICS; | ||
360 | |||
361 | /** | ||
362 | * The feature id for the '<em><b>Trace</b></em>' attribute. | ||
363 | * <!-- begin-user-doc --> | ||
364 | * <!-- end-user-doc --> | ||
365 | * @generated | ||
366 | * @ordered | ||
367 | */ | ||
368 | int INSUFICIENT_RESOURCES_RESULT__TRACE = UNKNOWN_RESULT__TRACE; | ||
369 | |||
370 | /** | ||
371 | * The feature id for the '<em><b>Representation</b></em>' attribute list. | ||
372 | * <!-- begin-user-doc --> | ||
373 | * <!-- end-user-doc --> | ||
374 | * @generated | ||
375 | * @ordered | ||
376 | */ | ||
377 | int INSUFICIENT_RESOURCES_RESULT__REPRESENTATION = UNKNOWN_RESULT__REPRESENTATION; | ||
378 | |||
379 | /** | ||
380 | * The feature id for the '<em><b>Resource Name</b></em>' attribute. | ||
381 | * <!-- begin-user-doc --> | ||
382 | * <!-- end-user-doc --> | ||
383 | * @generated | ||
384 | * @ordered | ||
385 | */ | ||
386 | int INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME = UNKNOWN_RESULT_FEATURE_COUNT + 0; | ||
387 | |||
388 | /** | ||
389 | * The number of structural features of the '<em>Insuficient Resources Result</em>' class. | ||
390 | * <!-- begin-user-doc --> | ||
391 | * <!-- end-user-doc --> | ||
392 | * @generated | ||
393 | * @ordered | ||
394 | */ | ||
395 | int INSUFICIENT_RESOURCES_RESULT_FEATURE_COUNT = UNKNOWN_RESULT_FEATURE_COUNT + 1; | ||
396 | |||
397 | /** | ||
398 | * The number of operations of the '<em>Insuficient Resources Result</em>' class. | ||
399 | * <!-- begin-user-doc --> | ||
400 | * <!-- end-user-doc --> | ||
401 | * @generated | ||
402 | * @ordered | ||
403 | */ | ||
404 | int INSUFICIENT_RESOURCES_RESULT_OPERATION_COUNT = UNKNOWN_RESULT_OPERATION_COUNT + 0; | ||
405 | |||
406 | /** | ||
407 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl <em>Error Result</em>}' class. | ||
408 | * <!-- begin-user-doc --> | ||
409 | * <!-- end-user-doc --> | ||
410 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl | ||
411 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getErrorResult() | ||
412 | * @generated | ||
413 | */ | ||
414 | int ERROR_RESULT = 5; | ||
415 | |||
416 | /** | ||
417 | * The feature id for the '<em><b>Problem</b></em>' reference. | ||
418 | * <!-- begin-user-doc --> | ||
419 | * <!-- end-user-doc --> | ||
420 | * @generated | ||
421 | * @ordered | ||
422 | */ | ||
423 | int ERROR_RESULT__PROBLEM = UNKNOWN_RESULT__PROBLEM; | ||
424 | |||
425 | /** | ||
426 | * The feature id for the '<em><b>Statistics</b></em>' containment reference. | ||
427 | * <!-- begin-user-doc --> | ||
428 | * <!-- end-user-doc --> | ||
429 | * @generated | ||
430 | * @ordered | ||
431 | */ | ||
432 | int ERROR_RESULT__STATISTICS = UNKNOWN_RESULT__STATISTICS; | ||
433 | |||
434 | /** | ||
435 | * The feature id for the '<em><b>Trace</b></em>' attribute. | ||
436 | * <!-- begin-user-doc --> | ||
437 | * <!-- end-user-doc --> | ||
438 | * @generated | ||
439 | * @ordered | ||
440 | */ | ||
441 | int ERROR_RESULT__TRACE = UNKNOWN_RESULT__TRACE; | ||
442 | |||
443 | /** | ||
444 | * The feature id for the '<em><b>Representation</b></em>' attribute list. | ||
445 | * <!-- begin-user-doc --> | ||
446 | * <!-- end-user-doc --> | ||
447 | * @generated | ||
448 | * @ordered | ||
449 | */ | ||
450 | int ERROR_RESULT__REPRESENTATION = UNKNOWN_RESULT__REPRESENTATION; | ||
451 | |||
452 | /** | ||
453 | * The feature id for the '<em><b>Message</b></em>' attribute. | ||
454 | * <!-- begin-user-doc --> | ||
455 | * <!-- end-user-doc --> | ||
456 | * @generated | ||
457 | * @ordered | ||
458 | */ | ||
459 | int ERROR_RESULT__MESSAGE = UNKNOWN_RESULT_FEATURE_COUNT + 0; | ||
460 | |||
461 | /** | ||
462 | * The number of structural features of the '<em>Error Result</em>' class. | ||
463 | * <!-- begin-user-doc --> | ||
464 | * <!-- end-user-doc --> | ||
465 | * @generated | ||
466 | * @ordered | ||
467 | */ | ||
468 | int ERROR_RESULT_FEATURE_COUNT = UNKNOWN_RESULT_FEATURE_COUNT + 1; | ||
469 | |||
470 | /** | ||
471 | * The number of operations of the '<em>Error Result</em>' class. | ||
472 | * <!-- begin-user-doc --> | ||
473 | * <!-- end-user-doc --> | ||
474 | * @generated | ||
475 | * @ordered | ||
476 | */ | ||
477 | int ERROR_RESULT_OPERATION_COUNT = UNKNOWN_RESULT_OPERATION_COUNT + 0; | ||
478 | |||
479 | /** | ||
480 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl <em>Statistics</em>}' class. | ||
481 | * <!-- begin-user-doc --> | ||
482 | * <!-- end-user-doc --> | ||
483 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl | ||
484 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStatistics() | ||
485 | * @generated | ||
486 | */ | ||
487 | int STATISTICS = 6; | ||
488 | |||
489 | /** | ||
490 | * The feature id for the '<em><b>Entries</b></em>' containment reference list. | ||
491 | * <!-- begin-user-doc --> | ||
492 | * <!-- end-user-doc --> | ||
493 | * @generated | ||
494 | * @ordered | ||
495 | */ | ||
496 | int STATISTICS__ENTRIES = 0; | ||
497 | |||
498 | /** | ||
499 | * The feature id for the '<em><b>Transformation Time</b></em>' attribute. | ||
500 | * <!-- begin-user-doc --> | ||
501 | * <!-- end-user-doc --> | ||
502 | * @generated | ||
503 | * @ordered | ||
504 | */ | ||
505 | int STATISTICS__TRANSFORMATION_TIME = 1; | ||
506 | |||
507 | /** | ||
508 | * The feature id for the '<em><b>Solver Time</b></em>' attribute. | ||
509 | * <!-- begin-user-doc --> | ||
510 | * <!-- end-user-doc --> | ||
511 | * @generated | ||
512 | * @ordered | ||
513 | */ | ||
514 | int STATISTICS__SOLVER_TIME = 2; | ||
515 | |||
516 | /** | ||
517 | * The feature id for the '<em><b>Solver Memory</b></em>' attribute. | ||
518 | * <!-- begin-user-doc --> | ||
519 | * <!-- end-user-doc --> | ||
520 | * @generated | ||
521 | * @ordered | ||
522 | */ | ||
523 | int STATISTICS__SOLVER_MEMORY = 3; | ||
524 | |||
525 | /** | ||
526 | * The number of structural features of the '<em>Statistics</em>' class. | ||
527 | * <!-- begin-user-doc --> | ||
528 | * <!-- end-user-doc --> | ||
529 | * @generated | ||
530 | * @ordered | ||
531 | */ | ||
532 | int STATISTICS_FEATURE_COUNT = 4; | ||
533 | |||
534 | /** | ||
535 | * The number of operations of the '<em>Statistics</em>' class. | ||
536 | * <!-- begin-user-doc --> | ||
537 | * <!-- end-user-doc --> | ||
538 | * @generated | ||
539 | * @ordered | ||
540 | */ | ||
541 | int STATISTICS_OPERATION_COUNT = 0; | ||
542 | |||
543 | /** | ||
544 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl <em>Statistic Entry</em>}' class. | ||
545 | * <!-- begin-user-doc --> | ||
546 | * <!-- end-user-doc --> | ||
547 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl | ||
548 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStatisticEntry() | ||
549 | * @generated | ||
550 | */ | ||
551 | int STATISTIC_ENTRY = 7; | ||
552 | |||
553 | /** | ||
554 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
555 | * <!-- begin-user-doc --> | ||
556 | * <!-- end-user-doc --> | ||
557 | * @generated | ||
558 | * @ordered | ||
559 | */ | ||
560 | int STATISTIC_ENTRY__NAME = 0; | ||
561 | |||
562 | /** | ||
563 | * The number of structural features of the '<em>Statistic Entry</em>' class. | ||
564 | * <!-- begin-user-doc --> | ||
565 | * <!-- end-user-doc --> | ||
566 | * @generated | ||
567 | * @ordered | ||
568 | */ | ||
569 | int STATISTIC_ENTRY_FEATURE_COUNT = 1; | ||
570 | |||
571 | /** | ||
572 | * The number of operations of the '<em>Statistic Entry</em>' class. | ||
573 | * <!-- begin-user-doc --> | ||
574 | * <!-- end-user-doc --> | ||
575 | * @generated | ||
576 | * @ordered | ||
577 | */ | ||
578 | int STATISTIC_ENTRY_OPERATION_COUNT = 0; | ||
579 | |||
580 | /** | ||
581 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UndecidableResultImpl <em>Undecidable Result</em>}' class. | ||
582 | * <!-- begin-user-doc --> | ||
583 | * <!-- end-user-doc --> | ||
584 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UndecidableResultImpl | ||
585 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getUndecidableResult() | ||
586 | * @generated | ||
587 | */ | ||
588 | int UNDECIDABLE_RESULT = 8; | ||
589 | |||
590 | /** | ||
591 | * The feature id for the '<em><b>Problem</b></em>' reference. | ||
592 | * <!-- begin-user-doc --> | ||
593 | * <!-- end-user-doc --> | ||
594 | * @generated | ||
595 | * @ordered | ||
596 | */ | ||
597 | int UNDECIDABLE_RESULT__PROBLEM = UNKNOWN_RESULT__PROBLEM; | ||
598 | |||
599 | /** | ||
600 | * The feature id for the '<em><b>Statistics</b></em>' containment reference. | ||
601 | * <!-- begin-user-doc --> | ||
602 | * <!-- end-user-doc --> | ||
603 | * @generated | ||
604 | * @ordered | ||
605 | */ | ||
606 | int UNDECIDABLE_RESULT__STATISTICS = UNKNOWN_RESULT__STATISTICS; | ||
607 | |||
608 | /** | ||
609 | * The feature id for the '<em><b>Trace</b></em>' attribute. | ||
610 | * <!-- begin-user-doc --> | ||
611 | * <!-- end-user-doc --> | ||
612 | * @generated | ||
613 | * @ordered | ||
614 | */ | ||
615 | int UNDECIDABLE_RESULT__TRACE = UNKNOWN_RESULT__TRACE; | ||
616 | |||
617 | /** | ||
618 | * The feature id for the '<em><b>Representation</b></em>' attribute list. | ||
619 | * <!-- begin-user-doc --> | ||
620 | * <!-- end-user-doc --> | ||
621 | * @generated | ||
622 | * @ordered | ||
623 | */ | ||
624 | int UNDECIDABLE_RESULT__REPRESENTATION = UNKNOWN_RESULT__REPRESENTATION; | ||
625 | |||
626 | /** | ||
627 | * The number of structural features of the '<em>Undecidable Result</em>' class. | ||
628 | * <!-- begin-user-doc --> | ||
629 | * <!-- end-user-doc --> | ||
630 | * @generated | ||
631 | * @ordered | ||
632 | */ | ||
633 | int UNDECIDABLE_RESULT_FEATURE_COUNT = UNKNOWN_RESULT_FEATURE_COUNT + 0; | ||
634 | |||
635 | /** | ||
636 | * The number of operations of the '<em>Undecidable Result</em>' class. | ||
637 | * <!-- begin-user-doc --> | ||
638 | * <!-- end-user-doc --> | ||
639 | * @generated | ||
640 | * @ordered | ||
641 | */ | ||
642 | int UNDECIDABLE_RESULT_OPERATION_COUNT = UNKNOWN_RESULT_OPERATION_COUNT + 0; | ||
643 | |||
644 | /** | ||
645 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl <em>Int Statistic Entry</em>}' class. | ||
646 | * <!-- begin-user-doc --> | ||
647 | * <!-- end-user-doc --> | ||
648 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl | ||
649 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getIntStatisticEntry() | ||
650 | * @generated | ||
651 | */ | ||
652 | int INT_STATISTIC_ENTRY = 9; | ||
653 | |||
654 | /** | ||
655 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
656 | * <!-- begin-user-doc --> | ||
657 | * <!-- end-user-doc --> | ||
658 | * @generated | ||
659 | * @ordered | ||
660 | */ | ||
661 | int INT_STATISTIC_ENTRY__NAME = STATISTIC_ENTRY__NAME; | ||
662 | |||
663 | /** | ||
664 | * The feature id for the '<em><b>Value</b></em>' attribute. | ||
665 | * <!-- begin-user-doc --> | ||
666 | * <!-- end-user-doc --> | ||
667 | * @generated | ||
668 | * @ordered | ||
669 | */ | ||
670 | int INT_STATISTIC_ENTRY__VALUE = STATISTIC_ENTRY_FEATURE_COUNT + 0; | ||
671 | |||
672 | /** | ||
673 | * The number of structural features of the '<em>Int Statistic Entry</em>' class. | ||
674 | * <!-- begin-user-doc --> | ||
675 | * <!-- end-user-doc --> | ||
676 | * @generated | ||
677 | * @ordered | ||
678 | */ | ||
679 | int INT_STATISTIC_ENTRY_FEATURE_COUNT = STATISTIC_ENTRY_FEATURE_COUNT + 1; | ||
680 | |||
681 | /** | ||
682 | * The number of operations of the '<em>Int Statistic Entry</em>' class. | ||
683 | * <!-- begin-user-doc --> | ||
684 | * <!-- end-user-doc --> | ||
685 | * @generated | ||
686 | * @ordered | ||
687 | */ | ||
688 | int INT_STATISTIC_ENTRY_OPERATION_COUNT = STATISTIC_ENTRY_OPERATION_COUNT + 0; | ||
689 | |||
690 | /** | ||
691 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl <em>Real Statistic Entry</em>}' class. | ||
692 | * <!-- begin-user-doc --> | ||
693 | * <!-- end-user-doc --> | ||
694 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl | ||
695 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getRealStatisticEntry() | ||
696 | * @generated | ||
697 | */ | ||
698 | int REAL_STATISTIC_ENTRY = 10; | ||
699 | |||
700 | /** | ||
701 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
702 | * <!-- begin-user-doc --> | ||
703 | * <!-- end-user-doc --> | ||
704 | * @generated | ||
705 | * @ordered | ||
706 | */ | ||
707 | int REAL_STATISTIC_ENTRY__NAME = STATISTIC_ENTRY__NAME; | ||
708 | |||
709 | /** | ||
710 | * The feature id for the '<em><b>Value</b></em>' attribute. | ||
711 | * <!-- begin-user-doc --> | ||
712 | * <!-- end-user-doc --> | ||
713 | * @generated | ||
714 | * @ordered | ||
715 | */ | ||
716 | int REAL_STATISTIC_ENTRY__VALUE = STATISTIC_ENTRY_FEATURE_COUNT + 0; | ||
717 | |||
718 | /** | ||
719 | * The number of structural features of the '<em>Real Statistic Entry</em>' class. | ||
720 | * <!-- begin-user-doc --> | ||
721 | * <!-- end-user-doc --> | ||
722 | * @generated | ||
723 | * @ordered | ||
724 | */ | ||
725 | int REAL_STATISTIC_ENTRY_FEATURE_COUNT = STATISTIC_ENTRY_FEATURE_COUNT + 1; | ||
726 | |||
727 | /** | ||
728 | * The number of operations of the '<em>Real Statistic Entry</em>' class. | ||
729 | * <!-- begin-user-doc --> | ||
730 | * <!-- end-user-doc --> | ||
731 | * @generated | ||
732 | * @ordered | ||
733 | */ | ||
734 | int REAL_STATISTIC_ENTRY_OPERATION_COUNT = STATISTIC_ENTRY_OPERATION_COUNT + 0; | ||
735 | |||
736 | |||
737 | /** | ||
738 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl <em>String Statistic Entry</em>}' class. | ||
739 | * <!-- begin-user-doc --> | ||
740 | * <!-- end-user-doc --> | ||
741 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl | ||
742 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStringStatisticEntry() | ||
743 | * @generated | ||
744 | */ | ||
745 | int STRING_STATISTIC_ENTRY = 11; | ||
746 | |||
747 | /** | ||
748 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
749 | * <!-- begin-user-doc --> | ||
750 | * <!-- end-user-doc --> | ||
751 | * @generated | ||
752 | * @ordered | ||
753 | */ | ||
754 | int STRING_STATISTIC_ENTRY__NAME = STATISTIC_ENTRY__NAME; | ||
755 | |||
756 | /** | ||
757 | * The feature id for the '<em><b>Value</b></em>' attribute. | ||
758 | * <!-- begin-user-doc --> | ||
759 | * <!-- end-user-doc --> | ||
760 | * @generated | ||
761 | * @ordered | ||
762 | */ | ||
763 | int STRING_STATISTIC_ENTRY__VALUE = STATISTIC_ENTRY_FEATURE_COUNT + 0; | ||
764 | |||
765 | /** | ||
766 | * The number of structural features of the '<em>String Statistic Entry</em>' class. | ||
767 | * <!-- begin-user-doc --> | ||
768 | * <!-- end-user-doc --> | ||
769 | * @generated | ||
770 | * @ordered | ||
771 | */ | ||
772 | int STRING_STATISTIC_ENTRY_FEATURE_COUNT = STATISTIC_ENTRY_FEATURE_COUNT + 1; | ||
773 | |||
774 | /** | ||
775 | * The number of operations of the '<em>String Statistic Entry</em>' class. | ||
776 | * <!-- begin-user-doc --> | ||
777 | * <!-- end-user-doc --> | ||
778 | * @generated | ||
779 | * @ordered | ||
780 | */ | ||
781 | int STRING_STATISTIC_ENTRY_OPERATION_COUNT = STATISTIC_ENTRY_OPERATION_COUNT + 0; | ||
782 | |||
783 | |||
784 | /** | ||
785 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult <em>Logic Result</em>}'. | ||
786 | * <!-- begin-user-doc --> | ||
787 | * <!-- end-user-doc --> | ||
788 | * @return the meta object for class '<em>Logic Result</em>'. | ||
789 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult | ||
790 | * @generated | ||
791 | */ | ||
792 | EClass getLogicResult(); | ||
793 | |||
794 | /** | ||
795 | * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getProblem <em>Problem</em>}'. | ||
796 | * <!-- begin-user-doc --> | ||
797 | * <!-- end-user-doc --> | ||
798 | * @return the meta object for the reference '<em>Problem</em>'. | ||
799 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getProblem() | ||
800 | * @see #getLogicResult() | ||
801 | * @generated | ||
802 | */ | ||
803 | EReference getLogicResult_Problem(); | ||
804 | |||
805 | /** | ||
806 | * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getStatistics <em>Statistics</em>}'. | ||
807 | * <!-- begin-user-doc --> | ||
808 | * <!-- end-user-doc --> | ||
809 | * @return the meta object for the containment reference '<em>Statistics</em>'. | ||
810 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getStatistics() | ||
811 | * @see #getLogicResult() | ||
812 | * @generated | ||
813 | */ | ||
814 | EReference getLogicResult_Statistics(); | ||
815 | |||
816 | /** | ||
817 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getTrace <em>Trace</em>}'. | ||
818 | * <!-- begin-user-doc --> | ||
819 | * <!-- end-user-doc --> | ||
820 | * @return the meta object for the attribute '<em>Trace</em>'. | ||
821 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getTrace() | ||
822 | * @see #getLogicResult() | ||
823 | * @generated | ||
824 | */ | ||
825 | EAttribute getLogicResult_Trace(); | ||
826 | |||
827 | /** | ||
828 | * Returns the meta object for the attribute list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getRepresentation <em>Representation</em>}'. | ||
829 | * <!-- begin-user-doc --> | ||
830 | * <!-- end-user-doc --> | ||
831 | * @return the meta object for the attribute list '<em>Representation</em>'. | ||
832 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult#getRepresentation() | ||
833 | * @see #getLogicResult() | ||
834 | * @generated | ||
835 | */ | ||
836 | EAttribute getLogicResult_Representation(); | ||
837 | |||
838 | /** | ||
839 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult <em>Model Result</em>}'. | ||
840 | * <!-- begin-user-doc --> | ||
841 | * <!-- end-user-doc --> | ||
842 | * @return the meta object for class '<em>Model Result</em>'. | ||
843 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult | ||
844 | * @generated | ||
845 | */ | ||
846 | EClass getModelResult(); | ||
847 | |||
848 | /** | ||
849 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMaxInteger <em>Max Integer</em>}'. | ||
850 | * <!-- begin-user-doc --> | ||
851 | * <!-- end-user-doc --> | ||
852 | * @return the meta object for the attribute '<em>Max Integer</em>'. | ||
853 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMaxInteger() | ||
854 | * @see #getModelResult() | ||
855 | * @generated | ||
856 | */ | ||
857 | EAttribute getModelResult_MaxInteger(); | ||
858 | |||
859 | /** | ||
860 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMinInteger <em>Min Integer</em>}'. | ||
861 | * <!-- begin-user-doc --> | ||
862 | * <!-- end-user-doc --> | ||
863 | * @return the meta object for the attribute '<em>Min Integer</em>'. | ||
864 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMinInteger() | ||
865 | * @see #getModelResult() | ||
866 | * @generated | ||
867 | */ | ||
868 | EAttribute getModelResult_MinInteger(); | ||
869 | |||
870 | /** | ||
871 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult <em>Inconsistency Result</em>}'. | ||
872 | * <!-- begin-user-doc --> | ||
873 | * <!-- end-user-doc --> | ||
874 | * @return the meta object for class '<em>Inconsistency Result</em>'. | ||
875 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult | ||
876 | * @generated | ||
877 | */ | ||
878 | EClass getInconsistencyResult(); | ||
879 | |||
880 | /** | ||
881 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult <em>Unknown Result</em>}'. | ||
882 | * <!-- begin-user-doc --> | ||
883 | * <!-- end-user-doc --> | ||
884 | * @return the meta object for class '<em>Unknown Result</em>'. | ||
885 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult | ||
886 | * @generated | ||
887 | */ | ||
888 | EClass getUnknownResult(); | ||
889 | |||
890 | /** | ||
891 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult <em>Insuficient Resources Result</em>}'. | ||
892 | * <!-- begin-user-doc --> | ||
893 | * <!-- end-user-doc --> | ||
894 | * @return the meta object for class '<em>Insuficient Resources Result</em>'. | ||
895 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult | ||
896 | * @generated | ||
897 | */ | ||
898 | EClass getInsuficientResourcesResult(); | ||
899 | |||
900 | /** | ||
901 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult#getResourceName <em>Resource Name</em>}'. | ||
902 | * <!-- begin-user-doc --> | ||
903 | * <!-- end-user-doc --> | ||
904 | * @return the meta object for the attribute '<em>Resource Name</em>'. | ||
905 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult#getResourceName() | ||
906 | * @see #getInsuficientResourcesResult() | ||
907 | * @generated | ||
908 | */ | ||
909 | EAttribute getInsuficientResourcesResult_ResourceName(); | ||
910 | |||
911 | /** | ||
912 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult <em>Error Result</em>}'. | ||
913 | * <!-- begin-user-doc --> | ||
914 | * <!-- end-user-doc --> | ||
915 | * @return the meta object for class '<em>Error Result</em>'. | ||
916 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult | ||
917 | * @generated | ||
918 | */ | ||
919 | EClass getErrorResult(); | ||
920 | |||
921 | /** | ||
922 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult#getMessage <em>Message</em>}'. | ||
923 | * <!-- begin-user-doc --> | ||
924 | * <!-- end-user-doc --> | ||
925 | * @return the meta object for the attribute '<em>Message</em>'. | ||
926 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult#getMessage() | ||
927 | * @see #getErrorResult() | ||
928 | * @generated | ||
929 | */ | ||
930 | EAttribute getErrorResult_Message(); | ||
931 | |||
932 | /** | ||
933 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics <em>Statistics</em>}'. | ||
934 | * <!-- begin-user-doc --> | ||
935 | * <!-- end-user-doc --> | ||
936 | * @return the meta object for class '<em>Statistics</em>'. | ||
937 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics | ||
938 | * @generated | ||
939 | */ | ||
940 | EClass getStatistics(); | ||
941 | |||
942 | /** | ||
943 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getEntries <em>Entries</em>}'. | ||
944 | * <!-- begin-user-doc --> | ||
945 | * <!-- end-user-doc --> | ||
946 | * @return the meta object for the containment reference list '<em>Entries</em>'. | ||
947 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getEntries() | ||
948 | * @see #getStatistics() | ||
949 | * @generated | ||
950 | */ | ||
951 | EReference getStatistics_Entries(); | ||
952 | |||
953 | /** | ||
954 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getTransformationTime <em>Transformation Time</em>}'. | ||
955 | * <!-- begin-user-doc --> | ||
956 | * <!-- end-user-doc --> | ||
957 | * @return the meta object for the attribute '<em>Transformation Time</em>'. | ||
958 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getTransformationTime() | ||
959 | * @see #getStatistics() | ||
960 | * @generated | ||
961 | */ | ||
962 | EAttribute getStatistics_TransformationTime(); | ||
963 | |||
964 | /** | ||
965 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverTime <em>Solver Time</em>}'. | ||
966 | * <!-- begin-user-doc --> | ||
967 | * <!-- end-user-doc --> | ||
968 | * @return the meta object for the attribute '<em>Solver Time</em>'. | ||
969 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverTime() | ||
970 | * @see #getStatistics() | ||
971 | * @generated | ||
972 | */ | ||
973 | EAttribute getStatistics_SolverTime(); | ||
974 | |||
975 | /** | ||
976 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverMemory <em>Solver Memory</em>}'. | ||
977 | * <!-- begin-user-doc --> | ||
978 | * <!-- end-user-doc --> | ||
979 | * @return the meta object for the attribute '<em>Solver Memory</em>'. | ||
980 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverMemory() | ||
981 | * @see #getStatistics() | ||
982 | * @generated | ||
983 | */ | ||
984 | EAttribute getStatistics_SolverMemory(); | ||
985 | |||
986 | /** | ||
987 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry <em>Statistic Entry</em>}'. | ||
988 | * <!-- begin-user-doc --> | ||
989 | * <!-- end-user-doc --> | ||
990 | * @return the meta object for class '<em>Statistic Entry</em>'. | ||
991 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry | ||
992 | * @generated | ||
993 | */ | ||
994 | EClass getStatisticEntry(); | ||
995 | |||
996 | /** | ||
997 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry#getName <em>Name</em>}'. | ||
998 | * <!-- begin-user-doc --> | ||
999 | * <!-- end-user-doc --> | ||
1000 | * @return the meta object for the attribute '<em>Name</em>'. | ||
1001 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry#getName() | ||
1002 | * @see #getStatisticEntry() | ||
1003 | * @generated | ||
1004 | */ | ||
1005 | EAttribute getStatisticEntry_Name(); | ||
1006 | |||
1007 | /** | ||
1008 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult <em>Undecidable Result</em>}'. | ||
1009 | * <!-- begin-user-doc --> | ||
1010 | * <!-- end-user-doc --> | ||
1011 | * @return the meta object for class '<em>Undecidable Result</em>'. | ||
1012 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult | ||
1013 | * @generated | ||
1014 | */ | ||
1015 | EClass getUndecidableResult(); | ||
1016 | |||
1017 | /** | ||
1018 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry <em>Int Statistic Entry</em>}'. | ||
1019 | * <!-- begin-user-doc --> | ||
1020 | * <!-- end-user-doc --> | ||
1021 | * @return the meta object for class '<em>Int Statistic Entry</em>'. | ||
1022 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry | ||
1023 | * @generated | ||
1024 | */ | ||
1025 | EClass getIntStatisticEntry(); | ||
1026 | |||
1027 | /** | ||
1028 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry#getValue <em>Value</em>}'. | ||
1029 | * <!-- begin-user-doc --> | ||
1030 | * <!-- end-user-doc --> | ||
1031 | * @return the meta object for the attribute '<em>Value</em>'. | ||
1032 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry#getValue() | ||
1033 | * @see #getIntStatisticEntry() | ||
1034 | * @generated | ||
1035 | */ | ||
1036 | EAttribute getIntStatisticEntry_Value(); | ||
1037 | |||
1038 | /** | ||
1039 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry <em>Real Statistic Entry</em>}'. | ||
1040 | * <!-- begin-user-doc --> | ||
1041 | * <!-- end-user-doc --> | ||
1042 | * @return the meta object for class '<em>Real Statistic Entry</em>'. | ||
1043 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry | ||
1044 | * @generated | ||
1045 | */ | ||
1046 | EClass getRealStatisticEntry(); | ||
1047 | |||
1048 | /** | ||
1049 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry#getValue <em>Value</em>}'. | ||
1050 | * <!-- begin-user-doc --> | ||
1051 | * <!-- end-user-doc --> | ||
1052 | * @return the meta object for the attribute '<em>Value</em>'. | ||
1053 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry#getValue() | ||
1054 | * @see #getRealStatisticEntry() | ||
1055 | * @generated | ||
1056 | */ | ||
1057 | EAttribute getRealStatisticEntry_Value(); | ||
1058 | |||
1059 | /** | ||
1060 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry <em>String Statistic Entry</em>}'. | ||
1061 | * <!-- begin-user-doc --> | ||
1062 | * <!-- end-user-doc --> | ||
1063 | * @return the meta object for class '<em>String Statistic Entry</em>'. | ||
1064 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry | ||
1065 | * @generated | ||
1066 | */ | ||
1067 | EClass getStringStatisticEntry(); | ||
1068 | |||
1069 | /** | ||
1070 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry#getValue <em>Value</em>}'. | ||
1071 | * <!-- begin-user-doc --> | ||
1072 | * <!-- end-user-doc --> | ||
1073 | * @return the meta object for the attribute '<em>Value</em>'. | ||
1074 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry#getValue() | ||
1075 | * @see #getStringStatisticEntry() | ||
1076 | * @generated | ||
1077 | */ | ||
1078 | EAttribute getStringStatisticEntry_Value(); | ||
1079 | |||
1080 | /** | ||
1081 | * Returns the factory that creates the instances of the model. | ||
1082 | * <!-- begin-user-doc --> | ||
1083 | * <!-- end-user-doc --> | ||
1084 | * @return the factory that creates the instances of the model. | ||
1085 | * @generated | ||
1086 | */ | ||
1087 | LogicresultFactory getLogicresultFactory(); | ||
1088 | |||
1089 | /** | ||
1090 | * <!-- begin-user-doc --> | ||
1091 | * Defines literals for the meta objects that represent | ||
1092 | * <ul> | ||
1093 | * <li>each class,</li> | ||
1094 | * <li>each feature of each class,</li> | ||
1095 | * <li>each operation of each class,</li> | ||
1096 | * <li>each enum,</li> | ||
1097 | * <li>and each data type</li> | ||
1098 | * </ul> | ||
1099 | * <!-- end-user-doc --> | ||
1100 | * @generated | ||
1101 | */ | ||
1102 | interface Literals { | ||
1103 | /** | ||
1104 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl <em>Logic Result</em>}' class. | ||
1105 | * <!-- begin-user-doc --> | ||
1106 | * <!-- end-user-doc --> | ||
1107 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl | ||
1108 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getLogicResult() | ||
1109 | * @generated | ||
1110 | */ | ||
1111 | EClass LOGIC_RESULT = eINSTANCE.getLogicResult(); | ||
1112 | |||
1113 | /** | ||
1114 | * The meta object literal for the '<em><b>Problem</b></em>' reference feature. | ||
1115 | * <!-- begin-user-doc --> | ||
1116 | * <!-- end-user-doc --> | ||
1117 | * @generated | ||
1118 | */ | ||
1119 | EReference LOGIC_RESULT__PROBLEM = eINSTANCE.getLogicResult_Problem(); | ||
1120 | |||
1121 | /** | ||
1122 | * The meta object literal for the '<em><b>Statistics</b></em>' containment reference feature. | ||
1123 | * <!-- begin-user-doc --> | ||
1124 | * <!-- end-user-doc --> | ||
1125 | * @generated | ||
1126 | */ | ||
1127 | EReference LOGIC_RESULT__STATISTICS = eINSTANCE.getLogicResult_Statistics(); | ||
1128 | |||
1129 | /** | ||
1130 | * The meta object literal for the '<em><b>Trace</b></em>' attribute feature. | ||
1131 | * <!-- begin-user-doc --> | ||
1132 | * <!-- end-user-doc --> | ||
1133 | * @generated | ||
1134 | */ | ||
1135 | EAttribute LOGIC_RESULT__TRACE = eINSTANCE.getLogicResult_Trace(); | ||
1136 | |||
1137 | /** | ||
1138 | * The meta object literal for the '<em><b>Representation</b></em>' attribute list feature. | ||
1139 | * <!-- begin-user-doc --> | ||
1140 | * <!-- end-user-doc --> | ||
1141 | * @generated | ||
1142 | */ | ||
1143 | EAttribute LOGIC_RESULT__REPRESENTATION = eINSTANCE.getLogicResult_Representation(); | ||
1144 | |||
1145 | /** | ||
1146 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl <em>Model Result</em>}' class. | ||
1147 | * <!-- begin-user-doc --> | ||
1148 | * <!-- end-user-doc --> | ||
1149 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl | ||
1150 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getModelResult() | ||
1151 | * @generated | ||
1152 | */ | ||
1153 | EClass MODEL_RESULT = eINSTANCE.getModelResult(); | ||
1154 | |||
1155 | /** | ||
1156 | * The meta object literal for the '<em><b>Max Integer</b></em>' attribute feature. | ||
1157 | * <!-- begin-user-doc --> | ||
1158 | * <!-- end-user-doc --> | ||
1159 | * @generated | ||
1160 | */ | ||
1161 | EAttribute MODEL_RESULT__MAX_INTEGER = eINSTANCE.getModelResult_MaxInteger(); | ||
1162 | |||
1163 | /** | ||
1164 | * The meta object literal for the '<em><b>Min Integer</b></em>' attribute feature. | ||
1165 | * <!-- begin-user-doc --> | ||
1166 | * <!-- end-user-doc --> | ||
1167 | * @generated | ||
1168 | */ | ||
1169 | EAttribute MODEL_RESULT__MIN_INTEGER = eINSTANCE.getModelResult_MinInteger(); | ||
1170 | |||
1171 | /** | ||
1172 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InconsistencyResultImpl <em>Inconsistency Result</em>}' class. | ||
1173 | * <!-- begin-user-doc --> | ||
1174 | * <!-- end-user-doc --> | ||
1175 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InconsistencyResultImpl | ||
1176 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getInconsistencyResult() | ||
1177 | * @generated | ||
1178 | */ | ||
1179 | EClass INCONSISTENCY_RESULT = eINSTANCE.getInconsistencyResult(); | ||
1180 | |||
1181 | /** | ||
1182 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UnknownResultImpl <em>Unknown Result</em>}' class. | ||
1183 | * <!-- begin-user-doc --> | ||
1184 | * <!-- end-user-doc --> | ||
1185 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UnknownResultImpl | ||
1186 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getUnknownResult() | ||
1187 | * @generated | ||
1188 | */ | ||
1189 | EClass UNKNOWN_RESULT = eINSTANCE.getUnknownResult(); | ||
1190 | |||
1191 | /** | ||
1192 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl <em>Insuficient Resources Result</em>}' class. | ||
1193 | * <!-- begin-user-doc --> | ||
1194 | * <!-- end-user-doc --> | ||
1195 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl | ||
1196 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getInsuficientResourcesResult() | ||
1197 | * @generated | ||
1198 | */ | ||
1199 | EClass INSUFICIENT_RESOURCES_RESULT = eINSTANCE.getInsuficientResourcesResult(); | ||
1200 | |||
1201 | /** | ||
1202 | * The meta object literal for the '<em><b>Resource Name</b></em>' attribute feature. | ||
1203 | * <!-- begin-user-doc --> | ||
1204 | * <!-- end-user-doc --> | ||
1205 | * @generated | ||
1206 | */ | ||
1207 | EAttribute INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME = eINSTANCE.getInsuficientResourcesResult_ResourceName(); | ||
1208 | |||
1209 | /** | ||
1210 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl <em>Error Result</em>}' class. | ||
1211 | * <!-- begin-user-doc --> | ||
1212 | * <!-- end-user-doc --> | ||
1213 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl | ||
1214 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getErrorResult() | ||
1215 | * @generated | ||
1216 | */ | ||
1217 | EClass ERROR_RESULT = eINSTANCE.getErrorResult(); | ||
1218 | |||
1219 | /** | ||
1220 | * The meta object literal for the '<em><b>Message</b></em>' attribute feature. | ||
1221 | * <!-- begin-user-doc --> | ||
1222 | * <!-- end-user-doc --> | ||
1223 | * @generated | ||
1224 | */ | ||
1225 | EAttribute ERROR_RESULT__MESSAGE = eINSTANCE.getErrorResult_Message(); | ||
1226 | |||
1227 | /** | ||
1228 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl <em>Statistics</em>}' class. | ||
1229 | * <!-- begin-user-doc --> | ||
1230 | * <!-- end-user-doc --> | ||
1231 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl | ||
1232 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStatistics() | ||
1233 | * @generated | ||
1234 | */ | ||
1235 | EClass STATISTICS = eINSTANCE.getStatistics(); | ||
1236 | |||
1237 | /** | ||
1238 | * The meta object literal for the '<em><b>Entries</b></em>' containment reference list feature. | ||
1239 | * <!-- begin-user-doc --> | ||
1240 | * <!-- end-user-doc --> | ||
1241 | * @generated | ||
1242 | */ | ||
1243 | EReference STATISTICS__ENTRIES = eINSTANCE.getStatistics_Entries(); | ||
1244 | |||
1245 | /** | ||
1246 | * The meta object literal for the '<em><b>Transformation Time</b></em>' attribute feature. | ||
1247 | * <!-- begin-user-doc --> | ||
1248 | * <!-- end-user-doc --> | ||
1249 | * @generated | ||
1250 | */ | ||
1251 | EAttribute STATISTICS__TRANSFORMATION_TIME = eINSTANCE.getStatistics_TransformationTime(); | ||
1252 | |||
1253 | /** | ||
1254 | * The meta object literal for the '<em><b>Solver Time</b></em>' attribute feature. | ||
1255 | * <!-- begin-user-doc --> | ||
1256 | * <!-- end-user-doc --> | ||
1257 | * @generated | ||
1258 | */ | ||
1259 | EAttribute STATISTICS__SOLVER_TIME = eINSTANCE.getStatistics_SolverTime(); | ||
1260 | |||
1261 | /** | ||
1262 | * The meta object literal for the '<em><b>Solver Memory</b></em>' attribute feature. | ||
1263 | * <!-- begin-user-doc --> | ||
1264 | * <!-- end-user-doc --> | ||
1265 | * @generated | ||
1266 | */ | ||
1267 | EAttribute STATISTICS__SOLVER_MEMORY = eINSTANCE.getStatistics_SolverMemory(); | ||
1268 | |||
1269 | /** | ||
1270 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl <em>Statistic Entry</em>}' class. | ||
1271 | * <!-- begin-user-doc --> | ||
1272 | * <!-- end-user-doc --> | ||
1273 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl | ||
1274 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStatisticEntry() | ||
1275 | * @generated | ||
1276 | */ | ||
1277 | EClass STATISTIC_ENTRY = eINSTANCE.getStatisticEntry(); | ||
1278 | |||
1279 | /** | ||
1280 | * The meta object literal for the '<em><b>Name</b></em>' attribute feature. | ||
1281 | * <!-- begin-user-doc --> | ||
1282 | * <!-- end-user-doc --> | ||
1283 | * @generated | ||
1284 | */ | ||
1285 | EAttribute STATISTIC_ENTRY__NAME = eINSTANCE.getStatisticEntry_Name(); | ||
1286 | |||
1287 | /** | ||
1288 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UndecidableResultImpl <em>Undecidable Result</em>}' class. | ||
1289 | * <!-- begin-user-doc --> | ||
1290 | * <!-- end-user-doc --> | ||
1291 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.UndecidableResultImpl | ||
1292 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getUndecidableResult() | ||
1293 | * @generated | ||
1294 | */ | ||
1295 | EClass UNDECIDABLE_RESULT = eINSTANCE.getUndecidableResult(); | ||
1296 | |||
1297 | /** | ||
1298 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl <em>Int Statistic Entry</em>}' class. | ||
1299 | * <!-- begin-user-doc --> | ||
1300 | * <!-- end-user-doc --> | ||
1301 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl | ||
1302 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getIntStatisticEntry() | ||
1303 | * @generated | ||
1304 | */ | ||
1305 | EClass INT_STATISTIC_ENTRY = eINSTANCE.getIntStatisticEntry(); | ||
1306 | |||
1307 | /** | ||
1308 | * The meta object literal for the '<em><b>Value</b></em>' attribute feature. | ||
1309 | * <!-- begin-user-doc --> | ||
1310 | * <!-- end-user-doc --> | ||
1311 | * @generated | ||
1312 | */ | ||
1313 | EAttribute INT_STATISTIC_ENTRY__VALUE = eINSTANCE.getIntStatisticEntry_Value(); | ||
1314 | |||
1315 | /** | ||
1316 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl <em>Real Statistic Entry</em>}' class. | ||
1317 | * <!-- begin-user-doc --> | ||
1318 | * <!-- end-user-doc --> | ||
1319 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl | ||
1320 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getRealStatisticEntry() | ||
1321 | * @generated | ||
1322 | */ | ||
1323 | EClass REAL_STATISTIC_ENTRY = eINSTANCE.getRealStatisticEntry(); | ||
1324 | |||
1325 | /** | ||
1326 | * The meta object literal for the '<em><b>Value</b></em>' attribute feature. | ||
1327 | * <!-- begin-user-doc --> | ||
1328 | * <!-- end-user-doc --> | ||
1329 | * @generated | ||
1330 | */ | ||
1331 | EAttribute REAL_STATISTIC_ENTRY__VALUE = eINSTANCE.getRealStatisticEntry_Value(); | ||
1332 | |||
1333 | /** | ||
1334 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl <em>String Statistic Entry</em>}' class. | ||
1335 | * <!-- begin-user-doc --> | ||
1336 | * <!-- end-user-doc --> | ||
1337 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl | ||
1338 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicresultPackageImpl#getStringStatisticEntry() | ||
1339 | * @generated | ||
1340 | */ | ||
1341 | EClass STRING_STATISTIC_ENTRY = eINSTANCE.getStringStatisticEntry(); | ||
1342 | |||
1343 | /** | ||
1344 | * The meta object literal for the '<em><b>Value</b></em>' attribute feature. | ||
1345 | * <!-- begin-user-doc --> | ||
1346 | * <!-- end-user-doc --> | ||
1347 | * @generated | ||
1348 | */ | ||
1349 | EAttribute STRING_STATISTIC_ENTRY__VALUE = eINSTANCE.getStringStatisticEntry_Value(); | ||
1350 | |||
1351 | } | ||
1352 | |||
1353 | } //LogicresultPackage | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/ModelResult.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/ModelResult.java new file mode 100644 index 00000000..6cef941d --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/ModelResult.java | |||
@@ -0,0 +1,76 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
4 | |||
5 | |||
6 | /** | ||
7 | * <!-- begin-user-doc --> | ||
8 | * A representation of the model object '<em><b>Model Result</b></em>'. | ||
9 | * <!-- end-user-doc --> | ||
10 | * | ||
11 | * <p> | ||
12 | * The following features are supported: | ||
13 | * </p> | ||
14 | * <ul> | ||
15 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMaxInteger <em>Max Integer</em>}</li> | ||
16 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMinInteger <em>Min Integer</em>}</li> | ||
17 | * </ul> | ||
18 | * | ||
19 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getModelResult() | ||
20 | * @model | ||
21 | * @generated | ||
22 | */ | ||
23 | public interface ModelResult extends LogicResult { | ||
24 | /** | ||
25 | * Returns the value of the '<em><b>Max Integer</b></em>' attribute. | ||
26 | * <!-- begin-user-doc --> | ||
27 | * <p> | ||
28 | * If the meaning of the '<em>Max Integer</em>' attribute isn't clear, | ||
29 | * there really should be more of a description here... | ||
30 | * </p> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @return the value of the '<em>Max Integer</em>' attribute. | ||
33 | * @see #setMaxInteger(int) | ||
34 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getModelResult_MaxInteger() | ||
35 | * @model required="true" | ||
36 | * @generated | ||
37 | */ | ||
38 | int getMaxInteger(); | ||
39 | |||
40 | /** | ||
41 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMaxInteger <em>Max Integer</em>}' attribute. | ||
42 | * <!-- begin-user-doc --> | ||
43 | * <!-- end-user-doc --> | ||
44 | * @param value the new value of the '<em>Max Integer</em>' attribute. | ||
45 | * @see #getMaxInteger() | ||
46 | * @generated | ||
47 | */ | ||
48 | void setMaxInteger(int value); | ||
49 | |||
50 | /** | ||
51 | * Returns the value of the '<em><b>Min Integer</b></em>' attribute. | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <p> | ||
54 | * If the meaning of the '<em>Min Integer</em>' attribute isn't clear, | ||
55 | * there really should be more of a description here... | ||
56 | * </p> | ||
57 | * <!-- end-user-doc --> | ||
58 | * @return the value of the '<em>Min Integer</em>' attribute. | ||
59 | * @see #setMinInteger(int) | ||
60 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getModelResult_MinInteger() | ||
61 | * @model required="true" | ||
62 | * @generated | ||
63 | */ | ||
64 | int getMinInteger(); | ||
65 | |||
66 | /** | ||
67 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult#getMinInteger <em>Min Integer</em>}' attribute. | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @param value the new value of the '<em>Min Integer</em>' attribute. | ||
71 | * @see #getMinInteger() | ||
72 | * @generated | ||
73 | */ | ||
74 | void setMinInteger(int value); | ||
75 | |||
76 | } // ModelResult | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/RealStatisticEntry.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/RealStatisticEntry.java new file mode 100644 index 00000000..427416bf --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/RealStatisticEntry.java | |||
@@ -0,0 +1,49 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
4 | |||
5 | |||
6 | /** | ||
7 | * <!-- begin-user-doc --> | ||
8 | * A representation of the model object '<em><b>Real Statistic Entry</b></em>'. | ||
9 | * <!-- end-user-doc --> | ||
10 | * | ||
11 | * <p> | ||
12 | * The following features are supported: | ||
13 | * </p> | ||
14 | * <ul> | ||
15 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry#getValue <em>Value</em>}</li> | ||
16 | * </ul> | ||
17 | * | ||
18 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getRealStatisticEntry() | ||
19 | * @model | ||
20 | * @generated | ||
21 | */ | ||
22 | public interface RealStatisticEntry extends StatisticEntry { | ||
23 | /** | ||
24 | * Returns the value of the '<em><b>Value</b></em>' attribute. | ||
25 | * <!-- begin-user-doc --> | ||
26 | * <p> | ||
27 | * If the meaning of the '<em>Value</em>' attribute isn't clear, | ||
28 | * there really should be more of a description here... | ||
29 | * </p> | ||
30 | * <!-- end-user-doc --> | ||
31 | * @return the value of the '<em>Value</em>' attribute. | ||
32 | * @see #setValue(double) | ||
33 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getRealStatisticEntry_Value() | ||
34 | * @model required="true" | ||
35 | * @generated | ||
36 | */ | ||
37 | double getValue(); | ||
38 | |||
39 | /** | ||
40 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry#getValue <em>Value</em>}' attribute. | ||
41 | * <!-- begin-user-doc --> | ||
42 | * <!-- end-user-doc --> | ||
43 | * @param value the new value of the '<em>Value</em>' attribute. | ||
44 | * @see #getValue() | ||
45 | * @generated | ||
46 | */ | ||
47 | void setValue(double value); | ||
48 | |||
49 | } // RealStatisticEntry | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/StatisticEntry.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/StatisticEntry.java new file mode 100644 index 00000000..f805c781 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/StatisticEntry.java | |||
@@ -0,0 +1,50 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EObject; | ||
6 | |||
7 | /** | ||
8 | * <!-- begin-user-doc --> | ||
9 | * A representation of the model object '<em><b>Statistic Entry</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.logicresult.StatisticEntry#getName <em>Name</em>}</li> | ||
17 | * </ul> | ||
18 | * | ||
19 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getStatisticEntry() | ||
20 | * @model abstract="true" | ||
21 | * @generated | ||
22 | */ | ||
23 | public interface StatisticEntry extends EObject { | ||
24 | /** | ||
25 | * Returns the value of the '<em><b>Name</b></em>' attribute. | ||
26 | * <!-- begin-user-doc --> | ||
27 | * <p> | ||
28 | * If the meaning of the '<em>Name</em>' attribute isn't clear, | ||
29 | * there really should be more of a description here... | ||
30 | * </p> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @return the value of the '<em>Name</em>' attribute. | ||
33 | * @see #setName(String) | ||
34 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getStatisticEntry_Name() | ||
35 | * @model required="true" | ||
36 | * @generated | ||
37 | */ | ||
38 | String getName(); | ||
39 | |||
40 | /** | ||
41 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry#getName <em>Name</em>}' attribute. | ||
42 | * <!-- begin-user-doc --> | ||
43 | * <!-- end-user-doc --> | ||
44 | * @param value the new value of the '<em>Name</em>' attribute. | ||
45 | * @see #getName() | ||
46 | * @generated | ||
47 | */ | ||
48 | void setName(String value); | ||
49 | |||
50 | } // StatisticEntry | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/Statistics.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/Statistics.java new file mode 100644 index 00000000..5b14d009 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/Statistics.java | |||
@@ -0,0 +1,126 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
4 | |||
5 | import org.eclipse.emf.common.util.EList; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EObject; | ||
8 | |||
9 | /** | ||
10 | * <!-- begin-user-doc --> | ||
11 | * A representation of the model object '<em><b>Statistics</b></em>'. | ||
12 | * <!-- end-user-doc --> | ||
13 | * | ||
14 | * <p> | ||
15 | * The following features are supported: | ||
16 | * </p> | ||
17 | * <ul> | ||
18 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getEntries <em>Entries</em>}</li> | ||
19 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getTransformationTime <em>Transformation Time</em>}</li> | ||
20 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverTime <em>Solver Time</em>}</li> | ||
21 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverMemory <em>Solver Memory</em>}</li> | ||
22 | * </ul> | ||
23 | * | ||
24 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getStatistics() | ||
25 | * @model | ||
26 | * @generated | ||
27 | */ | ||
28 | public interface Statistics extends EObject { | ||
29 | /** | ||
30 | * Returns the value of the '<em><b>Entries</b></em>' containment reference list. | ||
31 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry}. | ||
32 | * <!-- begin-user-doc --> | ||
33 | * <p> | ||
34 | * If the meaning of the '<em>Entries</em>' containment reference list isn't clear, | ||
35 | * there really should be more of a description here... | ||
36 | * </p> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @return the value of the '<em>Entries</em>' containment reference list. | ||
39 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getStatistics_Entries() | ||
40 | * @model containment="true" | ||
41 | * @generated | ||
42 | */ | ||
43 | EList<StatisticEntry> getEntries(); | ||
44 | |||
45 | /** | ||
46 | * Returns the value of the '<em><b>Transformation Time</b></em>' attribute. | ||
47 | * The default value is <code>"-1"</code>. | ||
48 | * <!-- begin-user-doc --> | ||
49 | * <p> | ||
50 | * If the meaning of the '<em>Transformation Time</em>' attribute isn't clear, | ||
51 | * there really should be more of a description here... | ||
52 | * </p> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @return the value of the '<em>Transformation Time</em>' attribute. | ||
55 | * @see #setTransformationTime(int) | ||
56 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getStatistics_TransformationTime() | ||
57 | * @model default="-1" required="true" | ||
58 | * @generated | ||
59 | */ | ||
60 | int getTransformationTime(); | ||
61 | |||
62 | /** | ||
63 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getTransformationTime <em>Transformation Time</em>}' attribute. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @param value the new value of the '<em>Transformation Time</em>' attribute. | ||
67 | * @see #getTransformationTime() | ||
68 | * @generated | ||
69 | */ | ||
70 | void setTransformationTime(int value); | ||
71 | |||
72 | /** | ||
73 | * Returns the value of the '<em><b>Solver Time</b></em>' attribute. | ||
74 | * The default value is <code>"-1"</code>. | ||
75 | * <!-- begin-user-doc --> | ||
76 | * <p> | ||
77 | * If the meaning of the '<em>Solver Time</em>' attribute 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>Solver Time</em>' attribute. | ||
82 | * @see #setSolverTime(int) | ||
83 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getStatistics_SolverTime() | ||
84 | * @model default="-1" required="true" | ||
85 | * @generated | ||
86 | */ | ||
87 | int getSolverTime(); | ||
88 | |||
89 | /** | ||
90 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverTime <em>Solver Time</em>}' attribute. | ||
91 | * <!-- begin-user-doc --> | ||
92 | * <!-- end-user-doc --> | ||
93 | * @param value the new value of the '<em>Solver Time</em>' attribute. | ||
94 | * @see #getSolverTime() | ||
95 | * @generated | ||
96 | */ | ||
97 | void setSolverTime(int value); | ||
98 | |||
99 | /** | ||
100 | * Returns the value of the '<em><b>Solver Memory</b></em>' attribute. | ||
101 | * The default value is <code>"-1"</code>. | ||
102 | * <!-- begin-user-doc --> | ||
103 | * <p> | ||
104 | * If the meaning of the '<em>Solver Memory</em>' attribute isn't clear, | ||
105 | * there really should be more of a description here... | ||
106 | * </p> | ||
107 | * <!-- end-user-doc --> | ||
108 | * @return the value of the '<em>Solver Memory</em>' attribute. | ||
109 | * @see #setSolverMemory(int) | ||
110 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getStatistics_SolverMemory() | ||
111 | * @model default="-1" | ||
112 | * @generated | ||
113 | */ | ||
114 | int getSolverMemory(); | ||
115 | |||
116 | /** | ||
117 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics#getSolverMemory <em>Solver Memory</em>}' attribute. | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @param value the new value of the '<em>Solver Memory</em>' attribute. | ||
121 | * @see #getSolverMemory() | ||
122 | * @generated | ||
123 | */ | ||
124 | void setSolverMemory(int value); | ||
125 | |||
126 | } // Statistics | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/StringStatisticEntry.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/StringStatisticEntry.java new file mode 100644 index 00000000..7d9208fa --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/StringStatisticEntry.java | |||
@@ -0,0 +1,50 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
4 | |||
5 | |||
6 | /** | ||
7 | * <!-- begin-user-doc --> | ||
8 | * A representation of the model object '<em><b>String Statistic Entry</b></em>'. | ||
9 | * <!-- end-user-doc --> | ||
10 | * | ||
11 | * <p> | ||
12 | * The following features are supported: | ||
13 | * </p> | ||
14 | * <ul> | ||
15 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry#getValue <em>Value</em>}</li> | ||
16 | * </ul> | ||
17 | * | ||
18 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getStringStatisticEntry() | ||
19 | * @model | ||
20 | * @generated | ||
21 | */ | ||
22 | public interface StringStatisticEntry extends StatisticEntry { | ||
23 | /** | ||
24 | * Returns the value of the '<em><b>Value</b></em>' attribute. | ||
25 | * The default value is <code>"Unfilled"</code>. | ||
26 | * <!-- begin-user-doc --> | ||
27 | * <p> | ||
28 | * If the meaning of the '<em>Value</em>' attribute isn't clear, | ||
29 | * there really should be more of a description here... | ||
30 | * </p> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @return the value of the '<em>Value</em>' attribute. | ||
33 | * @see #setValue(String) | ||
34 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getStringStatisticEntry_Value() | ||
35 | * @model default="Unfilled" required="true" | ||
36 | * @generated | ||
37 | */ | ||
38 | String getValue(); | ||
39 | |||
40 | /** | ||
41 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry#getValue <em>Value</em>}' attribute. | ||
42 | * <!-- begin-user-doc --> | ||
43 | * <!-- end-user-doc --> | ||
44 | * @param value the new value of the '<em>Value</em>' attribute. | ||
45 | * @see #getValue() | ||
46 | * @generated | ||
47 | */ | ||
48 | void setValue(String value); | ||
49 | |||
50 | } // StringStatisticEntry | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/UndecidableResult.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/UndecidableResult.java new file mode 100644 index 00000000..e820eb4f --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/UndecidableResult.java | |||
@@ -0,0 +1,17 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
4 | |||
5 | |||
6 | /** | ||
7 | * <!-- begin-user-doc --> | ||
8 | * A representation of the model object '<em><b>Undecidable Result</b></em>'. | ||
9 | * <!-- end-user-doc --> | ||
10 | * | ||
11 | * | ||
12 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getUndecidableResult() | ||
13 | * @model | ||
14 | * @generated | ||
15 | */ | ||
16 | public interface UndecidableResult extends UnknownResult { | ||
17 | } // UndecidableResult | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/UnknownResult.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/UnknownResult.java new file mode 100644 index 00000000..25afa286 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/UnknownResult.java | |||
@@ -0,0 +1,17 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult; | ||
4 | |||
5 | |||
6 | /** | ||
7 | * <!-- begin-user-doc --> | ||
8 | * A representation of the model object '<em><b>Unknown Result</b></em>'. | ||
9 | * <!-- end-user-doc --> | ||
10 | * | ||
11 | * | ||
12 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#getUnknownResult() | ||
13 | * @model abstract="true" | ||
14 | * @generated | ||
15 | */ | ||
16 | public interface UnknownResult extends LogicResult { | ||
17 | } // UnknownResult | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ErrorResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ErrorResultImpl.java new file mode 100644 index 00000000..579bc772 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ErrorResultImpl.java | |||
@@ -0,0 +1,162 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>Error Result</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ErrorResultImpl#getMessage <em>Message</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @generated | ||
26 | */ | ||
27 | public class ErrorResultImpl extends UnknownResultImpl implements ErrorResult { | ||
28 | /** | ||
29 | * The default value of the '{@link #getMessage() <em>Message</em>}' attribute. | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @see #getMessage() | ||
33 | * @generated | ||
34 | * @ordered | ||
35 | */ | ||
36 | protected static final String MESSAGE_EDEFAULT = null; | ||
37 | |||
38 | /** | ||
39 | * The cached value of the '{@link #getMessage() <em>Message</em>}' attribute. | ||
40 | * <!-- begin-user-doc --> | ||
41 | * <!-- end-user-doc --> | ||
42 | * @see #getMessage() | ||
43 | * @generated | ||
44 | * @ordered | ||
45 | */ | ||
46 | protected String message = MESSAGE_EDEFAULT; | ||
47 | |||
48 | /** | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @generated | ||
52 | */ | ||
53 | protected ErrorResultImpl() { | ||
54 | super(); | ||
55 | } | ||
56 | |||
57 | /** | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @generated | ||
61 | */ | ||
62 | @Override | ||
63 | protected EClass eStaticClass() { | ||
64 | return LogicresultPackage.Literals.ERROR_RESULT; | ||
65 | } | ||
66 | |||
67 | /** | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @generated | ||
71 | */ | ||
72 | public String getMessage() { | ||
73 | return message; | ||
74 | } | ||
75 | |||
76 | /** | ||
77 | * <!-- begin-user-doc --> | ||
78 | * <!-- end-user-doc --> | ||
79 | * @generated | ||
80 | */ | ||
81 | public void setMessage(String newMessage) { | ||
82 | String oldMessage = message; | ||
83 | message = newMessage; | ||
84 | if (eNotificationRequired()) | ||
85 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.ERROR_RESULT__MESSAGE, oldMessage, message)); | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | @Override | ||
94 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
95 | switch (featureID) { | ||
96 | case LogicresultPackage.ERROR_RESULT__MESSAGE: | ||
97 | return getMessage(); | ||
98 | } | ||
99 | return super.eGet(featureID, resolve, coreType); | ||
100 | } | ||
101 | |||
102 | /** | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @generated | ||
106 | */ | ||
107 | @Override | ||
108 | public void eSet(int featureID, Object newValue) { | ||
109 | switch (featureID) { | ||
110 | case LogicresultPackage.ERROR_RESULT__MESSAGE: | ||
111 | setMessage((String)newValue); | ||
112 | return; | ||
113 | } | ||
114 | super.eSet(featureID, newValue); | ||
115 | } | ||
116 | |||
117 | /** | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @generated | ||
121 | */ | ||
122 | @Override | ||
123 | public void eUnset(int featureID) { | ||
124 | switch (featureID) { | ||
125 | case LogicresultPackage.ERROR_RESULT__MESSAGE: | ||
126 | setMessage(MESSAGE_EDEFAULT); | ||
127 | return; | ||
128 | } | ||
129 | super.eUnset(featureID); | ||
130 | } | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | @Override | ||
138 | public boolean eIsSet(int featureID) { | ||
139 | switch (featureID) { | ||
140 | case LogicresultPackage.ERROR_RESULT__MESSAGE: | ||
141 | return MESSAGE_EDEFAULT == null ? message != null : !MESSAGE_EDEFAULT.equals(message); | ||
142 | } | ||
143 | return super.eIsSet(featureID); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public String toString() { | ||
153 | if (eIsProxy()) return super.toString(); | ||
154 | |||
155 | StringBuffer result = new StringBuffer(super.toString()); | ||
156 | result.append(" (message: "); | ||
157 | result.append(message); | ||
158 | result.append(')'); | ||
159 | return result.toString(); | ||
160 | } | ||
161 | |||
162 | } //ErrorResultImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InconsistencyResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InconsistencyResultImpl.java new file mode 100644 index 00000000..de24477d --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InconsistencyResultImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Inconsistency Result</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class InconsistencyResultImpl extends LogicResultImpl implements InconsistencyResult { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected InconsistencyResultImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return LogicresultPackage.Literals.INCONSISTENCY_RESULT; | ||
35 | } | ||
36 | |||
37 | } //InconsistencyResultImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InsuficientResourcesResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InsuficientResourcesResultImpl.java new file mode 100644 index 00000000..3f8d7ebf --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InsuficientResourcesResultImpl.java | |||
@@ -0,0 +1,162 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>Insuficient Resources Result</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.InsuficientResourcesResultImpl#getResourceName <em>Resource Name</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @generated | ||
26 | */ | ||
27 | public class InsuficientResourcesResultImpl extends UnknownResultImpl implements InsuficientResourcesResult { | ||
28 | /** | ||
29 | * The default value of the '{@link #getResourceName() <em>Resource Name</em>}' attribute. | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @see #getResourceName() | ||
33 | * @generated | ||
34 | * @ordered | ||
35 | */ | ||
36 | protected static final String RESOURCE_NAME_EDEFAULT = null; | ||
37 | |||
38 | /** | ||
39 | * The cached value of the '{@link #getResourceName() <em>Resource Name</em>}' attribute. | ||
40 | * <!-- begin-user-doc --> | ||
41 | * <!-- end-user-doc --> | ||
42 | * @see #getResourceName() | ||
43 | * @generated | ||
44 | * @ordered | ||
45 | */ | ||
46 | protected String resourceName = RESOURCE_NAME_EDEFAULT; | ||
47 | |||
48 | /** | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @generated | ||
52 | */ | ||
53 | protected InsuficientResourcesResultImpl() { | ||
54 | super(); | ||
55 | } | ||
56 | |||
57 | /** | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @generated | ||
61 | */ | ||
62 | @Override | ||
63 | protected EClass eStaticClass() { | ||
64 | return LogicresultPackage.Literals.INSUFICIENT_RESOURCES_RESULT; | ||
65 | } | ||
66 | |||
67 | /** | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @generated | ||
71 | */ | ||
72 | public String getResourceName() { | ||
73 | return resourceName; | ||
74 | } | ||
75 | |||
76 | /** | ||
77 | * <!-- begin-user-doc --> | ||
78 | * <!-- end-user-doc --> | ||
79 | * @generated | ||
80 | */ | ||
81 | public void setResourceName(String newResourceName) { | ||
82 | String oldResourceName = resourceName; | ||
83 | resourceName = newResourceName; | ||
84 | if (eNotificationRequired()) | ||
85 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME, oldResourceName, resourceName)); | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | @Override | ||
94 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
95 | switch (featureID) { | ||
96 | case LogicresultPackage.INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME: | ||
97 | return getResourceName(); | ||
98 | } | ||
99 | return super.eGet(featureID, resolve, coreType); | ||
100 | } | ||
101 | |||
102 | /** | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @generated | ||
106 | */ | ||
107 | @Override | ||
108 | public void eSet(int featureID, Object newValue) { | ||
109 | switch (featureID) { | ||
110 | case LogicresultPackage.INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME: | ||
111 | setResourceName((String)newValue); | ||
112 | return; | ||
113 | } | ||
114 | super.eSet(featureID, newValue); | ||
115 | } | ||
116 | |||
117 | /** | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @generated | ||
121 | */ | ||
122 | @Override | ||
123 | public void eUnset(int featureID) { | ||
124 | switch (featureID) { | ||
125 | case LogicresultPackage.INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME: | ||
126 | setResourceName(RESOURCE_NAME_EDEFAULT); | ||
127 | return; | ||
128 | } | ||
129 | super.eUnset(featureID); | ||
130 | } | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | @Override | ||
138 | public boolean eIsSet(int featureID) { | ||
139 | switch (featureID) { | ||
140 | case LogicresultPackage.INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME: | ||
141 | return RESOURCE_NAME_EDEFAULT == null ? resourceName != null : !RESOURCE_NAME_EDEFAULT.equals(resourceName); | ||
142 | } | ||
143 | return super.eIsSet(featureID); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public String toString() { | ||
153 | if (eIsProxy()) return super.toString(); | ||
154 | |||
155 | StringBuffer result = new StringBuffer(super.toString()); | ||
156 | result.append(" (resourceName: "); | ||
157 | result.append(resourceName); | ||
158 | result.append(')'); | ||
159 | return result.toString(); | ||
160 | } | ||
161 | |||
162 | } //InsuficientResourcesResultImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/IntStatisticEntryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/IntStatisticEntryImpl.java new file mode 100644 index 00000000..e8bedf70 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/IntStatisticEntryImpl.java | |||
@@ -0,0 +1,162 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>Int Statistic Entry</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.IntStatisticEntryImpl#getValue <em>Value</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @generated | ||
26 | */ | ||
27 | public class IntStatisticEntryImpl extends StatisticEntryImpl implements IntStatisticEntry { | ||
28 | /** | ||
29 | * The default value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @see #getValue() | ||
33 | * @generated | ||
34 | * @ordered | ||
35 | */ | ||
36 | protected static final int VALUE_EDEFAULT = 0; | ||
37 | |||
38 | /** | ||
39 | * The cached value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
40 | * <!-- begin-user-doc --> | ||
41 | * <!-- end-user-doc --> | ||
42 | * @see #getValue() | ||
43 | * @generated | ||
44 | * @ordered | ||
45 | */ | ||
46 | protected int value = VALUE_EDEFAULT; | ||
47 | |||
48 | /** | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @generated | ||
52 | */ | ||
53 | protected IntStatisticEntryImpl() { | ||
54 | super(); | ||
55 | } | ||
56 | |||
57 | /** | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @generated | ||
61 | */ | ||
62 | @Override | ||
63 | protected EClass eStaticClass() { | ||
64 | return LogicresultPackage.Literals.INT_STATISTIC_ENTRY; | ||
65 | } | ||
66 | |||
67 | /** | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @generated | ||
71 | */ | ||
72 | public int getValue() { | ||
73 | return value; | ||
74 | } | ||
75 | |||
76 | /** | ||
77 | * <!-- begin-user-doc --> | ||
78 | * <!-- end-user-doc --> | ||
79 | * @generated | ||
80 | */ | ||
81 | public void setValue(int newValue) { | ||
82 | int oldValue = value; | ||
83 | value = newValue; | ||
84 | if (eNotificationRequired()) | ||
85 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.INT_STATISTIC_ENTRY__VALUE, oldValue, value)); | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | @Override | ||
94 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
95 | switch (featureID) { | ||
96 | case LogicresultPackage.INT_STATISTIC_ENTRY__VALUE: | ||
97 | return getValue(); | ||
98 | } | ||
99 | return super.eGet(featureID, resolve, coreType); | ||
100 | } | ||
101 | |||
102 | /** | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @generated | ||
106 | */ | ||
107 | @Override | ||
108 | public void eSet(int featureID, Object newValue) { | ||
109 | switch (featureID) { | ||
110 | case LogicresultPackage.INT_STATISTIC_ENTRY__VALUE: | ||
111 | setValue((Integer)newValue); | ||
112 | return; | ||
113 | } | ||
114 | super.eSet(featureID, newValue); | ||
115 | } | ||
116 | |||
117 | /** | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @generated | ||
121 | */ | ||
122 | @Override | ||
123 | public void eUnset(int featureID) { | ||
124 | switch (featureID) { | ||
125 | case LogicresultPackage.INT_STATISTIC_ENTRY__VALUE: | ||
126 | setValue(VALUE_EDEFAULT); | ||
127 | return; | ||
128 | } | ||
129 | super.eUnset(featureID); | ||
130 | } | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | @Override | ||
138 | public boolean eIsSet(int featureID) { | ||
139 | switch (featureID) { | ||
140 | case LogicresultPackage.INT_STATISTIC_ENTRY__VALUE: | ||
141 | return value != VALUE_EDEFAULT; | ||
142 | } | ||
143 | return super.eIsSet(featureID); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public String toString() { | ||
153 | if (eIsProxy()) return super.toString(); | ||
154 | |||
155 | StringBuffer result = new StringBuffer(super.toString()); | ||
156 | result.append(" (value: "); | ||
157 | result.append(value); | ||
158 | result.append(')'); | ||
159 | return result.toString(); | ||
160 | } | ||
161 | |||
162 | } //IntStatisticEntryImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicResultImpl.java new file mode 100644 index 00000000..1bd5c833 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicResultImpl.java | |||
@@ -0,0 +1,346 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics; | ||
10 | |||
11 | import java.util.Collection; | ||
12 | import org.eclipse.emf.common.notify.Notification; | ||
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | |||
15 | import org.eclipse.emf.common.util.EList; | ||
16 | import org.eclipse.emf.ecore.EClass; | ||
17 | import org.eclipse.emf.ecore.InternalEObject; | ||
18 | |||
19 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
20 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
21 | import org.eclipse.emf.ecore.util.EDataTypeUniqueEList; | ||
22 | |||
23 | /** | ||
24 | * <!-- begin-user-doc --> | ||
25 | * An implementation of the model object '<em><b>Logic Result</b></em>'. | ||
26 | * <!-- end-user-doc --> | ||
27 | * <p> | ||
28 | * The following features are implemented: | ||
29 | * </p> | ||
30 | * <ul> | ||
31 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl#getProblem <em>Problem</em>}</li> | ||
32 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl#getStatistics <em>Statistics</em>}</li> | ||
33 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl#getTrace <em>Trace</em>}</li> | ||
34 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.LogicResultImpl#getRepresentation <em>Representation</em>}</li> | ||
35 | * </ul> | ||
36 | * | ||
37 | * @generated | ||
38 | */ | ||
39 | public abstract class LogicResultImpl extends MinimalEObjectImpl.Container implements LogicResult { | ||
40 | /** | ||
41 | * The cached value of the '{@link #getProblem() <em>Problem</em>}' reference. | ||
42 | * <!-- begin-user-doc --> | ||
43 | * <!-- end-user-doc --> | ||
44 | * @see #getProblem() | ||
45 | * @generated | ||
46 | * @ordered | ||
47 | */ | ||
48 | protected LogicProblem problem; | ||
49 | |||
50 | /** | ||
51 | * The cached value of the '{@link #getStatistics() <em>Statistics</em>}' containment reference. | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @see #getStatistics() | ||
55 | * @generated | ||
56 | * @ordered | ||
57 | */ | ||
58 | protected Statistics statistics; | ||
59 | |||
60 | /** | ||
61 | * The default value of the '{@link #getTrace() <em>Trace</em>}' attribute. | ||
62 | * <!-- begin-user-doc --> | ||
63 | * <!-- end-user-doc --> | ||
64 | * @see #getTrace() | ||
65 | * @generated | ||
66 | * @ordered | ||
67 | */ | ||
68 | protected static final Object TRACE_EDEFAULT = null; | ||
69 | |||
70 | /** | ||
71 | * The cached value of the '{@link #getTrace() <em>Trace</em>}' attribute. | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @see #getTrace() | ||
75 | * @generated | ||
76 | * @ordered | ||
77 | */ | ||
78 | protected Object trace = TRACE_EDEFAULT; | ||
79 | |||
80 | /** | ||
81 | * The cached value of the '{@link #getRepresentation() <em>Representation</em>}' attribute list. | ||
82 | * <!-- begin-user-doc --> | ||
83 | * <!-- end-user-doc --> | ||
84 | * @see #getRepresentation() | ||
85 | * @generated | ||
86 | * @ordered | ||
87 | */ | ||
88 | protected EList<Object> representation; | ||
89 | |||
90 | /** | ||
91 | * <!-- begin-user-doc --> | ||
92 | * <!-- end-user-doc --> | ||
93 | * @generated | ||
94 | */ | ||
95 | protected LogicResultImpl() { | ||
96 | super(); | ||
97 | } | ||
98 | |||
99 | /** | ||
100 | * <!-- begin-user-doc --> | ||
101 | * <!-- end-user-doc --> | ||
102 | * @generated | ||
103 | */ | ||
104 | @Override | ||
105 | protected EClass eStaticClass() { | ||
106 | return LogicresultPackage.Literals.LOGIC_RESULT; | ||
107 | } | ||
108 | |||
109 | /** | ||
110 | * <!-- begin-user-doc --> | ||
111 | * <!-- end-user-doc --> | ||
112 | * @generated | ||
113 | */ | ||
114 | public LogicProblem getProblem() { | ||
115 | if (problem != null && problem.eIsProxy()) { | ||
116 | InternalEObject oldProblem = (InternalEObject)problem; | ||
117 | problem = (LogicProblem)eResolveProxy(oldProblem); | ||
118 | if (problem != oldProblem) { | ||
119 | if (eNotificationRequired()) | ||
120 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, LogicresultPackage.LOGIC_RESULT__PROBLEM, oldProblem, problem)); | ||
121 | } | ||
122 | } | ||
123 | return problem; | ||
124 | } | ||
125 | |||
126 | /** | ||
127 | * <!-- begin-user-doc --> | ||
128 | * <!-- end-user-doc --> | ||
129 | * @generated | ||
130 | */ | ||
131 | public LogicProblem basicGetProblem() { | ||
132 | return problem; | ||
133 | } | ||
134 | |||
135 | /** | ||
136 | * <!-- begin-user-doc --> | ||
137 | * <!-- end-user-doc --> | ||
138 | * @generated | ||
139 | */ | ||
140 | public void setProblem(LogicProblem newProblem) { | ||
141 | LogicProblem oldProblem = problem; | ||
142 | problem = newProblem; | ||
143 | if (eNotificationRequired()) | ||
144 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.LOGIC_RESULT__PROBLEM, oldProblem, problem)); | ||
145 | } | ||
146 | |||
147 | /** | ||
148 | * <!-- begin-user-doc --> | ||
149 | * <!-- end-user-doc --> | ||
150 | * @generated | ||
151 | */ | ||
152 | public Statistics getStatistics() { | ||
153 | return statistics; | ||
154 | } | ||
155 | |||
156 | /** | ||
157 | * <!-- begin-user-doc --> | ||
158 | * <!-- end-user-doc --> | ||
159 | * @generated | ||
160 | */ | ||
161 | public NotificationChain basicSetStatistics(Statistics newStatistics, NotificationChain msgs) { | ||
162 | Statistics oldStatistics = statistics; | ||
163 | statistics = newStatistics; | ||
164 | if (eNotificationRequired()) { | ||
165 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, LogicresultPackage.LOGIC_RESULT__STATISTICS, oldStatistics, newStatistics); | ||
166 | if (msgs == null) msgs = notification; else msgs.add(notification); | ||
167 | } | ||
168 | return msgs; | ||
169 | } | ||
170 | |||
171 | /** | ||
172 | * <!-- begin-user-doc --> | ||
173 | * <!-- end-user-doc --> | ||
174 | * @generated | ||
175 | */ | ||
176 | public void setStatistics(Statistics newStatistics) { | ||
177 | if (newStatistics != statistics) { | ||
178 | NotificationChain msgs = null; | ||
179 | if (statistics != null) | ||
180 | msgs = ((InternalEObject)statistics).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - LogicresultPackage.LOGIC_RESULT__STATISTICS, null, msgs); | ||
181 | if (newStatistics != null) | ||
182 | msgs = ((InternalEObject)newStatistics).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - LogicresultPackage.LOGIC_RESULT__STATISTICS, null, msgs); | ||
183 | msgs = basicSetStatistics(newStatistics, msgs); | ||
184 | if (msgs != null) msgs.dispatch(); | ||
185 | } | ||
186 | else if (eNotificationRequired()) | ||
187 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.LOGIC_RESULT__STATISTICS, newStatistics, newStatistics)); | ||
188 | } | ||
189 | |||
190 | /** | ||
191 | * <!-- begin-user-doc --> | ||
192 | * <!-- end-user-doc --> | ||
193 | * @generated | ||
194 | */ | ||
195 | public Object getTrace() { | ||
196 | return trace; | ||
197 | } | ||
198 | |||
199 | /** | ||
200 | * <!-- begin-user-doc --> | ||
201 | * <!-- end-user-doc --> | ||
202 | * @generated | ||
203 | */ | ||
204 | public void setTrace(Object newTrace) { | ||
205 | Object oldTrace = trace; | ||
206 | trace = newTrace; | ||
207 | if (eNotificationRequired()) | ||
208 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.LOGIC_RESULT__TRACE, oldTrace, trace)); | ||
209 | } | ||
210 | |||
211 | /** | ||
212 | * <!-- begin-user-doc --> | ||
213 | * <!-- end-user-doc --> | ||
214 | * @generated | ||
215 | */ | ||
216 | public EList<Object> getRepresentation() { | ||
217 | if (representation == null) { | ||
218 | representation = new EDataTypeUniqueEList<Object>(Object.class, this, LogicresultPackage.LOGIC_RESULT__REPRESENTATION); | ||
219 | } | ||
220 | return representation; | ||
221 | } | ||
222 | |||
223 | /** | ||
224 | * <!-- begin-user-doc --> | ||
225 | * <!-- end-user-doc --> | ||
226 | * @generated | ||
227 | */ | ||
228 | @Override | ||
229 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
230 | switch (featureID) { | ||
231 | case LogicresultPackage.LOGIC_RESULT__STATISTICS: | ||
232 | return basicSetStatistics(null, msgs); | ||
233 | } | ||
234 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
235 | } | ||
236 | |||
237 | /** | ||
238 | * <!-- begin-user-doc --> | ||
239 | * <!-- end-user-doc --> | ||
240 | * @generated | ||
241 | */ | ||
242 | @Override | ||
243 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
244 | switch (featureID) { | ||
245 | case LogicresultPackage.LOGIC_RESULT__PROBLEM: | ||
246 | if (resolve) return getProblem(); | ||
247 | return basicGetProblem(); | ||
248 | case LogicresultPackage.LOGIC_RESULT__STATISTICS: | ||
249 | return getStatistics(); | ||
250 | case LogicresultPackage.LOGIC_RESULT__TRACE: | ||
251 | return getTrace(); | ||
252 | case LogicresultPackage.LOGIC_RESULT__REPRESENTATION: | ||
253 | return getRepresentation(); | ||
254 | } | ||
255 | return super.eGet(featureID, resolve, coreType); | ||
256 | } | ||
257 | |||
258 | /** | ||
259 | * <!-- begin-user-doc --> | ||
260 | * <!-- end-user-doc --> | ||
261 | * @generated | ||
262 | */ | ||
263 | @SuppressWarnings("unchecked") | ||
264 | @Override | ||
265 | public void eSet(int featureID, Object newValue) { | ||
266 | switch (featureID) { | ||
267 | case LogicresultPackage.LOGIC_RESULT__PROBLEM: | ||
268 | setProblem((LogicProblem)newValue); | ||
269 | return; | ||
270 | case LogicresultPackage.LOGIC_RESULT__STATISTICS: | ||
271 | setStatistics((Statistics)newValue); | ||
272 | return; | ||
273 | case LogicresultPackage.LOGIC_RESULT__TRACE: | ||
274 | setTrace(newValue); | ||
275 | return; | ||
276 | case LogicresultPackage.LOGIC_RESULT__REPRESENTATION: | ||
277 | getRepresentation().clear(); | ||
278 | getRepresentation().addAll((Collection<? extends Object>)newValue); | ||
279 | return; | ||
280 | } | ||
281 | super.eSet(featureID, newValue); | ||
282 | } | ||
283 | |||
284 | /** | ||
285 | * <!-- begin-user-doc --> | ||
286 | * <!-- end-user-doc --> | ||
287 | * @generated | ||
288 | */ | ||
289 | @Override | ||
290 | public void eUnset(int featureID) { | ||
291 | switch (featureID) { | ||
292 | case LogicresultPackage.LOGIC_RESULT__PROBLEM: | ||
293 | setProblem((LogicProblem)null); | ||
294 | return; | ||
295 | case LogicresultPackage.LOGIC_RESULT__STATISTICS: | ||
296 | setStatistics((Statistics)null); | ||
297 | return; | ||
298 | case LogicresultPackage.LOGIC_RESULT__TRACE: | ||
299 | setTrace(TRACE_EDEFAULT); | ||
300 | return; | ||
301 | case LogicresultPackage.LOGIC_RESULT__REPRESENTATION: | ||
302 | getRepresentation().clear(); | ||
303 | return; | ||
304 | } | ||
305 | super.eUnset(featureID); | ||
306 | } | ||
307 | |||
308 | /** | ||
309 | * <!-- begin-user-doc --> | ||
310 | * <!-- end-user-doc --> | ||
311 | * @generated | ||
312 | */ | ||
313 | @Override | ||
314 | public boolean eIsSet(int featureID) { | ||
315 | switch (featureID) { | ||
316 | case LogicresultPackage.LOGIC_RESULT__PROBLEM: | ||
317 | return problem != null; | ||
318 | case LogicresultPackage.LOGIC_RESULT__STATISTICS: | ||
319 | return statistics != null; | ||
320 | case LogicresultPackage.LOGIC_RESULT__TRACE: | ||
321 | return TRACE_EDEFAULT == null ? trace != null : !TRACE_EDEFAULT.equals(trace); | ||
322 | case LogicresultPackage.LOGIC_RESULT__REPRESENTATION: | ||
323 | return representation != null && !representation.isEmpty(); | ||
324 | } | ||
325 | return super.eIsSet(featureID); | ||
326 | } | ||
327 | |||
328 | /** | ||
329 | * <!-- begin-user-doc --> | ||
330 | * <!-- end-user-doc --> | ||
331 | * @generated | ||
332 | */ | ||
333 | @Override | ||
334 | public String toString() { | ||
335 | if (eIsProxy()) return super.toString(); | ||
336 | |||
337 | StringBuffer result = new StringBuffer(super.toString()); | ||
338 | result.append(" (trace: "); | ||
339 | result.append(trace); | ||
340 | result.append(", representation: "); | ||
341 | result.append(representation); | ||
342 | result.append(')'); | ||
343 | return result.toString(); | ||
344 | } | ||
345 | |||
346 | } //LogicResultImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultFactoryImpl.java new file mode 100644 index 00000000..5a102523 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultFactoryImpl.java | |||
@@ -0,0 +1,183 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.*; | ||
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 LogicresultFactoryImpl extends EFactoryImpl implements LogicresultFactory { | ||
22 | /** | ||
23 | * Creates the default factory implementation. | ||
24 | * <!-- begin-user-doc --> | ||
25 | * <!-- end-user-doc --> | ||
26 | * @generated | ||
27 | */ | ||
28 | public static LogicresultFactory init() { | ||
29 | try { | ||
30 | LogicresultFactory theLogicresultFactory = (LogicresultFactory)EPackage.Registry.INSTANCE.getEFactory(LogicresultPackage.eNS_URI); | ||
31 | if (theLogicresultFactory != null) { | ||
32 | return theLogicresultFactory; | ||
33 | } | ||
34 | } | ||
35 | catch (Exception exception) { | ||
36 | EcorePlugin.INSTANCE.log(exception); | ||
37 | } | ||
38 | return new LogicresultFactoryImpl(); | ||
39 | } | ||
40 | |||
41 | /** | ||
42 | * Creates an instance of the factory. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @generated | ||
46 | */ | ||
47 | public LogicresultFactoryImpl() { | ||
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 LogicresultPackage.MODEL_RESULT: return createModelResult(); | ||
60 | case LogicresultPackage.INCONSISTENCY_RESULT: return createInconsistencyResult(); | ||
61 | case LogicresultPackage.INSUFICIENT_RESOURCES_RESULT: return createInsuficientResourcesResult(); | ||
62 | case LogicresultPackage.ERROR_RESULT: return createErrorResult(); | ||
63 | case LogicresultPackage.STATISTICS: return createStatistics(); | ||
64 | case LogicresultPackage.UNDECIDABLE_RESULT: return createUndecidableResult(); | ||
65 | case LogicresultPackage.INT_STATISTIC_ENTRY: return createIntStatisticEntry(); | ||
66 | case LogicresultPackage.REAL_STATISTIC_ENTRY: return createRealStatisticEntry(); | ||
67 | case LogicresultPackage.STRING_STATISTIC_ENTRY: return createStringStatisticEntry(); | ||
68 | default: | ||
69 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | ||
70 | } | ||
71 | } | ||
72 | |||
73 | /** | ||
74 | * <!-- begin-user-doc --> | ||
75 | * <!-- end-user-doc --> | ||
76 | * @generated | ||
77 | */ | ||
78 | public ModelResult createModelResult() { | ||
79 | ModelResultImpl modelResult = new ModelResultImpl(); | ||
80 | return modelResult; | ||
81 | } | ||
82 | |||
83 | /** | ||
84 | * <!-- begin-user-doc --> | ||
85 | * <!-- end-user-doc --> | ||
86 | * @generated | ||
87 | */ | ||
88 | public InconsistencyResult createInconsistencyResult() { | ||
89 | InconsistencyResultImpl inconsistencyResult = new InconsistencyResultImpl(); | ||
90 | return inconsistencyResult; | ||
91 | } | ||
92 | |||
93 | /** | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @generated | ||
97 | */ | ||
98 | public InsuficientResourcesResult createInsuficientResourcesResult() { | ||
99 | InsuficientResourcesResultImpl insuficientResourcesResult = new InsuficientResourcesResultImpl(); | ||
100 | return insuficientResourcesResult; | ||
101 | } | ||
102 | |||
103 | /** | ||
104 | * <!-- begin-user-doc --> | ||
105 | * <!-- end-user-doc --> | ||
106 | * @generated | ||
107 | */ | ||
108 | public ErrorResult createErrorResult() { | ||
109 | ErrorResultImpl errorResult = new ErrorResultImpl(); | ||
110 | return errorResult; | ||
111 | } | ||
112 | |||
113 | /** | ||
114 | * <!-- begin-user-doc --> | ||
115 | * <!-- end-user-doc --> | ||
116 | * @generated | ||
117 | */ | ||
118 | public Statistics createStatistics() { | ||
119 | StatisticsImpl statistics = new StatisticsImpl(); | ||
120 | return statistics; | ||
121 | } | ||
122 | |||
123 | /** | ||
124 | * <!-- begin-user-doc --> | ||
125 | * <!-- end-user-doc --> | ||
126 | * @generated | ||
127 | */ | ||
128 | public UndecidableResult createUndecidableResult() { | ||
129 | UndecidableResultImpl undecidableResult = new UndecidableResultImpl(); | ||
130 | return undecidableResult; | ||
131 | } | ||
132 | |||
133 | /** | ||
134 | * <!-- begin-user-doc --> | ||
135 | * <!-- end-user-doc --> | ||
136 | * @generated | ||
137 | */ | ||
138 | public IntStatisticEntry createIntStatisticEntry() { | ||
139 | IntStatisticEntryImpl intStatisticEntry = new IntStatisticEntryImpl(); | ||
140 | return intStatisticEntry; | ||
141 | } | ||
142 | |||
143 | /** | ||
144 | * <!-- begin-user-doc --> | ||
145 | * <!-- end-user-doc --> | ||
146 | * @generated | ||
147 | */ | ||
148 | public RealStatisticEntry createRealStatisticEntry() { | ||
149 | RealStatisticEntryImpl realStatisticEntry = new RealStatisticEntryImpl(); | ||
150 | return realStatisticEntry; | ||
151 | } | ||
152 | |||
153 | /** | ||
154 | * <!-- begin-user-doc --> | ||
155 | * <!-- end-user-doc --> | ||
156 | * @generated | ||
157 | */ | ||
158 | public StringStatisticEntry createStringStatisticEntry() { | ||
159 | StringStatisticEntryImpl stringStatisticEntry = new StringStatisticEntryImpl(); | ||
160 | return stringStatisticEntry; | ||
161 | } | ||
162 | |||
163 | /** | ||
164 | * <!-- begin-user-doc --> | ||
165 | * <!-- end-user-doc --> | ||
166 | * @generated | ||
167 | */ | ||
168 | public LogicresultPackage getLogicresultPackage() { | ||
169 | return (LogicresultPackage)getEPackage(); | ||
170 | } | ||
171 | |||
172 | /** | ||
173 | * <!-- begin-user-doc --> | ||
174 | * <!-- end-user-doc --> | ||
175 | * @deprecated | ||
176 | * @generated | ||
177 | */ | ||
178 | @Deprecated | ||
179 | public static LogicresultPackage getPackage() { | ||
180 | return LogicresultPackage.eINSTANCE; | ||
181 | } | ||
182 | |||
183 | } //LogicresultFactoryImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java new file mode 100644 index 00000000..8b0e0605 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java | |||
@@ -0,0 +1,602 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.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 | |||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage; | ||
10 | |||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl; | ||
12 | |||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult; | ||
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult; | ||
15 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult; | ||
16 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry; | ||
17 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; | ||
18 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultFactory; | ||
19 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
20 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult; | ||
21 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry; | ||
22 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry; | ||
23 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics; | ||
24 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry; | ||
25 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult; | ||
26 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult; | ||
27 | |||
28 | import org.eclipse.emf.ecore.EAttribute; | ||
29 | import org.eclipse.emf.ecore.EClass; | ||
30 | import org.eclipse.emf.ecore.EPackage; | ||
31 | import org.eclipse.emf.ecore.EReference; | ||
32 | |||
33 | import org.eclipse.emf.ecore.impl.EPackageImpl; | ||
34 | |||
35 | /** | ||
36 | * <!-- begin-user-doc --> | ||
37 | * An implementation of the model <b>Package</b>. | ||
38 | * <!-- end-user-doc --> | ||
39 | * @generated | ||
40 | */ | ||
41 | public class LogicresultPackageImpl extends EPackageImpl implements LogicresultPackage { | ||
42 | /** | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @generated | ||
46 | */ | ||
47 | private EClass logicResultEClass = null; | ||
48 | |||
49 | /** | ||
50 | * <!-- begin-user-doc --> | ||
51 | * <!-- end-user-doc --> | ||
52 | * @generated | ||
53 | */ | ||
54 | private EClass modelResultEClass = null; | ||
55 | |||
56 | /** | ||
57 | * <!-- begin-user-doc --> | ||
58 | * <!-- end-user-doc --> | ||
59 | * @generated | ||
60 | */ | ||
61 | private EClass inconsistencyResultEClass = null; | ||
62 | |||
63 | /** | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @generated | ||
67 | */ | ||
68 | private EClass unknownResultEClass = null; | ||
69 | |||
70 | /** | ||
71 | * <!-- begin-user-doc --> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @generated | ||
74 | */ | ||
75 | private EClass insuficientResourcesResultEClass = null; | ||
76 | |||
77 | /** | ||
78 | * <!-- begin-user-doc --> | ||
79 | * <!-- end-user-doc --> | ||
80 | * @generated | ||
81 | */ | ||
82 | private EClass errorResultEClass = null; | ||
83 | |||
84 | /** | ||
85 | * <!-- begin-user-doc --> | ||
86 | * <!-- end-user-doc --> | ||
87 | * @generated | ||
88 | */ | ||
89 | private EClass statisticsEClass = null; | ||
90 | |||
91 | /** | ||
92 | * <!-- begin-user-doc --> | ||
93 | * <!-- end-user-doc --> | ||
94 | * @generated | ||
95 | */ | ||
96 | private EClass statisticEntryEClass = null; | ||
97 | |||
98 | /** | ||
99 | * <!-- begin-user-doc --> | ||
100 | * <!-- end-user-doc --> | ||
101 | * @generated | ||
102 | */ | ||
103 | private EClass undecidableResultEClass = null; | ||
104 | |||
105 | /** | ||
106 | * <!-- begin-user-doc --> | ||
107 | * <!-- end-user-doc --> | ||
108 | * @generated | ||
109 | */ | ||
110 | private EClass intStatisticEntryEClass = null; | ||
111 | |||
112 | /** | ||
113 | * <!-- begin-user-doc --> | ||
114 | * <!-- end-user-doc --> | ||
115 | * @generated | ||
116 | */ | ||
117 | private EClass realStatisticEntryEClass = null; | ||
118 | |||
119 | /** | ||
120 | * <!-- begin-user-doc --> | ||
121 | * <!-- end-user-doc --> | ||
122 | * @generated | ||
123 | */ | ||
124 | private EClass stringStatisticEntryEClass = null; | ||
125 | |||
126 | /** | ||
127 | * Creates an instance of the model <b>Package</b>, registered with | ||
128 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | ||
129 | * package URI value. | ||
130 | * <p>Note: the correct way to create the package is via the static | ||
131 | * factory method {@link #init init()}, which also performs | ||
132 | * initialization of the package, or returns the registered package, | ||
133 | * if one already exists. | ||
134 | * <!-- begin-user-doc --> | ||
135 | * <!-- end-user-doc --> | ||
136 | * @see org.eclipse.emf.ecore.EPackage.Registry | ||
137 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage#eNS_URI | ||
138 | * @see #init() | ||
139 | * @generated | ||
140 | */ | ||
141 | private LogicresultPackageImpl() { | ||
142 | super(eNS_URI, LogicresultFactory.eINSTANCE); | ||
143 | } | ||
144 | |||
145 | /** | ||
146 | * <!-- begin-user-doc --> | ||
147 | * <!-- end-user-doc --> | ||
148 | * @generated | ||
149 | */ | ||
150 | private static boolean isInited = false; | ||
151 | |||
152 | /** | ||
153 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | ||
154 | * | ||
155 | * <p>This method is used to initialize {@link LogicresultPackage#eINSTANCE} when that field is accessed. | ||
156 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | ||
157 | * <!-- begin-user-doc --> | ||
158 | * <!-- end-user-doc --> | ||
159 | * @see #eNS_URI | ||
160 | * @see #createPackageContents() | ||
161 | * @see #initializePackageContents() | ||
162 | * @generated | ||
163 | */ | ||
164 | public static LogicresultPackage init() { | ||
165 | if (isInited) return (LogicresultPackage)EPackage.Registry.INSTANCE.getEPackage(LogicresultPackage.eNS_URI); | ||
166 | |||
167 | // Obtain or create and register package | ||
168 | LogicresultPackageImpl theLogicresultPackage = (LogicresultPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof LogicresultPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new LogicresultPackageImpl()); | ||
169 | |||
170 | isInited = true; | ||
171 | |||
172 | // Obtain or create and register interdependencies | ||
173 | LogiclanguagePackageImpl theLogiclanguagePackage = (LogiclanguagePackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) instanceof LogiclanguagePackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI) : LogiclanguagePackage.eINSTANCE); | ||
174 | LogicproblemPackageImpl theLogicproblemPackage = (LogicproblemPackageImpl)(EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) instanceof LogicproblemPackageImpl ? EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI) : LogicproblemPackage.eINSTANCE); | ||
175 | |||
176 | // Create package meta-data objects | ||
177 | theLogicresultPackage.createPackageContents(); | ||
178 | theLogiclanguagePackage.createPackageContents(); | ||
179 | theLogicproblemPackage.createPackageContents(); | ||
180 | |||
181 | // Initialize created meta-data | ||
182 | theLogicresultPackage.initializePackageContents(); | ||
183 | theLogiclanguagePackage.initializePackageContents(); | ||
184 | theLogicproblemPackage.initializePackageContents(); | ||
185 | |||
186 | // Mark meta-data to indicate it can't be changed | ||
187 | theLogicresultPackage.freeze(); | ||
188 | |||
189 | |||
190 | // Update the registry and return the package | ||
191 | EPackage.Registry.INSTANCE.put(LogicresultPackage.eNS_URI, theLogicresultPackage); | ||
192 | return theLogicresultPackage; | ||
193 | } | ||
194 | |||
195 | /** | ||
196 | * <!-- begin-user-doc --> | ||
197 | * <!-- end-user-doc --> | ||
198 | * @generated | ||
199 | */ | ||
200 | public EClass getLogicResult() { | ||
201 | return logicResultEClass; | ||
202 | } | ||
203 | |||
204 | /** | ||
205 | * <!-- begin-user-doc --> | ||
206 | * <!-- end-user-doc --> | ||
207 | * @generated | ||
208 | */ | ||
209 | public EReference getLogicResult_Problem() { | ||
210 | return (EReference)logicResultEClass.getEStructuralFeatures().get(0); | ||
211 | } | ||
212 | |||
213 | /** | ||
214 | * <!-- begin-user-doc --> | ||
215 | * <!-- end-user-doc --> | ||
216 | * @generated | ||
217 | */ | ||
218 | public EReference getLogicResult_Statistics() { | ||
219 | return (EReference)logicResultEClass.getEStructuralFeatures().get(1); | ||
220 | } | ||
221 | |||
222 | /** | ||
223 | * <!-- begin-user-doc --> | ||
224 | * <!-- end-user-doc --> | ||
225 | * @generated | ||
226 | */ | ||
227 | public EAttribute getLogicResult_Trace() { | ||
228 | return (EAttribute)logicResultEClass.getEStructuralFeatures().get(2); | ||
229 | } | ||
230 | |||
231 | /** | ||
232 | * <!-- begin-user-doc --> | ||
233 | * <!-- end-user-doc --> | ||
234 | * @generated | ||
235 | */ | ||
236 | public EAttribute getLogicResult_Representation() { | ||
237 | return (EAttribute)logicResultEClass.getEStructuralFeatures().get(3); | ||
238 | } | ||
239 | |||
240 | /** | ||
241 | * <!-- begin-user-doc --> | ||
242 | * <!-- end-user-doc --> | ||
243 | * @generated | ||
244 | */ | ||
245 | public EClass getModelResult() { | ||
246 | return modelResultEClass; | ||
247 | } | ||
248 | |||
249 | /** | ||
250 | * <!-- begin-user-doc --> | ||
251 | * <!-- end-user-doc --> | ||
252 | * @generated | ||
253 | */ | ||
254 | public EAttribute getModelResult_MaxInteger() { | ||
255 | return (EAttribute)modelResultEClass.getEStructuralFeatures().get(0); | ||
256 | } | ||
257 | |||
258 | /** | ||
259 | * <!-- begin-user-doc --> | ||
260 | * <!-- end-user-doc --> | ||
261 | * @generated | ||
262 | */ | ||
263 | public EAttribute getModelResult_MinInteger() { | ||
264 | return (EAttribute)modelResultEClass.getEStructuralFeatures().get(1); | ||
265 | } | ||
266 | |||
267 | /** | ||
268 | * <!-- begin-user-doc --> | ||
269 | * <!-- end-user-doc --> | ||
270 | * @generated | ||
271 | */ | ||
272 | public EClass getInconsistencyResult() { | ||
273 | return inconsistencyResultEClass; | ||
274 | } | ||
275 | |||
276 | /** | ||
277 | * <!-- begin-user-doc --> | ||
278 | * <!-- end-user-doc --> | ||
279 | * @generated | ||
280 | */ | ||
281 | public EClass getUnknownResult() { | ||
282 | return unknownResultEClass; | ||
283 | } | ||
284 | |||
285 | /** | ||
286 | * <!-- begin-user-doc --> | ||
287 | * <!-- end-user-doc --> | ||
288 | * @generated | ||
289 | */ | ||
290 | public EClass getInsuficientResourcesResult() { | ||
291 | return insuficientResourcesResultEClass; | ||
292 | } | ||
293 | |||
294 | /** | ||
295 | * <!-- begin-user-doc --> | ||
296 | * <!-- end-user-doc --> | ||
297 | * @generated | ||
298 | */ | ||
299 | public EAttribute getInsuficientResourcesResult_ResourceName() { | ||
300 | return (EAttribute)insuficientResourcesResultEClass.getEStructuralFeatures().get(0); | ||
301 | } | ||
302 | |||
303 | /** | ||
304 | * <!-- begin-user-doc --> | ||
305 | * <!-- end-user-doc --> | ||
306 | * @generated | ||
307 | */ | ||
308 | public EClass getErrorResult() { | ||
309 | return errorResultEClass; | ||
310 | } | ||
311 | |||
312 | /** | ||
313 | * <!-- begin-user-doc --> | ||
314 | * <!-- end-user-doc --> | ||
315 | * @generated | ||
316 | */ | ||
317 | public EAttribute getErrorResult_Message() { | ||
318 | return (EAttribute)errorResultEClass.getEStructuralFeatures().get(0); | ||
319 | } | ||
320 | |||
321 | /** | ||
322 | * <!-- begin-user-doc --> | ||
323 | * <!-- end-user-doc --> | ||
324 | * @generated | ||
325 | */ | ||
326 | public EClass getStatistics() { | ||
327 | return statisticsEClass; | ||
328 | } | ||
329 | |||
330 | /** | ||
331 | * <!-- begin-user-doc --> | ||
332 | * <!-- end-user-doc --> | ||
333 | * @generated | ||
334 | */ | ||
335 | public EReference getStatistics_Entries() { | ||
336 | return (EReference)statisticsEClass.getEStructuralFeatures().get(0); | ||
337 | } | ||
338 | |||
339 | /** | ||
340 | * <!-- begin-user-doc --> | ||
341 | * <!-- end-user-doc --> | ||
342 | * @generated | ||
343 | */ | ||
344 | public EAttribute getStatistics_TransformationTime() { | ||
345 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(1); | ||
346 | } | ||
347 | |||
348 | /** | ||
349 | * <!-- begin-user-doc --> | ||
350 | * <!-- end-user-doc --> | ||
351 | * @generated | ||
352 | */ | ||
353 | public EAttribute getStatistics_SolverTime() { | ||
354 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(2); | ||
355 | } | ||
356 | |||
357 | /** | ||
358 | * <!-- begin-user-doc --> | ||
359 | * <!-- end-user-doc --> | ||
360 | * @generated | ||
361 | */ | ||
362 | public EAttribute getStatistics_SolverMemory() { | ||
363 | return (EAttribute)statisticsEClass.getEStructuralFeatures().get(3); | ||
364 | } | ||
365 | |||
366 | /** | ||
367 | * <!-- begin-user-doc --> | ||
368 | * <!-- end-user-doc --> | ||
369 | * @generated | ||
370 | */ | ||
371 | public EClass getStatisticEntry() { | ||
372 | return statisticEntryEClass; | ||
373 | } | ||
374 | |||
375 | /** | ||
376 | * <!-- begin-user-doc --> | ||
377 | * <!-- end-user-doc --> | ||
378 | * @generated | ||
379 | */ | ||
380 | public EAttribute getStatisticEntry_Name() { | ||
381 | return (EAttribute)statisticEntryEClass.getEStructuralFeatures().get(0); | ||
382 | } | ||
383 | |||
384 | /** | ||
385 | * <!-- begin-user-doc --> | ||
386 | * <!-- end-user-doc --> | ||
387 | * @generated | ||
388 | */ | ||
389 | public EClass getUndecidableResult() { | ||
390 | return undecidableResultEClass; | ||
391 | } | ||
392 | |||
393 | /** | ||
394 | * <!-- begin-user-doc --> | ||
395 | * <!-- end-user-doc --> | ||
396 | * @generated | ||
397 | */ | ||
398 | public EClass getIntStatisticEntry() { | ||
399 | return intStatisticEntryEClass; | ||
400 | } | ||
401 | |||
402 | /** | ||
403 | * <!-- begin-user-doc --> | ||
404 | * <!-- end-user-doc --> | ||
405 | * @generated | ||
406 | */ | ||
407 | public EAttribute getIntStatisticEntry_Value() { | ||
408 | return (EAttribute)intStatisticEntryEClass.getEStructuralFeatures().get(0); | ||
409 | } | ||
410 | |||
411 | /** | ||
412 | * <!-- begin-user-doc --> | ||
413 | * <!-- end-user-doc --> | ||
414 | * @generated | ||
415 | */ | ||
416 | public EClass getRealStatisticEntry() { | ||
417 | return realStatisticEntryEClass; | ||
418 | } | ||
419 | |||
420 | /** | ||
421 | * <!-- begin-user-doc --> | ||
422 | * <!-- end-user-doc --> | ||
423 | * @generated | ||
424 | */ | ||
425 | public EAttribute getRealStatisticEntry_Value() { | ||
426 | return (EAttribute)realStatisticEntryEClass.getEStructuralFeatures().get(0); | ||
427 | } | ||
428 | |||
429 | /** | ||
430 | * <!-- begin-user-doc --> | ||
431 | * <!-- end-user-doc --> | ||
432 | * @generated | ||
433 | */ | ||
434 | public EClass getStringStatisticEntry() { | ||
435 | return stringStatisticEntryEClass; | ||
436 | } | ||
437 | |||
438 | /** | ||
439 | * <!-- begin-user-doc --> | ||
440 | * <!-- end-user-doc --> | ||
441 | * @generated | ||
442 | */ | ||
443 | public EAttribute getStringStatisticEntry_Value() { | ||
444 | return (EAttribute)stringStatisticEntryEClass.getEStructuralFeatures().get(0); | ||
445 | } | ||
446 | |||
447 | /** | ||
448 | * <!-- begin-user-doc --> | ||
449 | * <!-- end-user-doc --> | ||
450 | * @generated | ||
451 | */ | ||
452 | public LogicresultFactory getLogicresultFactory() { | ||
453 | return (LogicresultFactory)getEFactoryInstance(); | ||
454 | } | ||
455 | |||
456 | /** | ||
457 | * <!-- begin-user-doc --> | ||
458 | * <!-- end-user-doc --> | ||
459 | * @generated | ||
460 | */ | ||
461 | private boolean isCreated = false; | ||
462 | |||
463 | /** | ||
464 | * Creates the meta-model objects for the package. This method is | ||
465 | * guarded to have no affect on any invocation but its first. | ||
466 | * <!-- begin-user-doc --> | ||
467 | * <!-- end-user-doc --> | ||
468 | * @generated | ||
469 | */ | ||
470 | public void createPackageContents() { | ||
471 | if (isCreated) return; | ||
472 | isCreated = true; | ||
473 | |||
474 | // Create classes and their features | ||
475 | logicResultEClass = createEClass(LOGIC_RESULT); | ||
476 | createEReference(logicResultEClass, LOGIC_RESULT__PROBLEM); | ||
477 | createEReference(logicResultEClass, LOGIC_RESULT__STATISTICS); | ||
478 | createEAttribute(logicResultEClass, LOGIC_RESULT__TRACE); | ||
479 | createEAttribute(logicResultEClass, LOGIC_RESULT__REPRESENTATION); | ||
480 | |||
481 | modelResultEClass = createEClass(MODEL_RESULT); | ||
482 | createEAttribute(modelResultEClass, MODEL_RESULT__MAX_INTEGER); | ||
483 | createEAttribute(modelResultEClass, MODEL_RESULT__MIN_INTEGER); | ||
484 | |||
485 | inconsistencyResultEClass = createEClass(INCONSISTENCY_RESULT); | ||
486 | |||
487 | unknownResultEClass = createEClass(UNKNOWN_RESULT); | ||
488 | |||
489 | insuficientResourcesResultEClass = createEClass(INSUFICIENT_RESOURCES_RESULT); | ||
490 | createEAttribute(insuficientResourcesResultEClass, INSUFICIENT_RESOURCES_RESULT__RESOURCE_NAME); | ||
491 | |||
492 | errorResultEClass = createEClass(ERROR_RESULT); | ||
493 | createEAttribute(errorResultEClass, ERROR_RESULT__MESSAGE); | ||
494 | |||
495 | statisticsEClass = createEClass(STATISTICS); | ||
496 | createEReference(statisticsEClass, STATISTICS__ENTRIES); | ||
497 | createEAttribute(statisticsEClass, STATISTICS__TRANSFORMATION_TIME); | ||
498 | createEAttribute(statisticsEClass, STATISTICS__SOLVER_TIME); | ||
499 | createEAttribute(statisticsEClass, STATISTICS__SOLVER_MEMORY); | ||
500 | |||
501 | statisticEntryEClass = createEClass(STATISTIC_ENTRY); | ||
502 | createEAttribute(statisticEntryEClass, STATISTIC_ENTRY__NAME); | ||
503 | |||
504 | undecidableResultEClass = createEClass(UNDECIDABLE_RESULT); | ||
505 | |||
506 | intStatisticEntryEClass = createEClass(INT_STATISTIC_ENTRY); | ||
507 | createEAttribute(intStatisticEntryEClass, INT_STATISTIC_ENTRY__VALUE); | ||
508 | |||
509 | realStatisticEntryEClass = createEClass(REAL_STATISTIC_ENTRY); | ||
510 | createEAttribute(realStatisticEntryEClass, REAL_STATISTIC_ENTRY__VALUE); | ||
511 | |||
512 | stringStatisticEntryEClass = createEClass(STRING_STATISTIC_ENTRY); | ||
513 | createEAttribute(stringStatisticEntryEClass, STRING_STATISTIC_ENTRY__VALUE); | ||
514 | } | ||
515 | |||
516 | /** | ||
517 | * <!-- begin-user-doc --> | ||
518 | * <!-- end-user-doc --> | ||
519 | * @generated | ||
520 | */ | ||
521 | private boolean isInitialized = false; | ||
522 | |||
523 | /** | ||
524 | * Complete the initialization of the package and its meta-model. This | ||
525 | * method is guarded to have no affect on any invocation but its first. | ||
526 | * <!-- begin-user-doc --> | ||
527 | * <!-- end-user-doc --> | ||
528 | * @generated | ||
529 | */ | ||
530 | public void initializePackageContents() { | ||
531 | if (isInitialized) return; | ||
532 | isInitialized = true; | ||
533 | |||
534 | // Initialize package | ||
535 | setName(eNAME); | ||
536 | setNsPrefix(eNS_PREFIX); | ||
537 | setNsURI(eNS_URI); | ||
538 | |||
539 | // Obtain other dependent packages | ||
540 | LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI); | ||
541 | |||
542 | // Create type parameters | ||
543 | |||
544 | // Set bounds for type parameters | ||
545 | |||
546 | // Add supertypes to classes | ||
547 | modelResultEClass.getESuperTypes().add(this.getLogicResult()); | ||
548 | inconsistencyResultEClass.getESuperTypes().add(this.getLogicResult()); | ||
549 | unknownResultEClass.getESuperTypes().add(this.getLogicResult()); | ||
550 | insuficientResourcesResultEClass.getESuperTypes().add(this.getUnknownResult()); | ||
551 | errorResultEClass.getESuperTypes().add(this.getUnknownResult()); | ||
552 | undecidableResultEClass.getESuperTypes().add(this.getUnknownResult()); | ||
553 | intStatisticEntryEClass.getESuperTypes().add(this.getStatisticEntry()); | ||
554 | realStatisticEntryEClass.getESuperTypes().add(this.getStatisticEntry()); | ||
555 | stringStatisticEntryEClass.getESuperTypes().add(this.getStatisticEntry()); | ||
556 | |||
557 | // Initialize classes, features, and operations; add parameters | ||
558 | initEClass(logicResultEClass, LogicResult.class, "LogicResult", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
559 | initEReference(getLogicResult_Problem(), theLogicproblemPackage.getLogicProblem(), null, "problem", null, 0, 1, LogicResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
560 | initEReference(getLogicResult_Statistics(), this.getStatistics(), null, "statistics", null, 0, 1, LogicResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
561 | initEAttribute(getLogicResult_Trace(), ecorePackage.getEJavaObject(), "trace", null, 0, 1, LogicResult.class, IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
562 | initEAttribute(getLogicResult_Representation(), ecorePackage.getEJavaObject(), "representation", null, 0, -1, LogicResult.class, IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
563 | |||
564 | initEClass(modelResultEClass, ModelResult.class, "ModelResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
565 | initEAttribute(getModelResult_MaxInteger(), ecorePackage.getEInt(), "maxInteger", null, 1, 1, ModelResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
566 | initEAttribute(getModelResult_MinInteger(), ecorePackage.getEInt(), "minInteger", null, 1, 1, ModelResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
567 | |||
568 | initEClass(inconsistencyResultEClass, InconsistencyResult.class, "InconsistencyResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
569 | |||
570 | initEClass(unknownResultEClass, UnknownResult.class, "UnknownResult", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
571 | |||
572 | initEClass(insuficientResourcesResultEClass, InsuficientResourcesResult.class, "InsuficientResourcesResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
573 | initEAttribute(getInsuficientResourcesResult_ResourceName(), ecorePackage.getEString(), "resourceName", null, 1, 1, InsuficientResourcesResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
574 | |||
575 | initEClass(errorResultEClass, ErrorResult.class, "ErrorResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
576 | initEAttribute(getErrorResult_Message(), ecorePackage.getEString(), "message", null, 1, 1, ErrorResult.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
577 | |||
578 | initEClass(statisticsEClass, Statistics.class, "Statistics", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
579 | initEReference(getStatistics_Entries(), this.getStatisticEntry(), null, "entries", null, 0, -1, Statistics.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
580 | initEAttribute(getStatistics_TransformationTime(), ecorePackage.getEInt(), "transformationTime", "-1", 1, 1, Statistics.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
581 | initEAttribute(getStatistics_SolverTime(), ecorePackage.getEInt(), "solverTime", "-1", 1, 1, Statistics.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
582 | initEAttribute(getStatistics_SolverMemory(), ecorePackage.getEInt(), "solverMemory", "-1", 0, 1, Statistics.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
583 | |||
584 | initEClass(statisticEntryEClass, StatisticEntry.class, "StatisticEntry", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
585 | initEAttribute(getStatisticEntry_Name(), ecorePackage.getEString(), "name", null, 1, 1, StatisticEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
586 | |||
587 | initEClass(undecidableResultEClass, UndecidableResult.class, "UndecidableResult", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
588 | |||
589 | initEClass(intStatisticEntryEClass, IntStatisticEntry.class, "IntStatisticEntry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
590 | initEAttribute(getIntStatisticEntry_Value(), ecorePackage.getEInt(), "value", null, 1, 1, IntStatisticEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
591 | |||
592 | initEClass(realStatisticEntryEClass, RealStatisticEntry.class, "RealStatisticEntry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
593 | initEAttribute(getRealStatisticEntry_Value(), ecorePackage.getEDouble(), "value", null, 1, 1, RealStatisticEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
594 | |||
595 | initEClass(stringStatisticEntryEClass, StringStatisticEntry.class, "StringStatisticEntry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
596 | initEAttribute(getStringStatisticEntry_Value(), ecorePackage.getEString(), "value", "Unfilled", 1, 1, StringStatisticEntry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
597 | |||
598 | // Create resource | ||
599 | createResource(eNS_URI); | ||
600 | } | ||
601 | |||
602 | } //LogicresultPackageImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java new file mode 100644 index 00000000..63a15a81 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java | |||
@@ -0,0 +1,216 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>Model Result</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl#getMaxInteger <em>Max Integer</em>}</li> | ||
23 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.ModelResultImpl#getMinInteger <em>Min Integer</em>}</li> | ||
24 | * </ul> | ||
25 | * | ||
26 | * @generated | ||
27 | */ | ||
28 | public class ModelResultImpl extends LogicResultImpl implements ModelResult { | ||
29 | /** | ||
30 | * The default value of the '{@link #getMaxInteger() <em>Max Integer</em>}' attribute. | ||
31 | * <!-- begin-user-doc --> | ||
32 | * <!-- end-user-doc --> | ||
33 | * @see #getMaxInteger() | ||
34 | * @generated | ||
35 | * @ordered | ||
36 | */ | ||
37 | protected static final int MAX_INTEGER_EDEFAULT = 0; | ||
38 | |||
39 | /** | ||
40 | * The cached value of the '{@link #getMaxInteger() <em>Max Integer</em>}' attribute. | ||
41 | * <!-- begin-user-doc --> | ||
42 | * <!-- end-user-doc --> | ||
43 | * @see #getMaxInteger() | ||
44 | * @generated | ||
45 | * @ordered | ||
46 | */ | ||
47 | protected int maxInteger = MAX_INTEGER_EDEFAULT; | ||
48 | |||
49 | /** | ||
50 | * The default value of the '{@link #getMinInteger() <em>Min Integer</em>}' attribute. | ||
51 | * <!-- begin-user-doc --> | ||
52 | * <!-- end-user-doc --> | ||
53 | * @see #getMinInteger() | ||
54 | * @generated | ||
55 | * @ordered | ||
56 | */ | ||
57 | protected static final int MIN_INTEGER_EDEFAULT = 0; | ||
58 | |||
59 | /** | ||
60 | * The cached value of the '{@link #getMinInteger() <em>Min Integer</em>}' attribute. | ||
61 | * <!-- begin-user-doc --> | ||
62 | * <!-- end-user-doc --> | ||
63 | * @see #getMinInteger() | ||
64 | * @generated | ||
65 | * @ordered | ||
66 | */ | ||
67 | protected int minInteger = MIN_INTEGER_EDEFAULT; | ||
68 | |||
69 | /** | ||
70 | * <!-- begin-user-doc --> | ||
71 | * <!-- end-user-doc --> | ||
72 | * @generated | ||
73 | */ | ||
74 | protected ModelResultImpl() { | ||
75 | super(); | ||
76 | } | ||
77 | |||
78 | /** | ||
79 | * <!-- begin-user-doc --> | ||
80 | * <!-- end-user-doc --> | ||
81 | * @generated | ||
82 | */ | ||
83 | @Override | ||
84 | protected EClass eStaticClass() { | ||
85 | return LogicresultPackage.Literals.MODEL_RESULT; | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | public int getMaxInteger() { | ||
94 | return maxInteger; | ||
95 | } | ||
96 | |||
97 | /** | ||
98 | * <!-- begin-user-doc --> | ||
99 | * <!-- end-user-doc --> | ||
100 | * @generated | ||
101 | */ | ||
102 | public void setMaxInteger(int newMaxInteger) { | ||
103 | int oldMaxInteger = maxInteger; | ||
104 | maxInteger = newMaxInteger; | ||
105 | if (eNotificationRequired()) | ||
106 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.MODEL_RESULT__MAX_INTEGER, oldMaxInteger, maxInteger)); | ||
107 | } | ||
108 | |||
109 | /** | ||
110 | * <!-- begin-user-doc --> | ||
111 | * <!-- end-user-doc --> | ||
112 | * @generated | ||
113 | */ | ||
114 | public int getMinInteger() { | ||
115 | return minInteger; | ||
116 | } | ||
117 | |||
118 | /** | ||
119 | * <!-- begin-user-doc --> | ||
120 | * <!-- end-user-doc --> | ||
121 | * @generated | ||
122 | */ | ||
123 | public void setMinInteger(int newMinInteger) { | ||
124 | int oldMinInteger = minInteger; | ||
125 | minInteger = newMinInteger; | ||
126 | if (eNotificationRequired()) | ||
127 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.MODEL_RESULT__MIN_INTEGER, oldMinInteger, minInteger)); | ||
128 | } | ||
129 | |||
130 | /** | ||
131 | * <!-- begin-user-doc --> | ||
132 | * <!-- end-user-doc --> | ||
133 | * @generated | ||
134 | */ | ||
135 | @Override | ||
136 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
137 | switch (featureID) { | ||
138 | case LogicresultPackage.MODEL_RESULT__MAX_INTEGER: | ||
139 | return getMaxInteger(); | ||
140 | case LogicresultPackage.MODEL_RESULT__MIN_INTEGER: | ||
141 | return getMinInteger(); | ||
142 | } | ||
143 | return super.eGet(featureID, resolve, coreType); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public void eSet(int featureID, Object newValue) { | ||
153 | switch (featureID) { | ||
154 | case LogicresultPackage.MODEL_RESULT__MAX_INTEGER: | ||
155 | setMaxInteger((Integer)newValue); | ||
156 | return; | ||
157 | case LogicresultPackage.MODEL_RESULT__MIN_INTEGER: | ||
158 | setMinInteger((Integer)newValue); | ||
159 | return; | ||
160 | } | ||
161 | super.eSet(featureID, newValue); | ||
162 | } | ||
163 | |||
164 | /** | ||
165 | * <!-- begin-user-doc --> | ||
166 | * <!-- end-user-doc --> | ||
167 | * @generated | ||
168 | */ | ||
169 | @Override | ||
170 | public void eUnset(int featureID) { | ||
171 | switch (featureID) { | ||
172 | case LogicresultPackage.MODEL_RESULT__MAX_INTEGER: | ||
173 | setMaxInteger(MAX_INTEGER_EDEFAULT); | ||
174 | return; | ||
175 | case LogicresultPackage.MODEL_RESULT__MIN_INTEGER: | ||
176 | setMinInteger(MIN_INTEGER_EDEFAULT); | ||
177 | return; | ||
178 | } | ||
179 | super.eUnset(featureID); | ||
180 | } | ||
181 | |||
182 | /** | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | */ | ||
187 | @Override | ||
188 | public boolean eIsSet(int featureID) { | ||
189 | switch (featureID) { | ||
190 | case LogicresultPackage.MODEL_RESULT__MAX_INTEGER: | ||
191 | return maxInteger != MAX_INTEGER_EDEFAULT; | ||
192 | case LogicresultPackage.MODEL_RESULT__MIN_INTEGER: | ||
193 | return minInteger != MIN_INTEGER_EDEFAULT; | ||
194 | } | ||
195 | return super.eIsSet(featureID); | ||
196 | } | ||
197 | |||
198 | /** | ||
199 | * <!-- begin-user-doc --> | ||
200 | * <!-- end-user-doc --> | ||
201 | * @generated | ||
202 | */ | ||
203 | @Override | ||
204 | public String toString() { | ||
205 | if (eIsProxy()) return super.toString(); | ||
206 | |||
207 | StringBuffer result = new StringBuffer(super.toString()); | ||
208 | result.append(" (maxInteger: "); | ||
209 | result.append(maxInteger); | ||
210 | result.append(", minInteger: "); | ||
211 | result.append(minInteger); | ||
212 | result.append(')'); | ||
213 | return result.toString(); | ||
214 | } | ||
215 | |||
216 | } //ModelResultImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/RealStatisticEntryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/RealStatisticEntryImpl.java new file mode 100644 index 00000000..ed09f0df --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/RealStatisticEntryImpl.java | |||
@@ -0,0 +1,162 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>Real Statistic Entry</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.RealStatisticEntryImpl#getValue <em>Value</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @generated | ||
26 | */ | ||
27 | public class RealStatisticEntryImpl extends StatisticEntryImpl implements RealStatisticEntry { | ||
28 | /** | ||
29 | * The default value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @see #getValue() | ||
33 | * @generated | ||
34 | * @ordered | ||
35 | */ | ||
36 | protected static final double VALUE_EDEFAULT = 0.0; | ||
37 | |||
38 | /** | ||
39 | * The cached value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
40 | * <!-- begin-user-doc --> | ||
41 | * <!-- end-user-doc --> | ||
42 | * @see #getValue() | ||
43 | * @generated | ||
44 | * @ordered | ||
45 | */ | ||
46 | protected double value = VALUE_EDEFAULT; | ||
47 | |||
48 | /** | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @generated | ||
52 | */ | ||
53 | protected RealStatisticEntryImpl() { | ||
54 | super(); | ||
55 | } | ||
56 | |||
57 | /** | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @generated | ||
61 | */ | ||
62 | @Override | ||
63 | protected EClass eStaticClass() { | ||
64 | return LogicresultPackage.Literals.REAL_STATISTIC_ENTRY; | ||
65 | } | ||
66 | |||
67 | /** | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @generated | ||
71 | */ | ||
72 | public double getValue() { | ||
73 | return value; | ||
74 | } | ||
75 | |||
76 | /** | ||
77 | * <!-- begin-user-doc --> | ||
78 | * <!-- end-user-doc --> | ||
79 | * @generated | ||
80 | */ | ||
81 | public void setValue(double newValue) { | ||
82 | double oldValue = value; | ||
83 | value = newValue; | ||
84 | if (eNotificationRequired()) | ||
85 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.REAL_STATISTIC_ENTRY__VALUE, oldValue, value)); | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | @Override | ||
94 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
95 | switch (featureID) { | ||
96 | case LogicresultPackage.REAL_STATISTIC_ENTRY__VALUE: | ||
97 | return getValue(); | ||
98 | } | ||
99 | return super.eGet(featureID, resolve, coreType); | ||
100 | } | ||
101 | |||
102 | /** | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @generated | ||
106 | */ | ||
107 | @Override | ||
108 | public void eSet(int featureID, Object newValue) { | ||
109 | switch (featureID) { | ||
110 | case LogicresultPackage.REAL_STATISTIC_ENTRY__VALUE: | ||
111 | setValue((Double)newValue); | ||
112 | return; | ||
113 | } | ||
114 | super.eSet(featureID, newValue); | ||
115 | } | ||
116 | |||
117 | /** | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @generated | ||
121 | */ | ||
122 | @Override | ||
123 | public void eUnset(int featureID) { | ||
124 | switch (featureID) { | ||
125 | case LogicresultPackage.REAL_STATISTIC_ENTRY__VALUE: | ||
126 | setValue(VALUE_EDEFAULT); | ||
127 | return; | ||
128 | } | ||
129 | super.eUnset(featureID); | ||
130 | } | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | @Override | ||
138 | public boolean eIsSet(int featureID) { | ||
139 | switch (featureID) { | ||
140 | case LogicresultPackage.REAL_STATISTIC_ENTRY__VALUE: | ||
141 | return value != VALUE_EDEFAULT; | ||
142 | } | ||
143 | return super.eIsSet(featureID); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public String toString() { | ||
153 | if (eIsProxy()) return super.toString(); | ||
154 | |||
155 | StringBuffer result = new StringBuffer(super.toString()); | ||
156 | result.append(" (value: "); | ||
157 | result.append(value); | ||
158 | result.append(')'); | ||
159 | return result.toString(); | ||
160 | } | ||
161 | |||
162 | } //RealStatisticEntryImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticEntryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticEntryImpl.java new file mode 100644 index 00000000..bc1c5a92 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticEntryImpl.java | |||
@@ -0,0 +1,163 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
14 | |||
15 | /** | ||
16 | * <!-- begin-user-doc --> | ||
17 | * An implementation of the model object '<em><b>Statistic Entry</b></em>'. | ||
18 | * <!-- end-user-doc --> | ||
19 | * <p> | ||
20 | * The following features are implemented: | ||
21 | * </p> | ||
22 | * <ul> | ||
23 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticEntryImpl#getName <em>Name</em>}</li> | ||
24 | * </ul> | ||
25 | * | ||
26 | * @generated | ||
27 | */ | ||
28 | public abstract class StatisticEntryImpl extends MinimalEObjectImpl.Container implements StatisticEntry { | ||
29 | /** | ||
30 | * The default value of the '{@link #getName() <em>Name</em>}' attribute. | ||
31 | * <!-- begin-user-doc --> | ||
32 | * <!-- end-user-doc --> | ||
33 | * @see #getName() | ||
34 | * @generated | ||
35 | * @ordered | ||
36 | */ | ||
37 | protected static final String NAME_EDEFAULT = null; | ||
38 | |||
39 | /** | ||
40 | * The cached value of the '{@link #getName() <em>Name</em>}' attribute. | ||
41 | * <!-- begin-user-doc --> | ||
42 | * <!-- end-user-doc --> | ||
43 | * @see #getName() | ||
44 | * @generated | ||
45 | * @ordered | ||
46 | */ | ||
47 | protected String name = NAME_EDEFAULT; | ||
48 | |||
49 | /** | ||
50 | * <!-- begin-user-doc --> | ||
51 | * <!-- end-user-doc --> | ||
52 | * @generated | ||
53 | */ | ||
54 | protected StatisticEntryImpl() { | ||
55 | super(); | ||
56 | } | ||
57 | |||
58 | /** | ||
59 | * <!-- begin-user-doc --> | ||
60 | * <!-- end-user-doc --> | ||
61 | * @generated | ||
62 | */ | ||
63 | @Override | ||
64 | protected EClass eStaticClass() { | ||
65 | return LogicresultPackage.Literals.STATISTIC_ENTRY; | ||
66 | } | ||
67 | |||
68 | /** | ||
69 | * <!-- begin-user-doc --> | ||
70 | * <!-- end-user-doc --> | ||
71 | * @generated | ||
72 | */ | ||
73 | public String getName() { | ||
74 | return name; | ||
75 | } | ||
76 | |||
77 | /** | ||
78 | * <!-- begin-user-doc --> | ||
79 | * <!-- end-user-doc --> | ||
80 | * @generated | ||
81 | */ | ||
82 | public void setName(String newName) { | ||
83 | String oldName = name; | ||
84 | name = newName; | ||
85 | if (eNotificationRequired()) | ||
86 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.STATISTIC_ENTRY__NAME, oldName, name)); | ||
87 | } | ||
88 | |||
89 | /** | ||
90 | * <!-- begin-user-doc --> | ||
91 | * <!-- end-user-doc --> | ||
92 | * @generated | ||
93 | */ | ||
94 | @Override | ||
95 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
96 | switch (featureID) { | ||
97 | case LogicresultPackage.STATISTIC_ENTRY__NAME: | ||
98 | return getName(); | ||
99 | } | ||
100 | return super.eGet(featureID, resolve, coreType); | ||
101 | } | ||
102 | |||
103 | /** | ||
104 | * <!-- begin-user-doc --> | ||
105 | * <!-- end-user-doc --> | ||
106 | * @generated | ||
107 | */ | ||
108 | @Override | ||
109 | public void eSet(int featureID, Object newValue) { | ||
110 | switch (featureID) { | ||
111 | case LogicresultPackage.STATISTIC_ENTRY__NAME: | ||
112 | setName((String)newValue); | ||
113 | return; | ||
114 | } | ||
115 | super.eSet(featureID, newValue); | ||
116 | } | ||
117 | |||
118 | /** | ||
119 | * <!-- begin-user-doc --> | ||
120 | * <!-- end-user-doc --> | ||
121 | * @generated | ||
122 | */ | ||
123 | @Override | ||
124 | public void eUnset(int featureID) { | ||
125 | switch (featureID) { | ||
126 | case LogicresultPackage.STATISTIC_ENTRY__NAME: | ||
127 | setName(NAME_EDEFAULT); | ||
128 | return; | ||
129 | } | ||
130 | super.eUnset(featureID); | ||
131 | } | ||
132 | |||
133 | /** | ||
134 | * <!-- begin-user-doc --> | ||
135 | * <!-- end-user-doc --> | ||
136 | * @generated | ||
137 | */ | ||
138 | @Override | ||
139 | public boolean eIsSet(int featureID) { | ||
140 | switch (featureID) { | ||
141 | case LogicresultPackage.STATISTIC_ENTRY__NAME: | ||
142 | return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); | ||
143 | } | ||
144 | return super.eIsSet(featureID); | ||
145 | } | ||
146 | |||
147 | /** | ||
148 | * <!-- begin-user-doc --> | ||
149 | * <!-- end-user-doc --> | ||
150 | * @generated | ||
151 | */ | ||
152 | @Override | ||
153 | public String toString() { | ||
154 | if (eIsProxy()) return super.toString(); | ||
155 | |||
156 | StringBuffer result = new StringBuffer(super.toString()); | ||
157 | result.append(" (name: "); | ||
158 | result.append(name); | ||
159 | result.append(')'); | ||
160 | return result.toString(); | ||
161 | } | ||
162 | |||
163 | } //StatisticEntryImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticsImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticsImpl.java new file mode 100644 index 00000000..77d43c97 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticsImpl.java | |||
@@ -0,0 +1,330 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry; | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics; | ||
8 | |||
9 | import java.util.Collection; | ||
10 | |||
11 | import org.eclipse.emf.common.notify.Notification; | ||
12 | import org.eclipse.emf.common.notify.NotificationChain; | ||
13 | |||
14 | import org.eclipse.emf.common.util.EList; | ||
15 | |||
16 | import org.eclipse.emf.ecore.EClass; | ||
17 | import org.eclipse.emf.ecore.InternalEObject; | ||
18 | |||
19 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
20 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
21 | |||
22 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
23 | import org.eclipse.emf.ecore.util.InternalEList; | ||
24 | |||
25 | /** | ||
26 | * <!-- begin-user-doc --> | ||
27 | * An implementation of the model object '<em><b>Statistics</b></em>'. | ||
28 | * <!-- end-user-doc --> | ||
29 | * <p> | ||
30 | * The following features are implemented: | ||
31 | * </p> | ||
32 | * <ul> | ||
33 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl#getEntries <em>Entries</em>}</li> | ||
34 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl#getTransformationTime <em>Transformation Time</em>}</li> | ||
35 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl#getSolverTime <em>Solver Time</em>}</li> | ||
36 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StatisticsImpl#getSolverMemory <em>Solver Memory</em>}</li> | ||
37 | * </ul> | ||
38 | * | ||
39 | * @generated | ||
40 | */ | ||
41 | public class StatisticsImpl extends MinimalEObjectImpl.Container implements Statistics { | ||
42 | /** | ||
43 | * The cached value of the '{@link #getEntries() <em>Entries</em>}' containment reference list. | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @see #getEntries() | ||
47 | * @generated | ||
48 | * @ordered | ||
49 | */ | ||
50 | protected EList<StatisticEntry> entries; | ||
51 | |||
52 | /** | ||
53 | * The default value of the '{@link #getTransformationTime() <em>Transformation Time</em>}' attribute. | ||
54 | * <!-- begin-user-doc --> | ||
55 | * <!-- end-user-doc --> | ||
56 | * @see #getTransformationTime() | ||
57 | * @generated | ||
58 | * @ordered | ||
59 | */ | ||
60 | protected static final int TRANSFORMATION_TIME_EDEFAULT = -1; | ||
61 | |||
62 | /** | ||
63 | * The cached value of the '{@link #getTransformationTime() <em>Transformation Time</em>}' attribute. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @see #getTransformationTime() | ||
67 | * @generated | ||
68 | * @ordered | ||
69 | */ | ||
70 | protected int transformationTime = TRANSFORMATION_TIME_EDEFAULT; | ||
71 | |||
72 | /** | ||
73 | * The default value of the '{@link #getSolverTime() <em>Solver Time</em>}' attribute. | ||
74 | * <!-- begin-user-doc --> | ||
75 | * <!-- end-user-doc --> | ||
76 | * @see #getSolverTime() | ||
77 | * @generated | ||
78 | * @ordered | ||
79 | */ | ||
80 | protected static final int SOLVER_TIME_EDEFAULT = -1; | ||
81 | |||
82 | /** | ||
83 | * The cached value of the '{@link #getSolverTime() <em>Solver Time</em>}' attribute. | ||
84 | * <!-- begin-user-doc --> | ||
85 | * <!-- end-user-doc --> | ||
86 | * @see #getSolverTime() | ||
87 | * @generated | ||
88 | * @ordered | ||
89 | */ | ||
90 | protected int solverTime = SOLVER_TIME_EDEFAULT; | ||
91 | |||
92 | /** | ||
93 | * The default value of the '{@link #getSolverMemory() <em>Solver Memory</em>}' attribute. | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @see #getSolverMemory() | ||
97 | * @generated | ||
98 | * @ordered | ||
99 | */ | ||
100 | protected static final int SOLVER_MEMORY_EDEFAULT = -1; | ||
101 | |||
102 | /** | ||
103 | * The cached value of the '{@link #getSolverMemory() <em>Solver Memory</em>}' attribute. | ||
104 | * <!-- begin-user-doc --> | ||
105 | * <!-- end-user-doc --> | ||
106 | * @see #getSolverMemory() | ||
107 | * @generated | ||
108 | * @ordered | ||
109 | */ | ||
110 | protected int solverMemory = SOLVER_MEMORY_EDEFAULT; | ||
111 | |||
112 | /** | ||
113 | * <!-- begin-user-doc --> | ||
114 | * <!-- end-user-doc --> | ||
115 | * @generated | ||
116 | */ | ||
117 | protected StatisticsImpl() { | ||
118 | super(); | ||
119 | } | ||
120 | |||
121 | /** | ||
122 | * <!-- begin-user-doc --> | ||
123 | * <!-- end-user-doc --> | ||
124 | * @generated | ||
125 | */ | ||
126 | @Override | ||
127 | protected EClass eStaticClass() { | ||
128 | return LogicresultPackage.Literals.STATISTICS; | ||
129 | } | ||
130 | |||
131 | /** | ||
132 | * <!-- begin-user-doc --> | ||
133 | * <!-- end-user-doc --> | ||
134 | * @generated | ||
135 | */ | ||
136 | public EList<StatisticEntry> getEntries() { | ||
137 | if (entries == null) { | ||
138 | entries = new EObjectContainmentEList<StatisticEntry>(StatisticEntry.class, this, LogicresultPackage.STATISTICS__ENTRIES); | ||
139 | } | ||
140 | return entries; | ||
141 | } | ||
142 | |||
143 | /** | ||
144 | * <!-- begin-user-doc --> | ||
145 | * <!-- end-user-doc --> | ||
146 | * @generated | ||
147 | */ | ||
148 | public int getTransformationTime() { | ||
149 | return transformationTime; | ||
150 | } | ||
151 | |||
152 | /** | ||
153 | * <!-- begin-user-doc --> | ||
154 | * <!-- end-user-doc --> | ||
155 | * @generated | ||
156 | */ | ||
157 | public void setTransformationTime(int newTransformationTime) { | ||
158 | int oldTransformationTime = transformationTime; | ||
159 | transformationTime = newTransformationTime; | ||
160 | if (eNotificationRequired()) | ||
161 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.STATISTICS__TRANSFORMATION_TIME, oldTransformationTime, transformationTime)); | ||
162 | } | ||
163 | |||
164 | /** | ||
165 | * <!-- begin-user-doc --> | ||
166 | * <!-- end-user-doc --> | ||
167 | * @generated | ||
168 | */ | ||
169 | public int getSolverTime() { | ||
170 | return solverTime; | ||
171 | } | ||
172 | |||
173 | /** | ||
174 | * <!-- begin-user-doc --> | ||
175 | * <!-- end-user-doc --> | ||
176 | * @generated | ||
177 | */ | ||
178 | public void setSolverTime(int newSolverTime) { | ||
179 | int oldSolverTime = solverTime; | ||
180 | solverTime = newSolverTime; | ||
181 | if (eNotificationRequired()) | ||
182 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.STATISTICS__SOLVER_TIME, oldSolverTime, solverTime)); | ||
183 | } | ||
184 | |||
185 | /** | ||
186 | * <!-- begin-user-doc --> | ||
187 | * <!-- end-user-doc --> | ||
188 | * @generated | ||
189 | */ | ||
190 | public int getSolverMemory() { | ||
191 | return solverMemory; | ||
192 | } | ||
193 | |||
194 | /** | ||
195 | * <!-- begin-user-doc --> | ||
196 | * <!-- end-user-doc --> | ||
197 | * @generated | ||
198 | */ | ||
199 | public void setSolverMemory(int newSolverMemory) { | ||
200 | int oldSolverMemory = solverMemory; | ||
201 | solverMemory = newSolverMemory; | ||
202 | if (eNotificationRequired()) | ||
203 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.STATISTICS__SOLVER_MEMORY, oldSolverMemory, solverMemory)); | ||
204 | } | ||
205 | |||
206 | /** | ||
207 | * <!-- begin-user-doc --> | ||
208 | * <!-- end-user-doc --> | ||
209 | * @generated | ||
210 | */ | ||
211 | @Override | ||
212 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
213 | switch (featureID) { | ||
214 | case LogicresultPackage.STATISTICS__ENTRIES: | ||
215 | return ((InternalEList<?>)getEntries()).basicRemove(otherEnd, msgs); | ||
216 | } | ||
217 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
218 | } | ||
219 | |||
220 | /** | ||
221 | * <!-- begin-user-doc --> | ||
222 | * <!-- end-user-doc --> | ||
223 | * @generated | ||
224 | */ | ||
225 | @Override | ||
226 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
227 | switch (featureID) { | ||
228 | case LogicresultPackage.STATISTICS__ENTRIES: | ||
229 | return getEntries(); | ||
230 | case LogicresultPackage.STATISTICS__TRANSFORMATION_TIME: | ||
231 | return getTransformationTime(); | ||
232 | case LogicresultPackage.STATISTICS__SOLVER_TIME: | ||
233 | return getSolverTime(); | ||
234 | case LogicresultPackage.STATISTICS__SOLVER_MEMORY: | ||
235 | return getSolverMemory(); | ||
236 | } | ||
237 | return super.eGet(featureID, resolve, coreType); | ||
238 | } | ||
239 | |||
240 | /** | ||
241 | * <!-- begin-user-doc --> | ||
242 | * <!-- end-user-doc --> | ||
243 | * @generated | ||
244 | */ | ||
245 | @SuppressWarnings("unchecked") | ||
246 | @Override | ||
247 | public void eSet(int featureID, Object newValue) { | ||
248 | switch (featureID) { | ||
249 | case LogicresultPackage.STATISTICS__ENTRIES: | ||
250 | getEntries().clear(); | ||
251 | getEntries().addAll((Collection<? extends StatisticEntry>)newValue); | ||
252 | return; | ||
253 | case LogicresultPackage.STATISTICS__TRANSFORMATION_TIME: | ||
254 | setTransformationTime((Integer)newValue); | ||
255 | return; | ||
256 | case LogicresultPackage.STATISTICS__SOLVER_TIME: | ||
257 | setSolverTime((Integer)newValue); | ||
258 | return; | ||
259 | case LogicresultPackage.STATISTICS__SOLVER_MEMORY: | ||
260 | setSolverMemory((Integer)newValue); | ||
261 | return; | ||
262 | } | ||
263 | super.eSet(featureID, newValue); | ||
264 | } | ||
265 | |||
266 | /** | ||
267 | * <!-- begin-user-doc --> | ||
268 | * <!-- end-user-doc --> | ||
269 | * @generated | ||
270 | */ | ||
271 | @Override | ||
272 | public void eUnset(int featureID) { | ||
273 | switch (featureID) { | ||
274 | case LogicresultPackage.STATISTICS__ENTRIES: | ||
275 | getEntries().clear(); | ||
276 | return; | ||
277 | case LogicresultPackage.STATISTICS__TRANSFORMATION_TIME: | ||
278 | setTransformationTime(TRANSFORMATION_TIME_EDEFAULT); | ||
279 | return; | ||
280 | case LogicresultPackage.STATISTICS__SOLVER_TIME: | ||
281 | setSolverTime(SOLVER_TIME_EDEFAULT); | ||
282 | return; | ||
283 | case LogicresultPackage.STATISTICS__SOLVER_MEMORY: | ||
284 | setSolverMemory(SOLVER_MEMORY_EDEFAULT); | ||
285 | return; | ||
286 | } | ||
287 | super.eUnset(featureID); | ||
288 | } | ||
289 | |||
290 | /** | ||
291 | * <!-- begin-user-doc --> | ||
292 | * <!-- end-user-doc --> | ||
293 | * @generated | ||
294 | */ | ||
295 | @Override | ||
296 | public boolean eIsSet(int featureID) { | ||
297 | switch (featureID) { | ||
298 | case LogicresultPackage.STATISTICS__ENTRIES: | ||
299 | return entries != null && !entries.isEmpty(); | ||
300 | case LogicresultPackage.STATISTICS__TRANSFORMATION_TIME: | ||
301 | return transformationTime != TRANSFORMATION_TIME_EDEFAULT; | ||
302 | case LogicresultPackage.STATISTICS__SOLVER_TIME: | ||
303 | return solverTime != SOLVER_TIME_EDEFAULT; | ||
304 | case LogicresultPackage.STATISTICS__SOLVER_MEMORY: | ||
305 | return solverMemory != SOLVER_MEMORY_EDEFAULT; | ||
306 | } | ||
307 | return super.eIsSet(featureID); | ||
308 | } | ||
309 | |||
310 | /** | ||
311 | * <!-- begin-user-doc --> | ||
312 | * <!-- end-user-doc --> | ||
313 | * @generated | ||
314 | */ | ||
315 | @Override | ||
316 | public String toString() { | ||
317 | if (eIsProxy()) return super.toString(); | ||
318 | |||
319 | StringBuffer result = new StringBuffer(super.toString()); | ||
320 | result.append(" (transformationTime: "); | ||
321 | result.append(transformationTime); | ||
322 | result.append(", solverTime: "); | ||
323 | result.append(solverTime); | ||
324 | result.append(", solverMemory: "); | ||
325 | result.append(solverMemory); | ||
326 | result.append(')'); | ||
327 | return result.toString(); | ||
328 | } | ||
329 | |||
330 | } //StatisticsImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StringStatisticEntryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StringStatisticEntryImpl.java new file mode 100644 index 00000000..8698f73b --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StringStatisticEntryImpl.java | |||
@@ -0,0 +1,162 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>String Statistic Entry</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl.StringStatisticEntryImpl#getValue <em>Value</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @generated | ||
26 | */ | ||
27 | public class StringStatisticEntryImpl extends StatisticEntryImpl implements StringStatisticEntry { | ||
28 | /** | ||
29 | * The default value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @see #getValue() | ||
33 | * @generated | ||
34 | * @ordered | ||
35 | */ | ||
36 | protected static final String VALUE_EDEFAULT = "Unfilled"; | ||
37 | |||
38 | /** | ||
39 | * The cached value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
40 | * <!-- begin-user-doc --> | ||
41 | * <!-- end-user-doc --> | ||
42 | * @see #getValue() | ||
43 | * @generated | ||
44 | * @ordered | ||
45 | */ | ||
46 | protected String value = VALUE_EDEFAULT; | ||
47 | |||
48 | /** | ||
49 | * <!-- begin-user-doc --> | ||
50 | * <!-- end-user-doc --> | ||
51 | * @generated | ||
52 | */ | ||
53 | protected StringStatisticEntryImpl() { | ||
54 | super(); | ||
55 | } | ||
56 | |||
57 | /** | ||
58 | * <!-- begin-user-doc --> | ||
59 | * <!-- end-user-doc --> | ||
60 | * @generated | ||
61 | */ | ||
62 | @Override | ||
63 | protected EClass eStaticClass() { | ||
64 | return LogicresultPackage.Literals.STRING_STATISTIC_ENTRY; | ||
65 | } | ||
66 | |||
67 | /** | ||
68 | * <!-- begin-user-doc --> | ||
69 | * <!-- end-user-doc --> | ||
70 | * @generated | ||
71 | */ | ||
72 | public String getValue() { | ||
73 | return value; | ||
74 | } | ||
75 | |||
76 | /** | ||
77 | * <!-- begin-user-doc --> | ||
78 | * <!-- end-user-doc --> | ||
79 | * @generated | ||
80 | */ | ||
81 | public void setValue(String newValue) { | ||
82 | String oldValue = value; | ||
83 | value = newValue; | ||
84 | if (eNotificationRequired()) | ||
85 | eNotify(new ENotificationImpl(this, Notification.SET, LogicresultPackage.STRING_STATISTIC_ENTRY__VALUE, oldValue, value)); | ||
86 | } | ||
87 | |||
88 | /** | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @generated | ||
92 | */ | ||
93 | @Override | ||
94 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
95 | switch (featureID) { | ||
96 | case LogicresultPackage.STRING_STATISTIC_ENTRY__VALUE: | ||
97 | return getValue(); | ||
98 | } | ||
99 | return super.eGet(featureID, resolve, coreType); | ||
100 | } | ||
101 | |||
102 | /** | ||
103 | * <!-- begin-user-doc --> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @generated | ||
106 | */ | ||
107 | @Override | ||
108 | public void eSet(int featureID, Object newValue) { | ||
109 | switch (featureID) { | ||
110 | case LogicresultPackage.STRING_STATISTIC_ENTRY__VALUE: | ||
111 | setValue((String)newValue); | ||
112 | return; | ||
113 | } | ||
114 | super.eSet(featureID, newValue); | ||
115 | } | ||
116 | |||
117 | /** | ||
118 | * <!-- begin-user-doc --> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @generated | ||
121 | */ | ||
122 | @Override | ||
123 | public void eUnset(int featureID) { | ||
124 | switch (featureID) { | ||
125 | case LogicresultPackage.STRING_STATISTIC_ENTRY__VALUE: | ||
126 | setValue(VALUE_EDEFAULT); | ||
127 | return; | ||
128 | } | ||
129 | super.eUnset(featureID); | ||
130 | } | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
137 | @Override | ||
138 | public boolean eIsSet(int featureID) { | ||
139 | switch (featureID) { | ||
140 | case LogicresultPackage.STRING_STATISTIC_ENTRY__VALUE: | ||
141 | return VALUE_EDEFAULT == null ? value != null : !VALUE_EDEFAULT.equals(value); | ||
142 | } | ||
143 | return super.eIsSet(featureID); | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | @Override | ||
152 | public String toString() { | ||
153 | if (eIsProxy()) return super.toString(); | ||
154 | |||
155 | StringBuffer result = new StringBuffer(super.toString()); | ||
156 | result.append(" (value: "); | ||
157 | result.append(value); | ||
158 | result.append(')'); | ||
159 | return result.toString(); | ||
160 | } | ||
161 | |||
162 | } //StringStatisticEntryImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UndecidableResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UndecidableResultImpl.java new file mode 100644 index 00000000..12da9c45 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UndecidableResultImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Undecidable Result</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class UndecidableResultImpl extends UnknownResultImpl implements UndecidableResult { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected UndecidableResultImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return LogicresultPackage.Literals.UNDECIDABLE_RESULT; | ||
35 | } | ||
36 | |||
37 | } //UndecidableResultImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UnknownResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UnknownResultImpl.java new file mode 100644 index 00000000..2f8b416e --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UnknownResultImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage; | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Unknown Result</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public abstract class UnknownResultImpl extends LogicResultImpl implements UnknownResult { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected UnknownResultImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return LogicresultPackage.Literals.UNKNOWN_RESULT; | ||
35 | } | ||
36 | |||
37 | } //UnknownResultImpl | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/util/LogicresultAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/util/LogicresultAdapterFactory.java new file mode 100644 index 00000000..4b624c4d --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/util/LogicresultAdapterFactory.java | |||
@@ -0,0 +1,318 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.util; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.*; | ||
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.logicresult.LogicresultPackage | ||
20 | * @generated | ||
21 | */ | ||
22 | public class LogicresultAdapterFactory extends AdapterFactoryImpl { | ||
23 | /** | ||
24 | * The cached model package. | ||
25 | * <!-- begin-user-doc --> | ||
26 | * <!-- end-user-doc --> | ||
27 | * @generated | ||
28 | */ | ||
29 | protected static LogicresultPackage modelPackage; | ||
30 | |||
31 | /** | ||
32 | * Creates an instance of the adapter factory. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @generated | ||
36 | */ | ||
37 | public LogicresultAdapterFactory() { | ||
38 | if (modelPackage == null) { | ||
39 | modelPackage = LogicresultPackage.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 LogicresultSwitch<Adapter> modelSwitch = | ||
69 | new LogicresultSwitch<Adapter>() { | ||
70 | @Override | ||
71 | public Adapter caseLogicResult(LogicResult object) { | ||
72 | return createLogicResultAdapter(); | ||
73 | } | ||
74 | @Override | ||
75 | public Adapter caseModelResult(ModelResult object) { | ||
76 | return createModelResultAdapter(); | ||
77 | } | ||
78 | @Override | ||
79 | public Adapter caseInconsistencyResult(InconsistencyResult object) { | ||
80 | return createInconsistencyResultAdapter(); | ||
81 | } | ||
82 | @Override | ||
83 | public Adapter caseUnknownResult(UnknownResult object) { | ||
84 | return createUnknownResultAdapter(); | ||
85 | } | ||
86 | @Override | ||
87 | public Adapter caseInsuficientResourcesResult(InsuficientResourcesResult object) { | ||
88 | return createInsuficientResourcesResultAdapter(); | ||
89 | } | ||
90 | @Override | ||
91 | public Adapter caseErrorResult(ErrorResult object) { | ||
92 | return createErrorResultAdapter(); | ||
93 | } | ||
94 | @Override | ||
95 | public Adapter caseStatistics(Statistics object) { | ||
96 | return createStatisticsAdapter(); | ||
97 | } | ||
98 | @Override | ||
99 | public Adapter caseStatisticEntry(StatisticEntry object) { | ||
100 | return createStatisticEntryAdapter(); | ||
101 | } | ||
102 | @Override | ||
103 | public Adapter caseUndecidableResult(UndecidableResult object) { | ||
104 | return createUndecidableResultAdapter(); | ||
105 | } | ||
106 | @Override | ||
107 | public Adapter caseIntStatisticEntry(IntStatisticEntry object) { | ||
108 | return createIntStatisticEntryAdapter(); | ||
109 | } | ||
110 | @Override | ||
111 | public Adapter caseRealStatisticEntry(RealStatisticEntry object) { | ||
112 | return createRealStatisticEntryAdapter(); | ||
113 | } | ||
114 | @Override | ||
115 | public Adapter caseStringStatisticEntry(StringStatisticEntry object) { | ||
116 | return createStringStatisticEntryAdapter(); | ||
117 | } | ||
118 | @Override | ||
119 | public Adapter defaultCase(EObject object) { | ||
120 | return createEObjectAdapter(); | ||
121 | } | ||
122 | }; | ||
123 | |||
124 | /** | ||
125 | * Creates an adapter for the <code>target</code>. | ||
126 | * <!-- begin-user-doc --> | ||
127 | * <!-- end-user-doc --> | ||
128 | * @param target the object to adapt. | ||
129 | * @return the adapter for the <code>target</code>. | ||
130 | * @generated | ||
131 | */ | ||
132 | @Override | ||
133 | public Adapter createAdapter(Notifier target) { | ||
134 | return modelSwitch.doSwitch((EObject)target); | ||
135 | } | ||
136 | |||
137 | |||
138 | /** | ||
139 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult <em>Logic Result</em>}'. | ||
140 | * <!-- begin-user-doc --> | ||
141 | * This default implementation returns null so that we can easily ignore cases; | ||
142 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
143 | * <!-- end-user-doc --> | ||
144 | * @return the new adapter. | ||
145 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult | ||
146 | * @generated | ||
147 | */ | ||
148 | public Adapter createLogicResultAdapter() { | ||
149 | return null; | ||
150 | } | ||
151 | |||
152 | /** | ||
153 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult <em>Model Result</em>}'. | ||
154 | * <!-- begin-user-doc --> | ||
155 | * This default implementation returns null so that we can easily ignore cases; | ||
156 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
157 | * <!-- end-user-doc --> | ||
158 | * @return the new adapter. | ||
159 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult | ||
160 | * @generated | ||
161 | */ | ||
162 | public Adapter createModelResultAdapter() { | ||
163 | return null; | ||
164 | } | ||
165 | |||
166 | /** | ||
167 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult <em>Inconsistency Result</em>}'. | ||
168 | * <!-- begin-user-doc --> | ||
169 | * This default implementation returns null so that we can easily ignore cases; | ||
170 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
171 | * <!-- end-user-doc --> | ||
172 | * @return the new adapter. | ||
173 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult | ||
174 | * @generated | ||
175 | */ | ||
176 | public Adapter createInconsistencyResultAdapter() { | ||
177 | return null; | ||
178 | } | ||
179 | |||
180 | /** | ||
181 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult <em>Unknown Result</em>}'. | ||
182 | * <!-- begin-user-doc --> | ||
183 | * This default implementation returns null so that we can easily ignore cases; | ||
184 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
185 | * <!-- end-user-doc --> | ||
186 | * @return the new adapter. | ||
187 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult | ||
188 | * @generated | ||
189 | */ | ||
190 | public Adapter createUnknownResultAdapter() { | ||
191 | return null; | ||
192 | } | ||
193 | |||
194 | /** | ||
195 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult <em>Insuficient Resources Result</em>}'. | ||
196 | * <!-- begin-user-doc --> | ||
197 | * This default implementation returns null so that we can easily ignore cases; | ||
198 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
199 | * <!-- end-user-doc --> | ||
200 | * @return the new adapter. | ||
201 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult | ||
202 | * @generated | ||
203 | */ | ||
204 | public Adapter createInsuficientResourcesResultAdapter() { | ||
205 | return null; | ||
206 | } | ||
207 | |||
208 | /** | ||
209 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult <em>Error Result</em>}'. | ||
210 | * <!-- begin-user-doc --> | ||
211 | * This default implementation returns null so that we can easily ignore cases; | ||
212 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
213 | * <!-- end-user-doc --> | ||
214 | * @return the new adapter. | ||
215 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult | ||
216 | * @generated | ||
217 | */ | ||
218 | public Adapter createErrorResultAdapter() { | ||
219 | return null; | ||
220 | } | ||
221 | |||
222 | /** | ||
223 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics <em>Statistics</em>}'. | ||
224 | * <!-- begin-user-doc --> | ||
225 | * This default implementation returns null so that we can easily ignore cases; | ||
226 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
227 | * <!-- end-user-doc --> | ||
228 | * @return the new adapter. | ||
229 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics | ||
230 | * @generated | ||
231 | */ | ||
232 | public Adapter createStatisticsAdapter() { | ||
233 | return null; | ||
234 | } | ||
235 | |||
236 | /** | ||
237 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry <em>Statistic Entry</em>}'. | ||
238 | * <!-- begin-user-doc --> | ||
239 | * This default implementation returns null so that we can easily ignore cases; | ||
240 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
241 | * <!-- end-user-doc --> | ||
242 | * @return the new adapter. | ||
243 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry | ||
244 | * @generated | ||
245 | */ | ||
246 | public Adapter createStatisticEntryAdapter() { | ||
247 | return null; | ||
248 | } | ||
249 | |||
250 | /** | ||
251 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult <em>Undecidable Result</em>}'. | ||
252 | * <!-- begin-user-doc --> | ||
253 | * This default implementation returns null so that we can easily ignore cases; | ||
254 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
255 | * <!-- end-user-doc --> | ||
256 | * @return the new adapter. | ||
257 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult | ||
258 | * @generated | ||
259 | */ | ||
260 | public Adapter createUndecidableResultAdapter() { | ||
261 | return null; | ||
262 | } | ||
263 | |||
264 | /** | ||
265 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry <em>Int Statistic Entry</em>}'. | ||
266 | * <!-- begin-user-doc --> | ||
267 | * This default implementation returns null so that we can easily ignore cases; | ||
268 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
269 | * <!-- end-user-doc --> | ||
270 | * @return the new adapter. | ||
271 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry | ||
272 | * @generated | ||
273 | */ | ||
274 | public Adapter createIntStatisticEntryAdapter() { | ||
275 | return null; | ||
276 | } | ||
277 | |||
278 | /** | ||
279 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry <em>Real Statistic Entry</em>}'. | ||
280 | * <!-- begin-user-doc --> | ||
281 | * This default implementation returns null so that we can easily ignore cases; | ||
282 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
283 | * <!-- end-user-doc --> | ||
284 | * @return the new adapter. | ||
285 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry | ||
286 | * @generated | ||
287 | */ | ||
288 | public Adapter createRealStatisticEntryAdapter() { | ||
289 | return null; | ||
290 | } | ||
291 | |||
292 | /** | ||
293 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry <em>String Statistic Entry</em>}'. | ||
294 | * <!-- begin-user-doc --> | ||
295 | * This default implementation returns null so that we can easily ignore cases; | ||
296 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
297 | * <!-- end-user-doc --> | ||
298 | * @return the new adapter. | ||
299 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry | ||
300 | * @generated | ||
301 | */ | ||
302 | public Adapter createStringStatisticEntryAdapter() { | ||
303 | return null; | ||
304 | } | ||
305 | |||
306 | /** | ||
307 | * Creates a new adapter for the default case. | ||
308 | * <!-- begin-user-doc --> | ||
309 | * This default implementation returns null. | ||
310 | * <!-- end-user-doc --> | ||
311 | * @return the new adapter. | ||
312 | * @generated | ||
313 | */ | ||
314 | public Adapter createEObjectAdapter() { | ||
315 | return null; | ||
316 | } | ||
317 | |||
318 | } //LogicresultAdapterFactory | ||
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/util/LogicresultSwitch.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/util/LogicresultSwitch.java new file mode 100644 index 00000000..2cdf142b --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/util/LogicresultSwitch.java | |||
@@ -0,0 +1,353 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.util; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.*; | ||
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.logicresult.LogicresultPackage | ||
23 | * @generated | ||
24 | */ | ||
25 | public class LogicresultSwitch<T> extends Switch<T> { | ||
26 | /** | ||
27 | * The cached model package | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | protected static LogicresultPackage modelPackage; | ||
33 | |||
34 | /** | ||
35 | * Creates an instance of the switch. | ||
36 | * <!-- begin-user-doc --> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @generated | ||
39 | */ | ||
40 | public LogicresultSwitch() { | ||
41 | if (modelPackage == null) { | ||
42 | modelPackage = LogicresultPackage.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 LogicresultPackage.LOGIC_RESULT: { | ||
70 | LogicResult logicResult = (LogicResult)theEObject; | ||
71 | T result = caseLogicResult(logicResult); | ||
72 | if (result == null) result = defaultCase(theEObject); | ||
73 | return result; | ||
74 | } | ||
75 | case LogicresultPackage.MODEL_RESULT: { | ||
76 | ModelResult modelResult = (ModelResult)theEObject; | ||
77 | T result = caseModelResult(modelResult); | ||
78 | if (result == null) result = caseLogicResult(modelResult); | ||
79 | if (result == null) result = defaultCase(theEObject); | ||
80 | return result; | ||
81 | } | ||
82 | case LogicresultPackage.INCONSISTENCY_RESULT: { | ||
83 | InconsistencyResult inconsistencyResult = (InconsistencyResult)theEObject; | ||
84 | T result = caseInconsistencyResult(inconsistencyResult); | ||
85 | if (result == null) result = caseLogicResult(inconsistencyResult); | ||
86 | if (result == null) result = defaultCase(theEObject); | ||
87 | return result; | ||
88 | } | ||
89 | case LogicresultPackage.UNKNOWN_RESULT: { | ||
90 | UnknownResult unknownResult = (UnknownResult)theEObject; | ||
91 | T result = caseUnknownResult(unknownResult); | ||
92 | if (result == null) result = caseLogicResult(unknownResult); | ||
93 | if (result == null) result = defaultCase(theEObject); | ||
94 | return result; | ||
95 | } | ||
96 | case LogicresultPackage.INSUFICIENT_RESOURCES_RESULT: { | ||
97 | InsuficientResourcesResult insuficientResourcesResult = (InsuficientResourcesResult)theEObject; | ||
98 | T result = caseInsuficientResourcesResult(insuficientResourcesResult); | ||
99 | if (result == null) result = caseUnknownResult(insuficientResourcesResult); | ||
100 | if (result == null) result = caseLogicResult(insuficientResourcesResult); | ||
101 | if (result == null) result = defaultCase(theEObject); | ||
102 | return result; | ||
103 | } | ||
104 | case LogicresultPackage.ERROR_RESULT: { | ||
105 | ErrorResult errorResult = (ErrorResult)theEObject; | ||
106 | T result = caseErrorResult(errorResult); | ||
107 | if (result == null) result = caseUnknownResult(errorResult); | ||
108 | if (result == null) result = caseLogicResult(errorResult); | ||
109 | if (result == null) result = defaultCase(theEObject); | ||
110 | return result; | ||
111 | } | ||
112 | case LogicresultPackage.STATISTICS: { | ||
113 | Statistics statistics = (Statistics)theEObject; | ||
114 | T result = caseStatistics(statistics); | ||
115 | if (result == null) result = defaultCase(theEObject); | ||
116 | return result; | ||
117 | } | ||
118 | case LogicresultPackage.STATISTIC_ENTRY: { | ||
119 | StatisticEntry statisticEntry = (StatisticEntry)theEObject; | ||
120 | T result = caseStatisticEntry(statisticEntry); | ||
121 | if (result == null) result = defaultCase(theEObject); | ||
122 | return result; | ||
123 | } | ||
124 | case LogicresultPackage.UNDECIDABLE_RESULT: { | ||
125 | UndecidableResult undecidableResult = (UndecidableResult)theEObject; | ||
126 | T result = caseUndecidableResult(undecidableResult); | ||
127 | if (result == null) result = caseUnknownResult(undecidableResult); | ||
128 | if (result == null) result = caseLogicResult(undecidableResult); | ||
129 | if (result == null) result = defaultCase(theEObject); | ||
130 | return result; | ||
131 | } | ||
132 | case LogicresultPackage.INT_STATISTIC_ENTRY: { | ||
133 | IntStatisticEntry intStatisticEntry = (IntStatisticEntry)theEObject; | ||
134 | T result = caseIntStatisticEntry(intStatisticEntry); | ||
135 | if (result == null) result = caseStatisticEntry(intStatisticEntry); | ||
136 | if (result == null) result = defaultCase(theEObject); | ||
137 | return result; | ||
138 | } | ||
139 | case LogicresultPackage.REAL_STATISTIC_ENTRY: { | ||
140 | RealStatisticEntry realStatisticEntry = (RealStatisticEntry)theEObject; | ||
141 | T result = caseRealStatisticEntry(realStatisticEntry); | ||
142 | if (result == null) result = caseStatisticEntry(realStatisticEntry); | ||
143 | if (result == null) result = defaultCase(theEObject); | ||
144 | return result; | ||
145 | } | ||
146 | case LogicresultPackage.STRING_STATISTIC_ENTRY: { | ||
147 | StringStatisticEntry stringStatisticEntry = (StringStatisticEntry)theEObject; | ||
148 | T result = caseStringStatisticEntry(stringStatisticEntry); | ||
149 | if (result == null) result = caseStatisticEntry(stringStatisticEntry); | ||
150 | if (result == null) result = defaultCase(theEObject); | ||
151 | return result; | ||
152 | } | ||
153 | default: return defaultCase(theEObject); | ||
154 | } | ||
155 | } | ||
156 | |||
157 | /** | ||
158 | * Returns the result of interpreting the object as an instance of '<em>Logic Result</em>'. | ||
159 | * <!-- begin-user-doc --> | ||
160 | * This implementation returns null; | ||
161 | * returning a non-null result will terminate the switch. | ||
162 | * <!-- end-user-doc --> | ||
163 | * @param object the target of the switch. | ||
164 | * @return the result of interpreting the object as an instance of '<em>Logic Result</em>'. | ||
165 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
166 | * @generated | ||
167 | */ | ||
168 | public T caseLogicResult(LogicResult object) { | ||
169 | return null; | ||
170 | } | ||
171 | |||
172 | /** | ||
173 | * Returns the result of interpreting the object as an instance of '<em>Model Result</em>'. | ||
174 | * <!-- begin-user-doc --> | ||
175 | * This implementation returns null; | ||
176 | * returning a non-null result will terminate the switch. | ||
177 | * <!-- end-user-doc --> | ||
178 | * @param object the target of the switch. | ||
179 | * @return the result of interpreting the object as an instance of '<em>Model Result</em>'. | ||
180 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
181 | * @generated | ||
182 | */ | ||
183 | public T caseModelResult(ModelResult object) { | ||
184 | return null; | ||
185 | } | ||
186 | |||
187 | /** | ||
188 | * Returns the result of interpreting the object as an instance of '<em>Inconsistency Result</em>'. | ||
189 | * <!-- begin-user-doc --> | ||
190 | * This implementation returns null; | ||
191 | * returning a non-null result will terminate the switch. | ||
192 | * <!-- end-user-doc --> | ||
193 | * @param object the target of the switch. | ||
194 | * @return the result of interpreting the object as an instance of '<em>Inconsistency Result</em>'. | ||
195 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
196 | * @generated | ||
197 | */ | ||
198 | public T caseInconsistencyResult(InconsistencyResult object) { | ||
199 | return null; | ||
200 | } | ||
201 | |||
202 | /** | ||
203 | * Returns the result of interpreting the object as an instance of '<em>Unknown Result</em>'. | ||
204 | * <!-- begin-user-doc --> | ||
205 | * This implementation returns null; | ||
206 | * returning a non-null result will terminate the switch. | ||
207 | * <!-- end-user-doc --> | ||
208 | * @param object the target of the switch. | ||
209 | * @return the result of interpreting the object as an instance of '<em>Unknown Result</em>'. | ||
210 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
211 | * @generated | ||
212 | */ | ||
213 | public T caseUnknownResult(UnknownResult object) { | ||
214 | return null; | ||
215 | } | ||
216 | |||
217 | /** | ||
218 | * Returns the result of interpreting the object as an instance of '<em>Insuficient Resources Result</em>'. | ||
219 | * <!-- begin-user-doc --> | ||
220 | * This implementation returns null; | ||
221 | * returning a non-null result will terminate the switch. | ||
222 | * <!-- end-user-doc --> | ||
223 | * @param object the target of the switch. | ||
224 | * @return the result of interpreting the object as an instance of '<em>Insuficient Resources Result</em>'. | ||
225 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
226 | * @generated | ||
227 | */ | ||
228 | public T caseInsuficientResourcesResult(InsuficientResourcesResult object) { | ||
229 | return null; | ||
230 | } | ||
231 | |||
232 | /** | ||
233 | * Returns the result of interpreting the object as an instance of '<em>Error Result</em>'. | ||
234 | * <!-- begin-user-doc --> | ||
235 | * This implementation returns null; | ||
236 | * returning a non-null result will terminate the switch. | ||
237 | * <!-- end-user-doc --> | ||
238 | * @param object the target of the switch. | ||
239 | * @return the result of interpreting the object as an instance of '<em>Error Result</em>'. | ||
240 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
241 | * @generated | ||
242 | */ | ||
243 | public T caseErrorResult(ErrorResult object) { | ||
244 | return null; | ||
245 | } | ||
246 | |||
247 | /** | ||
248 | * Returns the result of interpreting the object as an instance of '<em>Statistics</em>'. | ||
249 | * <!-- begin-user-doc --> | ||
250 | * This implementation returns null; | ||
251 | * returning a non-null result will terminate the switch. | ||
252 | * <!-- end-user-doc --> | ||
253 | * @param object the target of the switch. | ||
254 | * @return the result of interpreting the object as an instance of '<em>Statistics</em>'. | ||
255 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
256 | * @generated | ||
257 | */ | ||
258 | public T caseStatistics(Statistics object) { | ||
259 | return null; | ||
260 | } | ||
261 | |||
262 | /** | ||
263 | * Returns the result of interpreting the object as an instance of '<em>Statistic Entry</em>'. | ||
264 | * <!-- begin-user-doc --> | ||
265 | * This implementation returns null; | ||
266 | * returning a non-null result will terminate the switch. | ||
267 | * <!-- end-user-doc --> | ||
268 | * @param object the target of the switch. | ||
269 | * @return the result of interpreting the object as an instance of '<em>Statistic Entry</em>'. | ||
270 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
271 | * @generated | ||
272 | */ | ||
273 | public T caseStatisticEntry(StatisticEntry object) { | ||
274 | return null; | ||
275 | } | ||
276 | |||
277 | /** | ||
278 | * Returns the result of interpreting the object as an instance of '<em>Undecidable Result</em>'. | ||
279 | * <!-- begin-user-doc --> | ||
280 | * This implementation returns null; | ||
281 | * returning a non-null result will terminate the switch. | ||
282 | * <!-- end-user-doc --> | ||
283 | * @param object the target of the switch. | ||
284 | * @return the result of interpreting the object as an instance of '<em>Undecidable Result</em>'. | ||
285 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
286 | * @generated | ||
287 | */ | ||
288 | public T caseUndecidableResult(UndecidableResult object) { | ||
289 | return null; | ||
290 | } | ||
291 | |||
292 | /** | ||
293 | * Returns the result of interpreting the object as an instance of '<em>Int Statistic Entry</em>'. | ||
294 | * <!-- begin-user-doc --> | ||
295 | * This implementation returns null; | ||
296 | * returning a non-null result will terminate the switch. | ||
297 | * <!-- end-user-doc --> | ||
298 | * @param object the target of the switch. | ||
299 | * @return the result of interpreting the object as an instance of '<em>Int Statistic Entry</em>'. | ||
300 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
301 | * @generated | ||
302 | */ | ||
303 | public T caseIntStatisticEntry(IntStatisticEntry object) { | ||
304 | return null; | ||
305 | } | ||
306 | |||
307 | /** | ||
308 | * Returns the result of interpreting the object as an instance of '<em>Real Statistic Entry</em>'. | ||
309 | * <!-- begin-user-doc --> | ||
310 | * This implementation returns null; | ||
311 | * returning a non-null result will terminate the switch. | ||
312 | * <!-- end-user-doc --> | ||
313 | * @param object the target of the switch. | ||
314 | * @return the result of interpreting the object as an instance of '<em>Real Statistic Entry</em>'. | ||
315 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
316 | * @generated | ||
317 | */ | ||
318 | public T caseRealStatisticEntry(RealStatisticEntry object) { | ||
319 | return null; | ||
320 | } | ||
321 | |||
322 | /** | ||
323 | * Returns the result of interpreting the object as an instance of '<em>String Statistic Entry</em>'. | ||
324 | * <!-- begin-user-doc --> | ||
325 | * This implementation returns null; | ||
326 | * returning a non-null result will terminate the switch. | ||
327 | * <!-- end-user-doc --> | ||
328 | * @param object the target of the switch. | ||
329 | * @return the result of interpreting the object as an instance of '<em>String Statistic Entry</em>'. | ||
330 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
331 | * @generated | ||
332 | */ | ||
333 | public T caseStringStatisticEntry(StringStatisticEntry object) { | ||
334 | return null; | ||
335 | } | ||
336 | |||
337 | /** | ||
338 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
339 | * <!-- begin-user-doc --> | ||
340 | * This implementation returns null; | ||
341 | * returning a non-null result will terminate the switch, but this is the last case anyway. | ||
342 | * <!-- end-user-doc --> | ||
343 | * @param object the target of the switch. | ||
344 | * @return the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
345 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) | ||
346 | * @generated | ||
347 | */ | ||
348 | @Override | ||
349 | public T defaultCase(EObject object) { | ||
350 | return null; | ||
351 | } | ||
352 | |||
353 | } //LogicresultSwitch | ||