Definition of tree parser GCLangBuilder, which is a subclass of TreeParser.

	
	
program
		:				 #( NAME atom initBlock rulesBlock ) 
		;
	
	
protected atom
		:	VARNAME 
		|	NUMBER 
		;
	
	
initBlock
		:				 #( INIT expression ) 
		;
	
	
rulesBlock
		:				 #( RULES ( guardedCommand  trans = trans.or (gCmd); )+ ) 
		;
	
	
expression
		:	(	atom 
			|					 #( OR expression expression ) 
			|					 #( AND expression expression ) 
			|					 #( NEG expression ) 
			|					 #( IMPLIES expression expression ) 
			|					 #( IFF expression expression ) 
			|					 #( EQ variable atom ) 
			|	TRUE 
			|	FALSE 
			) 
		;
	
	
guardedCommand
		:				 #( COL guard command ) 
		;
	
	
protected guard
		:	expression 
		;
	
	
command
		:	atomicCommand 
		|				 #( SEMI command command ) 
		|				 #( CHOICE command command ) 
		;
	
	
atomicCommand
		:	assign 
		|	skip 
		|	ite 
		;
	
	
assign
		:				 #( ASSIGNOP variable expression ) 
		|				 #( ASSIGNOPSPEC variable atom ) 
		;
	
	
skip
		:	SKIP 
		;
	
	
ite
		:				 #( IF expression #( ELSE command command ) ) 
		;
	
	
protected variable
		:	VARNAME 
		;
	
	
protected enumSet
		:	( atom )+ 
		;