OCL: dealing with exceptions



Date view Thread view Subject view Author view Attachment view

From: Brian Smith (brian-l-smith@uiowa.edu)
Date: Wed 22 May 2002 - 18:13:44 BST


How can I use OCL to specify the conditions under which a particilar 
exception is thrown by an operation? I have looked at the OCL 
specification and there seems to be no way to do it.

I am looking for a way to specify exceptions that will type-check.

Any references to information about this topic are greatly appreciated.

Thanks,
Brian

Date view Thread view Subject view Author view Attachment view