-- Those properties are used to drive transformation of AADL instance models
-- towards Cheddar XML models
--

property set Cheddar_Transformation_Properties is

    -- Configure the level of debug data produced by the plugin during 
    -- transformation
    --
    Debug_Type  : type enumeration (No_Debug, Minimal, Verbose, Very_Verbose);
    Debug_Level : Cheddar_Transformation_Properties::Debug_Type applies to (system);
	
  
    -- All attributes of a Cheddar XML model are homogeneous from
    -- a time unit point of view.
    -- For time units, by default, OSATE 2 Cheddar plugin generates milliseconds values.
    -- The following property allows designers to select a different
    -- time unit for the generated values.
    --  
    Time_Units: type enumeration (MicroSecond, MilliSecond, Second, Minute, Hour);
    Exported_Attribute_Time_Units : Cheddar_Transformation_Properties::Time_Units applies to (system);
	
  
    -- For analysis motivations, one may want to produce Cheddar periodic tasks
    -- from AADL sporadic threads ; this is typically the case when from an AADL model
    -- one expect to run a worst case analysis.
    -- If true, the following properties express that for a given system, its sporadic threads must 
    -- be transformed to periodic Cheddar tasks, or to sporadic Cheddar tasks otherwise.
    -- The same mechanism also exits for AADL threads with a poisson process dispatching law.
    -- By default, we do not produce periodic Cheddar tasks for this kind of AADL threads
    --
    Transform_Sporadic_To_Periodic : aadlboolean applies to (system);
    Transform_Poisson_To_Periodic : aadlboolean applies to (system);
		

    -- Data port connections can be mapped either by Cheddar "precedence"
    -- dependency or by "time triggered" Cheddar dependency.
    -- if Data_Port_To_Time_triggeret_Dependency is false, Cheddar precedencies are generated
    -- otherwise time triggered entities are generated.
    --
    Data_Port_To_Time_Triggered_Dependency : aadlboolean applies to (system);



end Cheddar_Transformation_Properties;