Code: Select all
domains
errorResponder = (applicationWindow Source, exception::traceId TraceId).
predicates
onPushButtonClick : button::clickResponder.
getTraceInfo : (traceId TraceId) -> traceInfo TraceInfo.
clauses
onPushButtonClick(_Source) = button::defaultAction:-
try
[Body]
catch TraceId do
sendExceptionToClient(exception::getTraceInfo())
end try.
Any help please?