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

      ;

%%