titus.genpy.error¶

titus.genpy.error(message, code, pos)[source]¶

Helper function for raising an exception as an expression.

Parameters:	message (string) – message for the titus.errors.PFAUserException code (integer or None) – code number pos (integer or None) – position in PFA document, determined by locator marks (if any)
Return type:	bottom type!
Returns:	never returns; always raises a titus.errors.PFAUserException