no verification of functions arguments in the athena code

[patinusb]

when coding athena text, name of function is verified but its argument is not. You can write:

import "athena-generated-files/DatatypeDecl.adl" import "athena-generated-files/FunctionDecl.adl"

processing processingContainer( ) begin execute initTrackingEPFL() end

with function defined in FunctionDecl.adl as

//initTrackingEPFL
function initTrackingEPFL < CPP > (
                        in Float64 time             
                        in LocalPos oldLocalPos             
                        in LocalPos localPos            
                        in GuidanceInput localGuidanceInput             
                        in UInt32 s1SensorId            
                        in Image s1ImageSensor          
                        in SensorImageParam s1ImageParam            
                        in LocalCameraPose cameraPose           
                        inout NavAidData nData          
                        inout Int32 detectionMode           
                        inout Int32 trackingMode            
                        in RunwayHelipadImagePos detectedRHPose )           

Thus allowing to verify arguments number and types.

[nbrodnan]

Exactly. It be problematic, because you should to know the external API. In the same vein, Needed to check the argument name with the name port.