diff options
Diffstat (limited to 'tools/bison++/Example')
| -rw-r--r-- | tools/bison++/Example/FlexLexer.h | 186 | ||||
| -rw-r--r-- | tools/bison++/Example/Makefile | 34 | ||||
| -rw-r--r-- | tools/bison++/Example/MyCompiler.cc | 32 | ||||
| -rw-r--r-- | tools/bison++/Example/MyParser.y | 55 | ||||
| -rw-r--r-- | tools/bison++/Example/MyScanner.l | 31 | ||||
| -rw-r--r-- | tools/bison++/Example/test.txt | 1 | ||||
| -rw-r--r-- | tools/bison++/Example/test2.txt | 1 |
7 files changed, 340 insertions, 0 deletions
diff --git a/tools/bison++/Example/FlexLexer.h b/tools/bison++/Example/FlexLexer.h new file mode 100644 index 000000000..431bfd397 --- /dev/null +++ b/tools/bison++/Example/FlexLexer.h @@ -0,0 +1,186 @@ +// $Header: /home/daffy/u0/vern/flex/RCS/FlexLexer.h,v 1.19 96/05/25 20:43:02 vern Exp $ + +// FlexLexer.h -- define interfaces for lexical analyzer classes generated +// by flex + +// Copyright (c) 1993 The Regents of the University of California. +// All rights reserved. +// +// This code is derived from software contributed to Berkeley by +// Kent Williams and Tom Epperly. +// +// Redistribution and use in source and binary forms with or without +// modification are permitted provided that: (1) source distributions retain +// this entire copyright notice and comment, and (2) distributions including +// binaries display the following acknowledgement: ``This product includes +// software developed by the University of California, Berkeley and its +// contributors'' in the documentation or other materials provided with the +// distribution and in all advertising materials mentioning features or use +// of this software. Neither the name of the University nor the names of +// its contributors may be used to endorse or promote products derived from +// this software without specific prior written permission. + +// THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR IMPLIED +// WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF +// MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. + +// This file defines FlexLexer, an abstract class which specifies the +// external interface provided to flex C++ lexer objects, and yyFlexLexer, +// which defines a particular lexer class. +// +// If you want to create multiple lexer classes, you use the -P flag +// to rename each yyFlexLexer to some other xxFlexLexer. You then +// include <FlexLexer.h> in your other sources once per lexer class: +// +// #undef yyFlexLexer +// #define yyFlexLexer xxFlexLexer +// #include <FlexLexer.h> +// +// #undef yyFlexLexer +// #define yyFlexLexer zzFlexLexer +// #include <FlexLexer.h> +// ... + +#ifndef __FLEX_LEXER_H +// Never included before - need to define base class. +#define __FLEX_LEXER_H +#include <iostream.h> +#include "MyParser.h" +extern "C++" { + +struct yy_buffer_state; +typedef int yy_state_type; + +class FlexLexer { +public: + virtual ~FlexLexer() { } + + const char* YYText() { return yytext; } + int YYLeng() { return yyleng; } + + virtual void + yy_switch_to_buffer( struct yy_buffer_state* new_buffer ) = 0; + virtual struct yy_buffer_state* + yy_create_buffer( istream* s, int size ) = 0; + virtual void yy_delete_buffer( struct yy_buffer_state* b ) = 0; + virtual void yyrestart( istream* s ) = 0; + + virtual int yylex(FLEXFIX) = 0; + + // Call yylex with new input/output sources. + int yylex(FLEXFIX, istream* new_in, ostream* new_out = 0 ) + { + switch_streams( new_in, new_out ); + return yylex(FLEXFIX2); + } + + // Switch to new input/output streams. A nil stream pointer + // indicates "keep the current one". + virtual void switch_streams( istream* new_in = 0, + ostream* new_out = 0 ) = 0; + + int lineno() const { return yylineno; } + + int debug() const { return yy_flex_debug; } + void set_debug( int flag ) { yy_flex_debug = flag; } + +protected: + char* yytext; + int yyleng; + int yylineno; // only maintained if you use %option yylineno + int yy_flex_debug; // only has effect with -d or "%option debug" +}; + +} +#endif + +#if defined(yyFlexLexer) || ! defined(yyFlexLexerOnce) +// Either this is the first time through (yyFlexLexerOnce not defined), +// or this is a repeated include to define a different flavor of +// yyFlexLexer, as discussed in the flex man page. +#define yyFlexLexerOnce + +class yyFlexLexer : public FlexLexer { +public: + // arg_yyin and arg_yyout default to the cin and cout, but we + // only make that assignment when initializing in yylex(). + yyFlexLexer( istream* arg_yyin = 0, ostream* arg_yyout = 0 ); + + virtual ~yyFlexLexer(); + + void yy_switch_to_buffer( struct yy_buffer_state* new_buffer ); + struct yy_buffer_state* yy_create_buffer( istream* s, int size ); + void yy_delete_buffer( struct yy_buffer_state* b ); + void yyrestart( istream* s ); + + virtual int yylex(FLEXFIX); + virtual void switch_streams( istream* new_in, ostream* new_out ); + +protected: + virtual int LexerInput( char* buf, int max_size ); + virtual void LexerOutput( const char* buf, int size ); + virtual void LexerError( const char* msg ); + + void yyunput( int c, char* buf_ptr ); + int yyinput(); + + void yy_load_buffer_state(); + void yy_init_buffer( struct yy_buffer_state* b, istream* s ); + void yy_flush_buffer( struct yy_buffer_state* b ); + + int yy_start_stack_ptr; + int yy_start_stack_depth; + int* yy_start_stack; + + void yy_push_state( int new_state ); + void yy_pop_state(); + int yy_top_state(); + + yy_state_type yy_get_previous_state(); + yy_state_type yy_try_NUL_trans( yy_state_type current_state ); + int yy_get_next_buffer(); + + istream* yyin; // input source for default LexerInput + ostream* yyout; // output sink for default LexerOutput + + struct yy_buffer_state* yy_current_buffer; + + // yy_hold_char holds the character lost when yytext is formed. + char yy_hold_char; + + // Number of characters read into yy_ch_buf. + int yy_n_chars; + + // Points to current character in buffer. + char* yy_c_buf_p; + + int yy_init; // whether we need to initialize + int yy_start; // start state number + + // Flag which is used to allow yywrap()'s to do buffer switches + // instead of setting up a fresh yyin. A bit of a hack ... + int yy_did_buffer_switch_on_eof; + + // The following are not always needed, but may be depending + // on use of certain flex features (like REJECT or yymore()). + + yy_state_type yy_last_accepting_state; + char* yy_last_accepting_cpos; + + yy_state_type* yy_state_buf; + yy_state_type* yy_state_ptr; + + char* yy_full_match; + int* yy_full_state; + int yy_full_lp; + + int yy_lp; + int yy_looking_for_trail_begin; + + int yy_more_flag; + int yy_more_len; + int yy_more_offset; + int yy_prev_more_offset; +}; + +#endif diff --git a/tools/bison++/Example/Makefile b/tools/bison++/Example/Makefile new file mode 100644 index 000000000..006b58f49 --- /dev/null +++ b/tools/bison++/Example/Makefile @@ -0,0 +1,34 @@ + +.SUFFIXES : .cc .y .l $(SUFFIXES) + +.cc.o : + g++ -g -I . -I$(CENTERCCLIBDIR)/incl -c $*.cc + +.y.cc : + bison++ -d -o $*.cc -h $*.h $*.y +.l.cc : + flex++ -o$*.cc $*.l +.y.h : + bison++ -d -o $*.cc -h $*.h $*.y +.l.h : + flex++ -o$*.cc $*.l + +# COMPILER SAMPLE + +MyCompiler.o : MyCompiler.cc MyParser.h MyScanner.h + +MyParser.o : MyParser.cc MyParser.h + +MyScanner.o : MyScanner.cc MyScanner.h MyParser.h + +MyParser.cc : MyParser.y + +MyScanner.cc : MyScanner.l + +MyParser.h : MyParser.y + +MyScanner.h : MyScanner.l + +compiler : MyCompiler.o MyParser.o MyScanner.o + g++ -o $@ MyCompiler.o MyParser.o MyScanner.o + diff --git a/tools/bison++/Example/MyCompiler.cc b/tools/bison++/Example/MyCompiler.cc new file mode 100644 index 000000000..3c554bc40 --- /dev/null +++ b/tools/bison++/Example/MyCompiler.cc @@ -0,0 +1,32 @@ +#include "MyParser.h" +#define YY_DECL int yyFlexLexer::yylex(YY_MyParser_STYPE *val) +#include "FlexLexer.h" +#include <stdio.h> + +class MyCompiler : public MyParser +{ +private: + yyFlexLexer theScanner; + public: + virtual int yylex(); + virtual void yyerror(char *m); + MyCompiler(){;} +}; + +int MyCompiler::yylex() +{ + return theScanner.yylex(&yylval); +} + +void MyCompiler::yyerror(char *m) +{ fprintf(stderr,"%d: %s at token '%s'\n",yylloc.first_line, m,yylloc.text); +} + +int main(int argc,char **argv) +{ + MyCompiler aCompiler; + int result=aCompiler.yyparse(); + printf("Resultat Parsing=%s\n",result?"Erreur":"OK"); + return 0; +}; + diff --git a/tools/bison++/Example/MyParser.y b/tools/bison++/Example/MyParser.y new file mode 100644 index 000000000..f8787eb34 --- /dev/null +++ b/tools/bison++/Example/MyParser.y @@ -0,0 +1,55 @@ +%{ +#define YY_MyParser_STYPE yy_MyParser_stype +%} +%name MyParser +%define LSP_NEEDED +%define ERROR_BODY =0 +%define LEX_BODY =0 +%header{ +#include <iostream> +#include <string> + using namespace std; +#define YY_DECL int yyFlexLexer::yylex(YY_MyParser_STYPE *val) +#ifndef FLEXFIX +#define FLEXFIX YY_MyParser_STYPE *val +#define FLEXFIX2 val +#endif +%} + +%union { + int num; + bool statement; + } + + + +%token <num> PLUS INTEGER MINUS AND OR NOT LPARA RPARA +%token <statement> BOOLEAN +%type <num> exp result +%type <statement> bexp +%start result + +%left OR +%left AND +%left PLUS MINUS +%left NOT +%left LPARA RPARA + +%% + +result : exp {cout << "Result = " << $1 << endl;} + | bexp {cout << "Result = " << $1 << endl;} + +exp : exp PLUS exp {$$ = $1 + $3;} + | INTEGER {$$ = $1;} + | MINUS exp { $$ = -$2;} + | exp MINUS exp {$$ = $1 - $3;} + +bexp : BOOLEAN {$$ = $1;} + | bexp AND bexp { $$ = $1 && $3;} + | bexp OR bexp { $$ = $1 || $3;} + | NOT bexp {$$ = !$2;} + | LPARA bexp RPARA {$$ = $2} +%% +/* -------------- body section -------------- */ +// feel free to add your own C/C++ code here diff --git a/tools/bison++/Example/MyScanner.l b/tools/bison++/Example/MyScanner.l new file mode 100644 index 000000000..fd9dde78f --- /dev/null +++ b/tools/bison++/Example/MyScanner.l @@ -0,0 +1,31 @@ +%{ +#ifndef FLEXFIX +#define FLEXFIX YY_MyParser_STYPE *val +#define FLEXFIX2 val +#endif +#include "MyParser.h" // Make sure the flexer can communicate with bison++ + //using return values +%} + +digit [0-9] +integer [1-9]{digit}* +ws [ \t\n]+ +%% +{ws} { /* no action */ } +{integer} { val->num = atoi(yytext); return MyParser::INTEGER; } +"AND" {return(MyParser::AND);} +"OR" {return(MyParser::OR);} +"NOT" {return(MyParser::NOT);} +"TRUE" {val->statement=true; return MyParser::BOOLEAN; } +"FALSE" {val->statement=false; return MyParser::BOOLEAN; } +"-" {return(MyParser::MINUS);} +"+" {return(MyParser::PLUS);} +"(" {return(MyParser::LPARA);} +")" {return(MyParser::RPARA);} + +<<EOF>> { yyterminate();} +%% +int yywrap() +{ + return(1); +}
\ No newline at end of file diff --git a/tools/bison++/Example/test.txt b/tools/bison++/Example/test.txt new file mode 100644 index 000000000..ef163e647 --- /dev/null +++ b/tools/bison++/Example/test.txt @@ -0,0 +1 @@ +1+2+3+4 diff --git a/tools/bison++/Example/test2.txt b/tools/bison++/Example/test2.txt new file mode 100644 index 000000000..0ce961b61 --- /dev/null +++ b/tools/bison++/Example/test2.txt @@ -0,0 +1 @@ +(TRUE OR FALSE) AND FALSE
\ No newline at end of file |