Commit e9ed1fb4 authored by bouazizrahma's avatar bouazizrahma Committed by Jerome Hugues
Browse files

add analysis of transitions conditions

parent 36d972c7
......@@ -879,6 +879,17 @@ package body Ocarina.Analyzer.AADL_BA is
DE ("Subprogram components must not contain" &
" a dispatch condition in any of its transitions");
Success := False;
elsif Kind (Cond_Node) = K_Execute_Condition then
if Present (BATN.Value_Expression (Cond_Node)) then
Success := Success and then
(Node => Value_Expression (Cond_Node),
Root => Root,
BA_Root => BA_Root,
Parent_Component => Parent_Component,
Is_Parameter_Expr => False,
Is_Out_Parameter => False);
end if;
end if;
end if;
end if;
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment