public void testUndoDeleteSlot() {
String templateSlotValue = "restricted";
String slotValue = "something";
Cls cls = createCls();
Slot slot = createSlot();
cls.addDirectTemplateSlot(slot);
_frameStore.setDirectTemplateSlotValues(cls, slot, Collections.singleton(templateSlotValue));
SimpleInstance i = createSimpleInstance(cls);
i.setDirectOwnSlotValue(slot, slotValue);
assertTrue(_frameStore.getTemplateSlotValues(cls, slot).size() == 1);
assertTrue(_frameStore.getTemplateSlotValues(cls, slot).contains(templateSlotValue));
assertTrue(i.getDirectOwnSlotValues(slot).size() == 1);
assertTrue(i.getDirectOwnSlotValue(slot).equals(slotValue));
_frameStore.deleteSlot(slot);
_frameStore.undo();
assertTrue(_frameStore.getTemplateSlotValues(cls, slot).size() == 1);
assertTrue(_frameStore.getTemplateSlotValues(cls, slot).contains(templateSlotValue));
assertTrue(i.getDirectOwnSlotValues(slot).size() == 1);
assertTrue(i.getDirectOwnSlotValue(slot).equals(slotValue));
}
