From d2e4318d1ed4c88e65f96bbf591638d1de3293fa Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Mon, 16 Aug 2021 02:17:38 +0200 Subject: :lipstick: --- .../viatra/solver/data/model/tests/ModelTest.java | 114 ++++++++++----------- 1 file changed, 56 insertions(+), 58 deletions(-) (limited to 'model-data/src/test/java/org/eclipse/viatra') diff --git a/model-data/src/test/java/org/eclipse/viatra/solver/data/model/tests/ModelTest.java b/model-data/src/test/java/org/eclipse/viatra/solver/data/model/tests/ModelTest.java index dacea35d..c9bf3da9 100644 --- a/model-data/src/test/java/org/eclipse/viatra/solver/data/model/tests/ModelTest.java +++ b/model-data/src/test/java/org/eclipse/viatra/solver/data/model/tests/ModelTest.java @@ -15,135 +15,133 @@ import org.junit.jupiter.api.Assertions; import org.junit.jupiter.api.Test; class ModelTest { - + @Test void modelConstructionTest() { Relation person = new Relation<>("Person", 1, false); Relation friend = new Relation<>("friend", 2, false); - - ModelStore store = new ModelStoreImpl(Set.of(person,friend)); + + ModelStore store = new ModelStoreImpl(Set.of(person, friend)); Model model = store.createModel(); - + assertTrue(store.getDataRepresentations().contains(person)); assertTrue(store.getDataRepresentations().contains(friend)); assertTrue(model.getDataRepresentations().contains(person)); assertTrue(model.getDataRepresentations().contains(friend)); - + Relation other = new Relation("other", 2, null); assertFalse(model.getDataRepresentations().contains(other)); } - + @Test void modelBuildingTest() { Relation person = new Relation<>("Person", 1, false); Relation age = new Relation("age", 1, null); Relation friend = new Relation<>("friend", 2, false); - - ModelStore store = new ModelStoreImpl(Set.of(person,age,friend)); + + ModelStore store = new ModelStoreImpl(Set.of(person, age, friend)); Model model = store.createModel(); - + model.put(person, Tuple.of(0), true); model.put(person, Tuple.of(1), true); model.put(age, Tuple.of(0), 3); model.put(age, Tuple.of(1), 1); - model.put(friend, Tuple.of(0,1), true); - model.put(friend, Tuple.of(1,0), true); - + model.put(friend, Tuple.of(0, 1), true); + model.put(friend, Tuple.of(1, 0), true); + assertTrue(model.get(person, Tuple.of(0))); assertTrue(model.get(person, Tuple.of(1))); assertFalse(model.get(person, Tuple.of(2))); - + assertEquals(3, model.get(age, Tuple.of(0))); assertEquals(1, model.get(age, Tuple.of(1))); assertEquals(null, model.get(age, Tuple.of(2))); - - assertTrue(model.get(friend, Tuple.of(0,1))); - assertFalse(model.get(friend, Tuple.of(0,5))); + + assertTrue(model.get(friend, Tuple.of(0, 1))); + assertFalse(model.get(friend, Tuple.of(0, 5))); } - + @Test void modelBuildingArityFailTest() { Relation person = new Relation<>("Person", 1, false); ModelStore store = new ModelStoreImpl(Set.of(person)); Model model = store.createModel(); - - final Tuple tuple3 = Tuple.of(1,1,1); - Assertions.assertThrows(IllegalArgumentException.class, ()-> model.put(person, tuple3, true)); - Assertions.assertThrows(IllegalArgumentException.class, ()-> model.get(person, tuple3)); + + final Tuple tuple3 = Tuple.of(1, 1, 1); + Assertions.assertThrows(IllegalArgumentException.class, () -> model.put(person, tuple3, true)); + Assertions.assertThrows(IllegalArgumentException.class, () -> model.get(person, tuple3)); } - + @Test void modelBuildingNullFailTest() { Relation age = new Relation("age", 1, null); ModelStore store = new ModelStoreImpl(Set.of(age)); Model model = store.createModel(); - - //final Tuple tuple3 = Tuple.of(1,1,1); - + model.put(age, Tuple.of(1), null); // valid - Assertions.assertThrows(IllegalArgumentException.class, ()-> model.put(age, null, 1)); - Assertions.assertThrows(IllegalArgumentException.class, ()-> model.get(age, null)); - + Assertions.assertThrows(IllegalArgumentException.class, () -> model.put(age, null, 1)); + Assertions.assertThrows(IllegalArgumentException.class, () -> model.get(age, null)); + } - + @Test void modelUpdateTest() { Relation person = new Relation<>("Person", 1, false); Relation age = new Relation("age", 1, null); Relation friend = new Relation<>("friend", 2, false); - - ModelStore store = new ModelStoreImpl(Set.of(person,age,friend)); + + ModelStore store = new ModelStoreImpl(Set.of(person, age, friend)); Model model = store.createModel(); - + model.put(person, Tuple.of(0), true); model.put(person, Tuple.of(1), true); model.put(age, Tuple.of(0), 3); model.put(age, Tuple.of(1), 1); - model.put(friend, Tuple.of(0,1), true); - model.put(friend, Tuple.of(1,0), true); - + model.put(friend, Tuple.of(0, 1), true); + model.put(friend, Tuple.of(1, 0), true); + assertEquals(3, model.get(age, Tuple.of(0))); - assertTrue(model.get(friend, Tuple.of(0,1))); - + assertTrue(model.get(friend, Tuple.of(0, 1))); + model.put(age, Tuple.of(0), 4); - model.put(friend, Tuple.of(0,1), false); - + model.put(friend, Tuple.of(0, 1), false); + assertEquals(4, model.get(age, Tuple.of(0))); - assertFalse(model.get(friend, Tuple.of(0,1))); + assertFalse(model.get(friend, Tuple.of(0, 1))); } - + @Test void restoreTest() { Relation person = new Relation("Person", 1, false); Relation friend = new Relation("friend", 2, false); - - ModelStore store = new ModelStoreImpl(Set.of(person,friend)); + + ModelStore store = new ModelStoreImpl(Set.of(person, friend)); Model model = store.createModel(); - + model.put(person, Tuple.of(0), true); model.put(person, Tuple.of(1), true); - model.put(friend, Tuple.of(0,1), true); - model.put(friend, Tuple.of(1,0), true); + model.put(friend, Tuple.of(0, 1), true); + model.put(friend, Tuple.of(1, 0), true); long state1 = model.commit(); - + assertFalse(model.get(person, Tuple.of(2))); - assertFalse(model.get(friend, Tuple.of(0,2))); - + assertFalse(model.get(friend, Tuple.of(0, 2))); + model.put(person, Tuple.of(2), true); - model.put(friend, Tuple.of(0,2), true); + model.put(friend, Tuple.of(0, 2), true); long state2 = model.commit(); - + assertTrue(model.get(person, Tuple.of(2))); - assertTrue(model.get(friend, Tuple.of(0,2))); - + assertTrue(model.get(friend, Tuple.of(0, 2))); + model.restore(state1); - + assertFalse(model.get(person, Tuple.of(2))); - assertFalse(model.get(friend, Tuple.of(0,2))); - + assertFalse(model.get(friend, Tuple.of(0, 2))); + model.restore(state2); - + assertTrue(model.get(person, Tuple.of(2))); - assertTrue(model.get(friend, Tuple.of(0,2))); + assertTrue(model.get(friend, Tuple.of(0, 2))); } } -- cgit v1.2.3-70-g09d2