public void test_CollectionItem_checkItemType() {
CollectionItem i = factory.createCollectionItem();
CollectionType ctype = factory.createCollectionType();
ctype.setElementType(fruit);
i.setType(ctype);
CollectionLiteralExp item = factory.createCollectionLiteralExp();
CollectionType itemType = factory.createCollectionType();
itemType.setElementType(apple);
item.setType(itemType);
i.setItem(item);
assertProblem(i, ExpressionsValidator.COLLECTION_ITEM__ITEM_TYPE);
item.setType(ctype);
assertOK(i, ExpressionsValidator.COLLECTION_ITEM__ITEM_TYPE);
}
public void test_CollectionLiteralExp_checkElementType() {
CollectionLiteralExp cl = factory.createCollectionLiteralExp();
cl.setKind(CollectionKind.SET_LITERAL);
CollectionType ctype = factory.createSetType();
ctype.setElementType(fruit);
cl.setType(ctype);
CollectionItem item1 = factory.createCollectionItem();
item1.setType(apple);
CollectionItem item2 = factory.createCollectionItem();
item2.setType(color);
cl.getPart().add(item1);
cl.getPart().add(item2);
assertProblem(cl, ExpressionsValidator.COLLECTION_LITERAL_EXP__ELEMENT_TYPE);
item2.setType(fruit);
assertOK(cl, ExpressionsValidator.COLLECTION_LITERAL_EXP__ELEMENT_TYPE);
}
