OCL21 — arguments

13. – [4] The arguments of an ocl message expression evaluation must correspond to
– the formal input parameters of the operation, or the attributes of the signal
– indicated in the ocl message expression.
context OclMessageExpEval
inv: model.calledOperation->size() = 1 implies
Sequence

>forAll( i | arguments>at.variable->size() = 1 implies
model.calledOperation.operation.parameter->
select( kind = ParameterDirectionKind::In )->at.name =
arguments->at.variable
and
arguments->at.expression->size() = 1 implies
model.calledOperation.operation.parameter->
select( kind = ParameterDirectionKind::In )at.type =
arguments->at.expression.model
==> missing ’->’ before ’at’, and missing final closing bracket

yes