aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/ErrorResult.java49
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/InconsistencyResult.java17
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/InsuficientResourcesResult.java49
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/IntStatisticEntry.java49
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicResult.java124
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultFactory.java114
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/LogicresultPackage.java1353
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/ModelResult.java76
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/RealStatisticEntry.java49
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/StatisticEntry.java50
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/Statistics.java126
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/StringStatisticEntry.java50
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/UndecidableResult.java17
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/UnknownResult.java17
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ErrorResultImpl.java162
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InconsistencyResultImpl.java37
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/InsuficientResourcesResultImpl.java162
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/IntStatisticEntryImpl.java162
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicResultImpl.java346
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultFactoryImpl.java183
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/LogicresultPackageImpl.java602
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java216
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/RealStatisticEntryImpl.java162
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticEntryImpl.java163
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StatisticsImpl.java330
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/StringStatisticEntryImpl.java162
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UndecidableResultImpl.java37
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/UnknownResultImpl.java37
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/util/LogicresultAdapterFactory.java318
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/util/LogicresultSwitch.java353
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 */
3package 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 */
22public 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 */
3package 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 */
16public 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 */
3package 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 */
22public 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 */
3package 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 */
22public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
6
7import org.eclipse.emf.common.util.EList;
8import 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 */
29public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult;
4
5import org.eclipse.emf.ecore.EFactory;
6
7/**
8 * <!-- begin-user-doc -->
9 * The <b>Factory</b> for the model.
10 * It provides a create method for each non-abstract class of the model.
11 * <!-- end-user-doc -->
12 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage
13 * @generated
14 */
15public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult;
4
5import org.eclipse.emf.ecore.EAttribute;
6import org.eclipse.emf.ecore.EClass;
7import org.eclipse.emf.ecore.EPackage;
8import 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 */
26public 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 */
3package 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 */
23public 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 */
3package 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 */
22public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult;
4
5import 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 */
23public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult;
4
5import org.eclipse.emf.common.util.EList;
6
7import 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 */
28public 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 */
3package 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 */
22public 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 */
3package 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 */
16public 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 */
3package 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 */
16public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import 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 */
27public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
7
8import 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 */
17public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import 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 */
27public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import 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 */
27public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult;
8import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
9import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics;
10
11import java.util.Collection;
12import org.eclipse.emf.common.notify.Notification;
13import org.eclipse.emf.common.notify.NotificationChain;
14
15import org.eclipse.emf.common.util.EList;
16import org.eclipse.emf.ecore.EClass;
17import org.eclipse.emf.ecore.InternalEObject;
18
19import org.eclipse.emf.ecore.impl.ENotificationImpl;
20import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
21import 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 */
39public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.*;
6
7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EObject;
9import org.eclipse.emf.ecore.EPackage;
10
11import org.eclipse.emf.ecore.impl.EFactoryImpl;
12
13import org.eclipse.emf.ecore.plugin.EcorePlugin;
14
15/**
16 * <!-- begin-user-doc -->
17 * An implementation of the model <b>Factory</b>.
18 * <!-- end-user-doc -->
19 * @generated
20 */
21public class 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl;
8
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
10
11import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.LogicproblemPackageImpl;
12
13import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ErrorResult;
14import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult;
15import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InsuficientResourcesResult;
16import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.IntStatisticEntry;
17import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult;
18import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultFactory;
19import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
20import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult;
21import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry;
22import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry;
23import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics;
24import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry;
25import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult;
26import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult;
27
28import org.eclipse.emf.ecore.EAttribute;
29import org.eclipse.emf.ecore.EClass;
30import org.eclipse.emf.ecore.EPackage;
31import org.eclipse.emf.ecore.EReference;
32
33import 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 */
41public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import 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 */
28public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.RealStatisticEntry;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import 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 */
27public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13import 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 */
28public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StatisticEntry;
7import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.Statistics;
8
9import java.util.Collection;
10
11import org.eclipse.emf.common.notify.Notification;
12import org.eclipse.emf.common.notify.NotificationChain;
13
14import org.eclipse.emf.common.util.EList;
15
16import org.eclipse.emf.ecore.EClass;
17import org.eclipse.emf.ecore.InternalEObject;
18
19import org.eclipse.emf.ecore.impl.ENotificationImpl;
20import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
21
22import org.eclipse.emf.ecore.util.EObjectContainmentEList;
23import 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 */
41public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.StringStatisticEntry;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import 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 */
27public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UndecidableResult;
7
8import 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 */
17public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult;
7
8import 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 */
17public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.util;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.*;
6
7import org.eclipse.emf.common.notify.Adapter;
8import org.eclipse.emf.common.notify.Notifier;
9
10import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
11
12import org.eclipse.emf.ecore.EObject;
13
14/**
15 * <!-- begin-user-doc -->
16 * The <b>Adapter Factory</b> for the model.
17 * It provides an adapter <code>createXXX</code> method for each class of the model.
18 * <!-- end-user-doc -->
19 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage
20 * @generated
21 */
22public 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 */
3package hu.bme.mit.inf.dslreasoner.logic.model.logicresult.util;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.*;
6
7import org.eclipse.emf.ecore.EObject;
8import org.eclipse.emf.ecore.EPackage;
9
10import org.eclipse.emf.ecore.util.Switch;
11
12/**
13 * <!-- begin-user-doc -->
14 * The <b>Switch</b> for the model's inheritance hierarchy.
15 * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
16 * to invoke the <code>caseXXX</code> method for each class of the model,
17 * starting with the actual class of the object
18 * and proceeding up the inheritance hierarchy
19 * until a non-null result is returned,
20 * which is the result of the switch.
21 * <!-- end-user-doc -->
22 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultPackage
23 * @generated
24 */
25public 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 18:54:49 +0000