public void test_OperationCallExp_checkArgumentsConform() {
OperationCallExp o = factory.createOperationCallExp();
EClass fruitUtil = (EClass) fruitPackage.getEClassifier("FruitUtil");
EOperation oper = fruitUtil.getEOperations().get(0);
o.setReferredOperation(oper);
OCLExpression arg = factory.createUnspecifiedValueExp();
o.getArgument().add(arg);
CollectionType ctype = factory.createOrderedSetType();
ctype.setElementType(color);
arg.setType(ctype);
OCLExpression source = factory.createUnspecifiedValueExp();
source.setType(fruitUtil);
o.setSource(source);
assertProblem(o, ExpressionsValidator.OPERATION_CALL_EXP__ARGUMENTS_CONFORM);
ctype.setElementType(fruit);
assertOK(o, ExpressionsValidator.OPERATION_CALL_EXP__ARGUMENTS_CONFORM);
}
