public void addOperationSpecification(OclOperationConstraint operationSpec)
{
specifications.Add(operationSpec);
}
/**
* @param operationSpec
*/
public void addOperationSpecification(OclOperationConstraint operationSpec)
{
getJmiOperation().addOperationSpecification(operationSpec);
}