Project

General

Profile

Design #1464

« Previous | Next »

What is the difference between InterruptReceived and InterruptedBySignal

Added by John Abbott about 4 years ago. Updated 4 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 4 months ago

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

Also available in: Atom PDF