![]() ![]() |
||||
|
||||
What is interesting about this example is that dealing with modes is complex. Our example was
part of the white paper when we developed the mode concept for AADL a couple of years
ago. Our semantic checker finds a problem with one connection. A data port has two
incoming connections under the same mode. It turns out the statement in error should be
corrected to say s3.input_1. We found this only after we added the modal checking for limiting
incoming connections to data ports to one.
|
||||
Compile the aadl file. The error is shown in the “Problems” view. Double click and the editor
will move to the line. Correct input_2 to input_1 and save the file. Saving the file will recompile. |
||||