программы Lex для коммутатора

Question

У меня есть Лекс и программа YACC, чтобы создать переключатель анализатор, который должен производить то, что следующий образом:

switch(var) { 
    case 0: z=cost0; 
      break; 

    case N: z=costN; 
      break; 
    default: z=costD; 
      break; 
    } 

и пропускание 2 значения по умолчанию (позволяет сказать, что 1 и 2 соответственно), которые сохраняются в переменных x и y, каждый из них будет передан в ключ val, и будут проверены все условия N, поэтому z должна хранить переменную для значения найденного условия и печатать ее. но я не могу написать основную функцию моего YACC для организации ввода x и y и печати z. здесь мои программы:

Lex:

%{ 
    #include"ma1.tab.h" 
    %} 
    alpha [a-zA-Z] 
    digit [0-9] 
    %% 
    [ \t\n] 
    switch      return SWITCH; 
    int       return INT; 
    case       return CASE; 
    break      return BREAK; 
    default      return DEFAULT; 
    {digit}+      return NUM; 
    {alpha}({alpha}|{digit})* return ID; 
    .       return yytext[0]; 
    %% 

YACC:

%{ 
    #include<stdio.h> 
    #include<stdlib.h> 
    %} 
    %token ID NUM SWITCH CASE DEFAULT BREAK INT 
    %right '=' 
    %% 
    program: varassign switchstm {printf("Input accepted.\n");exit(0);} 
      ; 
    varassign: INT vardef ‘;’ 
    ; 
    vardef : ID '=' NUM | ID '=' NUM varassign {$1=$3;} 
    ; 
    switchstm: SWITCH '(' ID ')' '{' block '}' 
      ; 
    block: caselist 
      | caselist defaultstm 
      ; 
    caselist: casestm | casestm caselist ; 

    casestm: CASE NUM ':' assign ';' BREAK ';' 
      ; 

    defaultstm : DEFAULT ':' assign ';' BREAK ';' 
      ; 
    assign : ID'='NUM {$1=$3} 
    %% 
    main() 
    { 
    printf("Enter the exp: "); 
    yyparse(); 
    } 

но когда я запускаю в результате a.out файл, он просто ничего не делает! поэтому моя проблема заключается в том, чтобы обойти код, чтобы получить 2 целых числа и получить их, производя по одному z за каждый. Спасибо заранее.

Answer 1

Итак, у вас есть синтаксический анализатор грамматики, который соответствует простому языку программирования (статусу переключателя плюс набор назначений), но ничего не делает с ним. Таким образом, он просто запустится и даст вам синтаксическую ошибку, если вход не соответствует грамматике или выйдет молча, если это произойдет.

Если вы хотите что-то сделать с программой (оцените ее? Переведите в машинный код? Bytecode?), Вам нужно будет добавить действия в файл .y, чтобы взять маркеры, отсканированные и создающие полезные структуры данных и/или выход.

Ваш первый шаг будет иметь дело с маркерами NUM и ID, так как они имеют связанные значения. Вы должны определить %union в коде YACC для хранения значений:

%union { 
    int num; 
    char *id; 
} 

объявить лексемы, как использовать эти типы:

%token<num> NUM 
%token<id> ID 

и имеют ЛЕКС код возврата этих значений:

{digit}+      { yylval.num = atoi(yytext); return NUM; } 
{alpha}({alpha}|{digit})* { yylval.id = strdup(yytext); return ID; } 

с этим вы можете начать добавлять действия в код yacc, чтобы что-то делать.