Project

General

Profile

Design #1464

What is the difference between InterruptReceived and InterruptedBySignal

Added by John Abbott almost 4 years ago. Updated about 2 months ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Tidying
Target version:
CoCoALib-0.99880
Start date:
19 Jun 2020
Due date:
% Done:

0%

Estimated time:

Description

It seems to be superfluous to have both InterruptReceived and InterruptedBySignal.
Review the design/impl; and correct if necessary (or document).

History

#1 Updated by John Abbott about 3 years ago

  • Target version changed from CoCoALib-0.99800 to CoCoALib-0.99850

#2 Updated by John Abbott about 2 months ago

  • Target version changed from CoCoALib-0.99850 to CoCoALib-0.99880

Also available in: Atom PDF