arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-09 02:40:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

AppStepDefault test

Browse Source
This commit is contained in:
uogau 2021-02-08 12:58:49 +01:00
parent 067fc36866
commit 2906c8dce3
3 changed files with 68 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/test/java/edu/kit/typicalc/model/step/AbsStepDefaultTest.java
View File

@ -42,7 +42,7 @@ class AbsStepDefaultTest {
assertEquals(step1, step1);
assertEquals(step1, step2);
assertNotEquals(null, step1);
assertNotEquals(step1, premise);
assertNotEquals(step1, step3);
}

2
src/test/java/edu/kit/typicalc/model/step/AbsStepWithLetTest.java
View File

@ -42,7 +42,7 @@ class AbsStepWithLetTest {
assertEquals(step1, step1);
assertEquals(step1, step2);
assertNotEquals(null, step1);
assertNotEquals(step1, premise);
assertNotEquals(step1, step3);
}

66
src/test/java/edu/kit/typicalc/model/step/AppStepDefaultTest.java Normal file
View File

@ -0,0 +1,66 @@
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 AppStepDefaultTest {
static InferenceStep premise1 = null;
static InferenceStep premise2 = null;
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);
premise1 = new ConstStepDefault(conclusion, constraint);
premise2 = new ConstStepDefault(conclusion, constraint);
}
@Test
void equalsTest() {
AppStepDefault step1 = new AppStepDefault(premise1, premise2, conclusion, constraint);
AppStepDefault step2 = new AppStepDefault(premise1, premise2, conclusion, constraint);
AppStepDefault step3 = new AppStepDefault(premise1, premise2, conclusion, null);
assertEquals(step1, step1);
assertEquals(step1, step2);
assertNotEquals(step1, premise1);
assertNotEquals(step1, step3);
}
@Test
void hashCodeTest() {
AppStepDefault step1 = new AppStepDefault(premise1, premise2, conclusion, constraint);
AppStepDefault step2 = new AppStepDefault(premise1, premise2, conclusion, constraint);
assertEquals(step1.hashCode(), step2.hashCode());
}
@Test
void acceptTest() {
TestStepVisitor testStepVisitor = new TestStepVisitor();
AppStepDefault step = new AppStepDefault(premise1, premise2, conclusion, constraint);
step.accept(testStepVisitor);
assertEquals("AppDef", testStepVisitor.visited);
}
}