Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000933Taste[All Projects] Tasteguipublic2020-09-04 08:402020-09-23 15:07
Reportermaxime 
Assigned Toellidiss 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Summary0000933:

Raise an error with context parameters have no default value

Description

Otherwise it causes a build error

One exception: Timer type, in that case the tool should not require/display a default value, an put 0 by itself in the AADL model

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0003739)
ellidiss (developer)
2020-09-23 14:49

the correct default value depends on the datatype chosen i think. The pb is to get the correct default value which can be quite difficult : our dataview parser is far too simplistic to be able to get this value trough a hierarchy of type :
* if we have this kind of definition :
MyInteger ::= INTEGER (0..255)

We can do something, have a map somewhere for all base type and try to take the range into account

  • for this, it can be tricky (impossible?) with our current parser :
    MySeq ::= SEQUENCE {
    a MyInteger,
    b ENUMERATED { taste(1), welcomes(2), you(3) }
    }

MyChoice ::= CHOICE {
a BOOLEAN,
b MySeq
}

(0003740)
maxime (administrator)
2020-09-23 15:07

Agreed, that's why I suggest to raise an error only if the field is empty.

If the type is "Timer", however instead of raising an error, set automatically the value "0" as this parameter is not needed/not used.


- Issue History
Date Modified Username Field Change
2020-09-04 08:40 maxime New Issue
2020-09-04 08:40 maxime Status

new => assigned

2020-09-04 08:40 maxime Assigned To

=> ellidiss

2020-09-23 14:49 ellidiss Note Added: 0003739
2020-09-23 15:07 maxime Note Added: 0003740


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker