Anonymous | Login | Signup for a new account | 2024-03-28 16:45 UTC |
Main | My View | View Issues | Change Log | Roadmap |
View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
0000080 | Taste | [All Projects] Buildsupport | public | 2011-01-11 16:25 | 2021-05-21 09:33 | ||||
Reporter | maxime | ||||||||
Assigned To | maxime | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Platform | OS | OS Version | |||||||
Summary | 0000080: Add buildsupport semantic check : a function must have at least one PI | ||||||||
Description | If a block has no PI an error should be triggered. This makes no sense, except maybe for blackbox devices, where the execution of a function may be triggered by the reception of an interrupt (but this has not been tested yet and should be avoided for the time being). | ||||||||
Tags | No tags attached. | ||||||||
Attached Files | |||||||||
Notes | |
(0000245) maxime (administrator) 2011-01-12 15:34 |
Done in Cosmos revision. |
(0003220) maxime (administrator) 2018-02-05 13:47 |
Re-opening. In semantic_checks.c the following code excludes blackbox devices from the check:
But there is no further processing done for BB Devices, and the AADL model of the BB function ends up being incomplete - breaking the build. |
(0003768) maxime (administrator) 2021-05-21 09:33 |
Kazoo raises an excplicit error: [ERROR] Function |
Issue History | |||
Date Modified | Username | Field | Change |
2011-01-11 16:25 | maxime | New Issue | |
2011-01-11 16:25 | maxime | Status |
new => assigned |
2011-01-11 16:25 | maxime | Assigned To |
=> maxime |
2011-01-12 12:45 | maxime | Summary |
Buildsupport additional semantic check to add => Add buildsupport semantic check : a function must have at least one PI |
2011-01-12 15:34 | maxime | Note Added: 0000245 | |
2011-01-12 15:35 | maxime | Status |
assigned => resolved |
2011-01-12 15:35 | maxime | Resolution |
open => fixed |
2011-01-12 15:35 | maxime | Status |
resolved => closed |
2018-02-05 13:33 | maxime | Relationship added |
related to 0000748 |
2018-02-05 13:47 | maxime | Note Added: 0003220 | |
2018-02-05 13:47 | maxime | Status |
closed => assigned |
2021-05-21 09:33 | maxime | Note Added: 0003768 | |
2021-05-21 09:33 | maxime | Status |
assigned => closed |
Copyright © 2000 - 2011 MantisBT Group |