svn merge ^/branches/released .

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