diff --git a/tp4-obj3-meens/extern.c b/tp4-obj3-meens/extern.c index b02120b..434d6e6 100644 --- a/tp4-obj3-meens/extern.c +++ b/tp4-obj3-meens/extern.c @@ -28,8 +28,3 @@ void Extern__print_scheduler_state_step(Scheduler_data__scheduler_state s, Exter printf("\n"); } - -void Extern__print_mes_couilles_step(int tid, Scheduler_data__task_status ts, Scheduler_data__task_attributes ta, Scheduler_data__select_acc acc, Extern__print_mes_couilles_out *_out) -{ - printf("tid: %i, ts.was_running: %i, ts.current_deadline: %i, acc.sdeadline: %i\n", tid, ts.was_running, ts.current_deadline, acc.sdeadline); -} diff --git a/tp4-obj3-meens/extern.epi b/tp4-obj3-meens/extern.epi index 1a9dfb9..f65d2df 100644 --- a/tp4-obj3-meens/extern.epi +++ b/tp4-obj3-meens/extern.epi @@ -3,4 +3,3 @@ open Scheduler_data fun deadline_miss_log(date:int;task_id:int) returns () fun random(max:int) returns (v:int) fun print_scheduler_state(s:scheduler_state) returns () -fun print_mes_couilles(tid:int;ts:task_status; ta:task_attributes;acc:select_acc) returns () diff --git a/tp4-obj3-meens/extern.h b/tp4-obj3-meens/extern.h index 68cf742..1415f8b 100644 --- a/tp4-obj3-meens/extern.h +++ b/tp4-obj3-meens/extern.h @@ -16,15 +16,12 @@ typedef struct { typedef struct { } Extern__print_scheduler_state_out; -typedef struct { -} Extern__print_mes_couilles_out; void Extern__deadline_miss_log_step(int data, int task_id, Extern__deadline_miss_log_out *_out); int Extern__random_step(int max, Extern__random_out *_out); void Extern__print_scheduler_state_step(Scheduler_data__scheduler_state s, Extern__print_scheduler_state_out *_out); -void Extern__print_mes_couilles_step(int tid, Scheduler_data__task_status ts, Scheduler_data__task_attributes ta, Scheduler_data__select_acc acc, Extern__print_mes_couilles_out *_out); #endif // EXTERN_H diff --git a/tp4-obj3-meens/scheduler.ept b/tp4-obj3-meens/scheduler.ept index 72d039f..2996b90 100644 --- a/tp4-obj3-meens/scheduler.ept +++ b/tp4-obj3-meens/scheduler.ept @@ -4,7 +4,6 @@ open Extern fun select_aux(ts:task_status; ta:task_attributes;tid:int ;acc:select_acc) returns (acc_o:select_acc) let - () = print_mes_couilles(tid, ts, ta, acc); acc_o = if (ts.was_running = 1 and ts.status = Ready) and (ts.current_deadline = acc.sdeadline) then { tid = tid; sdeadline = ts.current_deadline; swas_running = ts.was_running }