diff options
author | 2021-07-30 10:04:27 +0200 | |
---|---|---|
committer | 2021-07-30 10:04:27 +0200 | |
commit | aaa67b0ef8840d97b062a4f1383bf93410984af3 (patch) | |
tree | 2c07208bb6b5ab27b47bd477dfbcc6e77b50d623 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/FakeIntegerElement.java | |
parent | Config updated and createSharedVersionedMapStores service (diff) | |
download | VIATRA-Generator-aaa67b0ef8840d97b062a4f1383bf93410984af3.tar.gz VIATRA-Generator-aaa67b0ef8840d97b062a4f1383bf93410984af3.tar.zst VIATRA-Generator-aaa67b0ef8840d97b062a4f1383bf93410984af3.zip |
Numeric solver dreal hardcoding -> configV4transformation
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/FakeIntegerElement.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/FakeIntegerElement.java | 169 |
1 files changed, 0 insertions, 169 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/FakeIntegerElement.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/FakeIntegerElement.java deleted file mode 100644 index 7b8634c4..00000000 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/FakeIntegerElement.java +++ /dev/null | |||
@@ -1,169 +0,0 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.viatra2logic; | ||
2 | |||
3 | import java.lang.reflect.InvocationTargetException; | ||
4 | |||
5 | import org.eclipse.emf.common.notify.Adapter; | ||
6 | import org.eclipse.emf.common.notify.Notification; | ||
7 | import org.eclipse.emf.common.util.EList; | ||
8 | import org.eclipse.emf.common.util.TreeIterator; | ||
9 | import org.eclipse.emf.ecore.EClass; | ||
10 | import org.eclipse.emf.ecore.EObject; | ||
11 | import org.eclipse.emf.ecore.EOperation; | ||
12 | import org.eclipse.emf.ecore.EReference; | ||
13 | import org.eclipse.emf.ecore.EStructuralFeature; | ||
14 | import org.eclipse.emf.ecore.resource.Resource; | ||
15 | |||
16 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition; | ||
17 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement; | ||
18 | |||
19 | public class FakeIntegerElement implements PrimitiveElement{ | ||
20 | |||
21 | public FakeIntegerElement() { | ||
22 | |||
23 | } | ||
24 | |||
25 | @Override | ||
26 | public EList<TypeDefinition> getDefinedInType() { | ||
27 | // TODO Auto-generated method stub | ||
28 | return null; | ||
29 | } | ||
30 | |||
31 | @Override | ||
32 | public String getName() { | ||
33 | // TODO Auto-generated method stub | ||
34 | return null; | ||
35 | } | ||
36 | |||
37 | @Override | ||
38 | public void setName(String value) { | ||
39 | // TODO Auto-generated method stub | ||
40 | |||
41 | } | ||
42 | |||
43 | @Override | ||
44 | public EClass eClass() { | ||
45 | // TODO Auto-generated method stub | ||
46 | return null; | ||
47 | } | ||
48 | |||
49 | @Override | ||
50 | public Resource eResource() { | ||
51 | // TODO Auto-generated method stub | ||
52 | return null; | ||
53 | } | ||
54 | |||
55 | @Override | ||
56 | public EObject eContainer() { | ||
57 | // TODO Auto-generated method stub | ||
58 | return null; | ||
59 | } | ||
60 | |||
61 | @Override | ||
62 | public EStructuralFeature eContainingFeature() { | ||
63 | // TODO Auto-generated method stub | ||
64 | return null; | ||
65 | } | ||
66 | |||
67 | @Override | ||
68 | public EReference eContainmentFeature() { | ||
69 | // TODO Auto-generated method stub | ||
70 | return null; | ||
71 | } | ||
72 | |||
73 | @Override | ||
74 | public EList<EObject> eContents() { | ||
75 | // TODO Auto-generated method stub | ||
76 | return null; | ||
77 | } | ||
78 | |||
79 | @Override | ||
80 | public TreeIterator<EObject> eAllContents() { | ||
81 | // TODO Auto-generated method stub | ||
82 | return null; | ||
83 | } | ||
84 | |||
85 | @Override | ||
86 | public boolean eIsProxy() { | ||
87 | // TODO Auto-generated method stub | ||
88 | return false; | ||
89 | } | ||
90 | |||
91 | @Override | ||
92 | public EList<EObject> eCrossReferences() { | ||
93 | // TODO Auto-generated method stub | ||
94 | return null; | ||
95 | } | ||
96 | |||
97 | @Override | ||
98 | public Object eGet(EStructuralFeature feature) { | ||
99 | // TODO Auto-generated method stub | ||
100 | return null; | ||
101 | } | ||
102 | |||
103 | @Override | ||
104 | public Object eGet(EStructuralFeature feature, boolean resolve) { | ||
105 | // TODO Auto-generated method stub | ||
106 | return null; | ||
107 | } | ||
108 | |||
109 | @Override | ||
110 | public void eSet(EStructuralFeature feature, Object newValue) { | ||
111 | // TODO Auto-generated method stub | ||
112 | |||
113 | } | ||
114 | |||
115 | @Override | ||
116 | public boolean eIsSet(EStructuralFeature feature) { | ||
117 | // TODO Auto-generated method stub | ||
118 | return false; | ||
119 | } | ||
120 | |||
121 | @Override | ||
122 | public void eUnset(EStructuralFeature feature) { | ||
123 | // TODO Auto-generated method stub | ||
124 | |||
125 | } | ||
126 | |||
127 | @Override | ||
128 | public Object eInvoke(EOperation operation, EList<?> arguments) throws InvocationTargetException { | ||
129 | // TODO Auto-generated method stub | ||
130 | return null; | ||
131 | } | ||
132 | |||
133 | @Override | ||
134 | public EList<Adapter> eAdapters() { | ||
135 | // TODO Auto-generated method stub | ||
136 | return null; | ||
137 | } | ||
138 | |||
139 | @Override | ||
140 | public boolean eDeliver() { | ||
141 | // TODO Auto-generated method stub | ||
142 | return false; | ||
143 | } | ||
144 | |||
145 | @Override | ||
146 | public void eSetDeliver(boolean deliver) { | ||
147 | // TODO Auto-generated method stub | ||
148 | |||
149 | } | ||
150 | |||
151 | @Override | ||
152 | public void eNotify(Notification notification) { | ||
153 | // TODO Auto-generated method stub | ||
154 | |||
155 | } | ||
156 | |||
157 | @Override | ||
158 | public boolean isValueSet() { | ||
159 | // TODO Auto-generated method stub | ||
160 | return false; | ||
161 | } | ||
162 | |||
163 | @Override | ||
164 | public void setValueSet(boolean value) { | ||
165 | // TODO Auto-generated method stub | ||
166 | |||
167 | } | ||
168 | |||
169 | } | ||