Entry :  sections



sections : sections section | ''

section :  Start_Section
   | Priority_Section
   | Election_Section
   | Activation_Section
   | Check_Resource_Section
   | Release_Resource_Section
   | Allocate_Resource_Section
   | Gather_Event_Analyzer_Section
   | Display_Event_Analyzer_Section
   | Automaton_Section

Start_Section :
	Start_Token Section_Name ':' Statements End_Section_Token ';'
Election_Section :
	Election_Token Section_Name ':' Statements End_Section_Token ';'
Priority_Section :
	Priority_Token Section_Name ':' Statements End_Section_Token ';'
Automaton_Section :
	Automaton_Token Section_Name ':' States Transitions  End_Section_Token ';'
Check_Resource_Section :
     	Check_Resource_Token Section_Name ':' Statements  End_Section_Token ';'
Release_Resource_Section :
     	Release_Resource_Token Section_Name ':' Statements  End_Section_Token ';'
Allocate_Resource_Section :
	Allocate_Resource_Token Section_Name ':' Statements  End_Section_Token ';'
Gather_Event_Analyzer_Section :     
	Gather_Event_Analyzer_Token Section_Name ':' Statements  End_Section_Token ';'
Display_Event_Analyzer_Section : 
      Display_Event_Analyzer_Token Section_Name ':' Statements  End_Section_Token ';'
Activation_Section :
     	Activation_Token Section_Name ':' Statements  End_Section_Token ';'
	
Section_Name :
	Identifier_Data | ''




States : States State | ''
Transitions : Transitions Transition | ''

State : Identifier_Data ':' Initial_State_Token ';'
	| Identifier_Data ':' State_Token ';'
      | ''

Transition_Synchronization : Identifier_Data '?'
      | Identifier_Data '!'
	| ''

Transition_Expression : Expr | ''
Transition_Statement : Delay_Statement | Assign_Stat | '' 
Transition : Transition_Token Identifier_Data Transition_Arrow_Token 
		'[' Transition_Expression ',' Transition_Statement ',' 
		Transition_Synchronization ']' Transition_Arrow_Token Identifier_Data ';'




Statements : Statements Statement | ''

Statement  : Put_Stat | Assignment_Stat | Delay_Statement | Declare_Stat
             | If_Stat | Return_Stat | Exit_Stat | For_Stat | While_Stat 
             | Random_Stat | Set_Stat
                          
Put_Stat : Put_Token '(' Expr Put_Parameter Put_Parameter ')' ';'
Declare_Stat :  Identifier_Data ':' User_Type Assign ';'
Delay_Stat : Delay_Token Expr  ';'
Assignment_Stat : Expr Assign_Token Expr ';'
If_Stat : If_Token Expr Then_Token Statements Else_Rule
Return_Stat : Return_Token Expr ';'
Exit_Stat : Exit_Token ';'
For_Stat : For_Token Expr In_Token Table_Type Loop_Token Included_Statements End_Loop_Token ';'
While_Stat : While_Token Expr Loop_Token Included_Statements End_Loop_Token ';'
Random_Stat : Law '(' Identifier_Data Random_Parameter ')' ';'     
Set_Stat : Set_Token Identifier_Data Expr ';'

Law : Exponential_Token | Laplace_Gauss_Token | Uniform_Token
Random_Parameter : Random_Parameter | ',' Expr     
Put_Parameter : Put_Parameter | ',' Expr | ''
Else_rule :  Else_Token Statements End_If_Token ';'
     | End_If_Token ';'


	
User_Type : Double_Type_Token
      | Array_Token '(' Table_Type ')' Of_Token Double_Type_Token
      | Integer_Type_Token
      | Array_Token '(' Table_Type ')' Of_Token Integer_Type_Token
	| Clock_Type_Token
      | Array_Token '(' Table_Type ')' Of_Token Clock_Type_Token
      | Random_Type_Token
      | Array_Token '(' Table_Type ')' Of_Token Random_Type_Token
      | Boolean_Type_Token
      | Array_Token '(' Table_Type ')' Of_Token Boolean_Type_Token
      | Array_Token '(' Table_Type ')' Of_Token String_Type_Token
      | String_Type_Token
	
Table_Type :  Tasks_Range_Token
	      | Buffers_Range_Token
            | Messages_Range_Token
	      | Time_Units_Range_Token
	      | Processors_Range_Token
	      | Resources_Range_Token
	
Expr  :
	Expr And_Token Expr
      | Expr Mod_Token Expr
	| Expr Inf_Token Expr
	| Expr Sup_Token Expr
	| Expr Inf_Equal_Token Expr
	| Expr Sup_Equal_Token Expr
	| Expr Not_Equal_Token Expr
	| Expr Equal_Token Expr
	| Expr Or_Token Expr
	| Not_Token Expr
      | '(' Expr ')'
      | True_Token
      | False_Token
      | Expr '+' Expr
	| Expr '-' Expr
	| Expr '*' Expr
	| Expr '/' Expr
      | Lcm_Token '(' Expr ',' Expr ')'
      | Abs_Token '(' Expr ')'
      | Concat_Token '(' Expr ',' Expr ')'
      | Max_Token '(' Expr ',' Expr ')'
      | Min_Token '(' Expr ',' Expr  ')'
	| Expr Exp_Token Expr
	| '-' Expr  %prec Unary_Minus
      | '+' Expr  %prec Unary_Plus
      | Max_To_Index_Token '(' Expr ')'
      | Min_To_Index_Token '(' Expr ')'
      | Get_Task_Index_Token '(' Expr ')
      | Get_Resource_Index_Token '(' Expr ')'
      | Get_Buffer_Index_Token '(' Expr ')'
      | Get_Message_Index_Token '(' Expr ')'
	| Double_Type_Token ''' Last_Token
	| Double_Type_Token ''' First_Token
	| Integer_Type_Token ''' Last_Token
	| Integer_Type_Token ''' First_Token
      | Identifier_Data '(' Expr ')'
      | Identifier_Data
      | String_Data
	| Double_Data
	| Integer_Data