7.8 Exceptions

OZ_raise

OZ_Return OZ_raise(OZ_Term t)

Raises exception t.

OZ_raiseC

OZ_Return OZ_raiseC(char *label,int arity,...)

Raises an exception. The exception is created from the argument list just the way it is done by OZ_mkTupleC.

OZ_typeError

OZ_Return OZ_typeError(int poschar *type)

Raises an exception indicating that the argument at position pos is of incorrect type. type should be a string describing the expected type.


Michael Mehl, Tobias Müller, Christian Schulte and Ralf Scheidhauer
Version 1.4.0 (20080702)