Грамматика языка 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
      ;

%%