From 43ee786bf97e4c4ace4b9aacd3fa791f00538b6b Mon Sep 17 00:00:00 2001
From: uogau <uogau@student.kit.edu>
Date: Mon, 8 Feb 2021 13:03:21 +0100
Subject: [PATCH] ConstStepDefault test

---
 .../model/step/ConstStepDefaultTest.java      | 63 +++++++++++++++++++
 1 file changed, 63 insertions(+)
 create mode 100644 src/test/java/edu/kit/typicalc/model/step/ConstStepDefaultTest.java

diff --git a/src/test/java/edu/kit/typicalc/model/step/ConstStepDefaultTest.java b/src/test/java/edu/kit/typicalc/model/step/ConstStepDefaultTest.java
new file mode 100644
index 0000000..1d4d038
--- /dev/null
+++ b/src/test/java/edu/kit/typicalc/model/step/ConstStepDefaultTest.java
@@ -0,0 +1,63 @@
+package edu.kit.typicalc.model.step;
+
+import edu.kit.typicalc.model.Conclusion;
+import edu.kit.typicalc.model.Constraint;
+import edu.kit.typicalc.model.term.IntegerTerm;
+import edu.kit.typicalc.model.term.VarTerm;
+import edu.kit.typicalc.model.type.NamedType;
+import edu.kit.typicalc.model.type.TypeAbstraction;
+import org.junit.jupiter.api.BeforeAll;
+import org.junit.jupiter.api.Test;
+
+import java.util.HashMap;
+import java.util.Map;
+
+import static org.junit.jupiter.api.Assertions.*;
+
+class ConstStepDefaultTest {
+    static Conclusion conclusion = null;
+    static Constraint constraint = null;
+    static NamedType namedType = null;
+    static TypeAbstraction typeAbstraction = null;
+    @BeforeAll
+    static void setUp() {
+        Map<VarTerm, TypeAbstraction> map = new HashMap<>();
+        VarTerm term = new VarTerm("test");
+        namedType = new NamedType("testType");
+        typeAbstraction = new TypeAbstraction(namedType);
+        map.put(term, typeAbstraction);
+        IntegerTerm integerTerm = new IntegerTerm(1);
+        conclusion = new Conclusion(map, integerTerm, namedType);
+        NamedType type1 = new NamedType("a");
+        NamedType type2 = new NamedType("b");
+        constraint = new Constraint(type1, type2);
+    }
+    @Test
+    void equalsTest() {
+        ConstStepDefault step1 = new ConstStepDefault(conclusion, constraint);
+        ConstStepDefault step2 = new ConstStepDefault(conclusion, constraint);
+        ConstStepDefault step3 = new ConstStepDefault(conclusion, null);
+
+        assertEquals(step1, step1);
+        assertEquals(step1, step2);
+        assertNotEquals(step1, new EmptyStep());
+        assertNotEquals(step1, step3);
+
+    }
+    @Test
+    void hashCodeTest() {
+        ConstStepDefault step1 = new ConstStepDefault(conclusion, constraint);
+        ConstStepDefault step2 = new ConstStepDefault(conclusion, constraint);
+
+        assertEquals(step1.hashCode(), step2.hashCode());
+    }
+
+    @Test
+    void acceptTest() {
+        TestStepVisitor testStepVisitor = new TestStepVisitor();
+        ConstStepDefault step = new ConstStepDefault(conclusion, constraint);
+        step.accept(testStepVisitor);
+        assertEquals("ConstDef", testStepVisitor.visited);
+    }
+
+}
\ No newline at end of file