//---------- VARIABLES DECLARATION --------- decl track_0_target; decl track_0_SUPER_ROLE; decl track_0_ToCheckRole; decl track_0_TargetPrime; decl b_0; //---------- BEGIN MAIN PROGRAM --------- void main() begin //---------- INITIALIZE VARIABLES --------- b_0 := 0; track_0_target := 0; track_0_SUPER_ROLE := 0; track_0_ToCheckRole := 0; track_0_TargetPrime := 0; //---------- CONFIGURATION_USERS --------- //Configuration of SUPER_USER if (*) then if (!b_0) then b_0 := 1; track_0_SUPER_ROLE := 1; track_0_ToCheckRole := 1; fi fi //Configuration of user1 if (*) then if (!b_0) then b_0 := 1; fi fi //---------- SIMULATION OF RULES --------- while ( 1 ) do //------------------ CAN_ASSIGN RULE NUMBER 0 ----------------- // //------------------------------------------------------------------ if (track_0_ToCheckRole) then if (*) then if (b_0 & track_0_ToCheckRole & track_0_target) then track_0_TargetPrime := 1; fi fi fi //---------------Error------------ if (track_0_TargetPrime) then SLIC_ERROR: skip; fi od end