NOME

       bison - Generatore GNU di analizzatore sintattico (sostituto di yacc)

SINTASSI

       bison  [  -b  file-prefix  ]  [  --file-prefix=file-prefix  ]  [ -d ] [ --defines=defines-file ] [ -g ] [
       --graph=graph-file ] [ -k ] [ --token-table ] [ -l ] [ --no-lines ] [ -n ] [ --no-parser ] [ -o outfile ]
       [ --output-file=outfile ] [ -p prefix ] [ --name-prefix=prefix ] [ -t ] [ --debug ] [ -v ] [ --verbose  ]
       [ -V ] [ --version ] [ -y ] [ --yacc ] [ -h ] [ --help ] [ --fixed-output-files ] file
       yacc [ opzioni e operandi similari ]

DESCRIZIONE

       Bison  è un generatore di analizzatore sintattico nello stile di yacc(1). Può essere retrocompatibile con
       file di input disegnati per yacc.

       I file di input possono seguire la convenzione di yacc di terminare con .y. Diversamente da yacc, i  file
       generati  non  hanno  nomi  fissi,  ma  usano  invece  il  prefisso del file di input. Inoltre, se c'è la
       necessità di inserire codice C++ nel file di input, si può terminare il nome con un'estensione  in  stile
       C++  (.ypp  o  .y++), e bison seguirà la propria estensione per nominare il file di output (.cpp o .c++).
       Per esempio, un file di descrizione grammaticale chiamato parse.yxx produrrà l'analizzatore  generato  in
       un  file chiamato parse.tab.cxx, invece di quello usato da yacc y.tab.c o dalle vecchie versioni di Bison
       parse.tab.c.

       Questa descrizione delle opzioni che può essere data a bison è adattata dal nodo Invocation  nel  manuale
       bison.texinfo, che può essere considerato autorevole.

       Bison  supporta  entrambe le opzioni tradizionali a singola lettera e nomi mnemonici di opzioni lunghe. I
       nomi di opzioni lunghe sono indicati con -- invece che -. Le  abbreviazioni  per  nomi  di  opzioni  sono
       permesse  a  patto  che  siano  uniche.  Quando un'opzione lunga prende un argomento, come --file-prefix,
       connettere il nome di opzione e l'argomento con =.

   OPZIONI
       -b file-prefix
       --file-prefix=file-prefix
              Specifica un prefisso da usare per tutti i nomi dei file di output di bison. I  nomi  sono  scelti
              come se il file di input si chiamasse file-prefix.c.

       -d
              Scrive  un file di output extra contenente definizioni macro per i nomi di tipo token definiti nel
              tipo di valore di grammatica e semantica YYSTYPE,  oltre  ad  alcune  dichiarazioni  di  variabili
              esterne.

              Se il file di output dell'analizzatore è chiamato name.c allora questo file è chiamato name.h.

              Questo  file  di  output  è  essenziale  se si desidera mettere la definizione di yylex in un file
              sorgente separato, poiché yylex deve poter fare  riferimento  ai  codici  di  tipo  token  e  alla
              variabile yylval.

       --defines=defines-file
              Il comportamento di --defines è lo stesso dell'opzione -d La sola differenza è che ha un argomento
              opzionale che è il nome del nome del file di output.

       -g
              Emette  una  definizione  VCG  dell'autome  grammaticale  LALR(1)  calcolata  da Bison. Se il file
              grammaticale è foo.y , il file di output VCG sarà foo.vcg.

       --graph=graph-file
              Il comportamento di --graph è lo stesso dell'opzione -g è il nome del file di output graph.

       -k
       --token-table
              Questa opzione fa sì che il nome.tab.c di output includa un elenco dei nomi token ordinati secondo
              i loro numeri token; questo è definito nell'array yytname. Sono generate  anche  #definizioni  per
              YYNTOKENS, YYNNTS, YYNRULES, e YYNSTATES.

       -l
       --no-lines
              Non  mette  alcuna  #linea  dei  comandi  del preprocessore nel file dell'analizzatore sintattico.
              Normalmente bison li mette nel file dell'analizzatore in modo  tale  che  il  compilatore  C  e  i
              debugger associeranno gli errori al rpoprio file sorgente, il file grammaticale. questa opzione fa
              sì  che  essi  associno  gli  errori  con  il file analizzatore, trattandolo come un file sorgente
              indipendente in sè stesso.

       -n
       --no-parser
              Non genera il codice analizzatore nell'output; genera solo dichiarazioni.  Il  file  generato  con
              nome.tab.c  avrà  solo  dichiarazioni  di  costanti.  In  aggiunta  è generato un file di nome.act
              contenente una dichiarazione contenente tutte le azioni tradotte.

       -o outfile
       --output-file=outfile
              Specifica il nome outfile per il file analizzatore.

              Gli altri nomi di file di output sono costruiti da outfile come descritto nelle opzioni -v e -d

       -p prefix
       --name-prefix=prefix
              Rinomina i somboli esterni usati nell'analizzatore in modo che essi inizino con prefix invece  che
              yy. L'elenco preciso dei simboli rinominati è yyparse, yylex, yyerror, yylval, yychar, e yydebug.

              Per esempio, se si usa -p c, i nomi divengono cparse, clex, e così via.

       -t
       --debug
              Nel  file  analizzatore  definisce la macro YYDEBUG a 1 se non è già definita, in modo che vengano
              compilati i servizi di debugging.

       -v
       --verbose
              Scrive un file di output extra contenente descrizioni prolisse  degli  stati  dell'analizzatore  e
              cosa è fatto per ciascun tipo di token look-ahead in quello stato.

              Questo  file descrive anche tutti i conflitti, sia quelli risolti dalla precedenza degli operatori
              sia quelli irrisolti.

              Il nome dei file è fatto rimuovendo .tab.c o .c dal nome del file di output  dell'analizzatore,  e
              aggiungendo invece .output

              Tuttavia, se il file di input è foo.y, allora il file analizzatore parser è chiamato foo.tab.c per
              default. Come conseguenza, il file di output prolisso è chiamato foo.output.

       -V
       --version
              Stampa il numero di versione di bison ed esce.

       -h
       --help Stampa un sommario delle opzioni di bison ed esce.

       -y
       --yacc
       --fixed-output-files
              Equivalente  a  -o  y.tab.c; il file analizzatore di output è chiamato y.tab.c, e gli altri output
              sono chiamati y.output e y.tab.h. Lo scopo di questa opzione è di imitare le convenzioni  di  yacc
              sul  nome dei file di output. Pertanto il seguente script di shell può essere un sostituto di yacc
              ed è spesso installato come yacc:

              bison -y "$@"

VEDERE ANCHE

       yacc(1)
       Il Bison Reference Manual, incluso come file bison.texinfo nella distribuzione sorgente di bison

DIAGNOSTICA

       Autoesplicativa.

                                                      local                                             BISON(1)