Грамматика языка Pascal

%{
    Dictionary<string,double> vars = new Dictionary<string,double>();
%}


%output=myyacc.cs 


%union 
{ 
   public double dVal; 
   public string sVal; 
   public int iVal; 
   public ExprNode eVal;
   public List<ExprNode> elVal;         
   public TreeNode tVal;
   public BlockNode lVal;	 
   public GreatType dtVal;         
   public List<string> lsVal;
}


%using System.IO
%using SimpleCompiler
%namespace LexScanner


%start progr

%token kBEGIN kEND kIF kTHEN kELSE kWHILE kREPEAT kUNTIL kFOR kTO kDO kVAR kOF kARRAY
%token ASSIGN SEMICOLUMN LPAREN RPAREN COLUMN COLON LQPAREN RQPAREN MPOINT POINT  
%token PLUS MINUS MULT DIVIDE 
%token AND OR NOT LT GT EQ NE LE GE DIV MOD
%token <iVal> INTNUM 
%token <dVal> REALNUM 
%token <sVal> STRINGLITERAL
%token <sVal> ID
%token <dtVal> kREAL kINTEGER 
%type <iVal> funcid
%type <eVal> expr funccall
%type <tVal> stat elsepart
%type <lVal> liststat progr
%type <lsVal> listid 
%type <elVal> exprlist 
%type <dtVal> ktype kSimpleType


%left LT GT LE GE EQ NE
%left MINUS PLUS OR
%left MULT DIVIDE AND DIV MOD
%left UMINUS NOT

%%

progr   : defss kBEGIN liststat kEND 
	| error  
	;

defss : defs 
	|defss defs
        |
	;
	
defs : kVAR listid COLON ktype SEMICOLUMN 
	;	

listid  : ID	
	|listid COLUMN ID 
	;
	
liststat    :   stat 
	|   liststat SEMICOLUMN stat 
        ;

ktype : kSimpleType	
	| error 
	;

kSimpleType : kREAL 
	| kINTEGER 
	;

stat: { $$ = new Node(@$);}
	| ID ASSIGN expr 
	| ID LQPAREN expr RQPAREN ASSIGN expr
	| kWHILE expr kDO stat
	| kIF expr kTHEN stat elsepart
	{
		$$ = new IfNode($2,$4,$5,@$);
	}
	| kBEGIN liststat kEND { $$ = $2;}
        ;

elsepart: {$$ = null;}
	| kELSE stat
	;
	
exprlist : expr 
	 | exprlist COLUMN expr
	 ;

expr:    INTNUM
       | REALNUM   
       | ID
       | ID LQPAREN expr RQPAREN   
       | expr PLUS expr
       | expr MINUS expr 
       | expr MULT expr   
       | expr DIVIDE expr  
       | expr DIV expr
       | expr MOD expr    
       | expr AND expr
       | expr OR expr   
       | expr LT expr
       | expr GT expr  
       | expr LE expr  
       | expr GE expr  
       | expr EQ expr  
       | expr NE expr  
       | NOT expr 
       | MINUS expr %prec UMINUS
       | LPAREN expr RPAREN
       ;

%%