package Crazyflie_Errors

--  This package models the error types and error state machine for the Crazyflie case study

public
annex EMV2 {**
   error types
      ValueError     : type;
      ValueErroneous : type;
      Lost           : type;
   end types;
    
   -- Simple error state machine
   error behavior simple
   states
     Operational : initial state;
     Failed : state;
   end behavior;
**};
end Crazyflie_Errors;