Commit ae2fdb0b authored by Maxime Perrotin's avatar Maxime Perrotin

Fix typos

parent 9005b24e
......@@ -15,7 +15,7 @@ package ASN1_Iterators.Generic_Basic is
Is_Valid : Boolean := True;
end record
with Default_Iterator => Iterate,
Iterator_Element => P.Sort,
Iterator_Element => Sort,
Constant_Indexing => Element;
procedure Initialize (Container : in out ASN1_Container);
......
......@@ -64,7 +64,7 @@ def exhaust_procedure (interface: str, sort: str, model: str, param: bool) -> st
if param:
return f'''procedure Exhaust_{interface} is
{interface}_It : {sort}_pkg.Instance;
Event : Event_Ty ({interface}_PI);
Event : Event_ty ({interface}_PI);
S_Hash : Hash_Type;
begin
for Each of {interface}_it loop
......@@ -79,7 +79,7 @@ begin
end Exhaust_{interface};'''
else:
return f'''procedure Exhaust_{interface} is
Event : Event_Ty ({interface}_PI);
Event : Event_ty ({interface}_PI);
S_Hash : Hash_Type;
begin
{model}.{interface};
......@@ -125,7 +125,7 @@ procedure Model_Checker is
-- Type representing an event (input or output)
type Interfaces is (Start, {", ".join(interfaces)});
type Event_ty (Option: Interfaces := Start) is
type Event_ty (Option : Interfaces := Start) is
record
case Option is
when Start =>
......@@ -135,6 +135,7 @@ procedure Model_Checker is
end record;
-- Display scenario (in the future: generate MSC)
procedure Print_Event (Event: Event_ty);
procedure Print_Event (Event: Event_ty) is
begin
case Event.Option is
......@@ -142,9 +143,10 @@ procedure Model_Checker is
Put_Line ("START");
{indent(9, print_events)}
end case;
end;
end Print_Event;
-- Check all properties in one go, and if one fails, set errno
function Check_Properties (Errno : out Natural) return Boolean;
function Check_Properties (Errno : out Natural) return Boolean is
Res : Boolean := False;
begin
......@@ -155,7 +157,7 @@ procedure Model_Checker is
package ES is new Exhaustive_Simulation
(Context_ty => {model}_Ctxt_Ty,
Process_Ctxt => Process_Ctxt'access,
Event_Ty => Event_ty,
Event_ty => Event_ty,
Print_Event => Print_Event,
Check_Properties => Check_Properties);
use ES;
......
Markdown is supported
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