Added FakeIntegerElement

author: anqili426 <mollisterkl@outlook.com> 2020-04-26 20:48:34 -0400
committer: anqili426 <mollisterkl@outlook.com> 2020-04-26 20:48:34 -0400
commit: 26014cfb9be8e18a1e0c3303000ecc352c9d4951 (patch)
tree: 5d24156483efb2ed8d6df4b59f8eca0e6ac859f6
parent: Added new test (diff)
download: VIATRA-Generator-26014cfb9be8e18a1e0c3303000ecc352c9d4951.tar.gz
VIATRA-Generator-26014cfb9be8e18a1e0c3303000ecc352c9d4951.tar.zst
VIATRA-Generator-26014cfb9be8e18a1e0c3303000ecc352c9d4951.zip
1 files changed, 169 insertions, 0 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
new file mode 100644
index 00000000..7b8634c4
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/FakeIntegerElement.java
@@ -0,0 +1,169 @@
+package hu.bme.mit.inf.dslreasoner.viatra2logic;
+import java.lang.reflect.InvocationTargetException;
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.common.util.TreeIterator;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EOperation;
+import org.eclipse.emf.ecore.EReference;
+import org.eclipse.emf.ecore.EStructuralFeature;
+import org.eclipse.emf.ecore.resource.Resource;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement;
+public class FakeIntegerElement implements PrimitiveElement{
+        
+        public FakeIntegerElement() {
+                
+        }
+        @Override
+        public EList<TypeDefinition> getDefinedInType() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public String getName() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public void setName(String value) {
+                // TODO Auto-generated method stub
+                
+        }
+        @Override
+        public EClass eClass() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public Resource eResource() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public EObject eContainer() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public EStructuralFeature eContainingFeature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public EReference eContainmentFeature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public EList<EObject> eContents() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public TreeIterator<EObject> eAllContents() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public boolean eIsProxy() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+        @Override
+        public EList<EObject> eCrossReferences() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public Object eGet(EStructuralFeature feature) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public Object eGet(EStructuralFeature feature, boolean resolve) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public void eSet(EStructuralFeature feature, Object newValue) {
+                // TODO Auto-generated method stub
+                
+        }
+        @Override
+        public boolean eIsSet(EStructuralFeature feature) {
+                // TODO Auto-generated method stub
+                return false;
+        }
+        @Override
+        public void eUnset(EStructuralFeature feature) {
+                // TODO Auto-generated method stub
+                
+        }
+        @Override
+        public Object eInvoke(EOperation operation, EList<?> arguments) throws InvocationTargetException {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public EList<Adapter> eAdapters() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+        @Override
+        public boolean eDeliver() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+        @Override
+        public void eSetDeliver(boolean deliver) {
+                // TODO Auto-generated method stub
+                
+        }
+        @Override
+        public void eNotify(Notification notification) {
+                // TODO Auto-generated method stub
+                
+        }
+        @Override
+        public boolean isValueSet() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+        @Override
+        public void setValueSet(boolean value) {
+                // TODO Auto-generated method stub
+                
+        }
+}
author	anqili426 <mollisterkl@outlook.com>	2020-04-26 20:48:34 -0400
committer	anqili426 <mollisterkl@outlook.com>	2020-04-26 20:48:34 -0400
commit	26014cfb9be8e18a1e0c3303000ecc352c9d4951 (patch)
tree	5d24156483efb2ed8d6df4b59f8eca0e6ac859f6
parent	Added new test (diff)
download	VIATRA-Generator-26014cfb9be8e18a1e0c3303000ecc352c9d4951.tar.gz VIATRA-Generator-26014cfb9be8e18a1e0c3303000ecc352c9d4951.tar.zst VIATRA-Generator-26014cfb9be8e18a1e0c3303000ecc352c9d4951.zip

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 new file mode 100644 index 00000000..7b8634c4 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/FakeIntegerElement.java
@@ -0,0 +1,169 @@
	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	}