X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=lily%2Finclude%2Fincludable-lexer.hh;h=1e35012f335fe9c48fd357a34c2fcefe08ef7818;hb=9c1421a4c5d42ae3c78218a296596cc9a4c2e4f5;hp=a05d707b0d41e74b850f7cc8f229032c6102b919;hpb=5fed222a8f9cd345b6a2b230ee145995800630a9;p=lilypond.git

diff --git a/lily/include/includable-lexer.hh b/lily/include/includable-lexer.hh
index a05d707b0d..1e35012f33 100644
--- a/lily/include/includable-lexer.hh
+++ b/lily/include/includable-lexer.hh
@@ -3,51 +3,49 @@
 
   source file of the LilyPond music typesetter
 
-  (c)  1997--2002 Han-Wen Nienhuys <hanwen@cs.uu.nl>
+  (c) 1997--2008 Han-Wen Nienhuys <hanwen@xs4all.nl>
 */
 
-
 #ifndef INCLUDABLE_LEXER_HH
 #define INCLUDABLE_LEXER_HH
 
-using namespace std;
+#ifndef LEXER_CC
 #include <FlexLexer.h>
+#endif
 
-#include "string.hh"
-#include "parray.hh"
+#include "std-string.hh"
+#include "std-vector.hh"
 #include "lily-proto.hh"
 
 // GIGA urg!
 typedef struct yy_buffer_state *YY_BUFFER_STATE;
 
 /**
-  an yyFlexLexer child with provisions for inclusion.
- */
-class Includable_lexer : public yyFlexLexer 
+   an yyFlexLexer child with provisions for inclusion.
+*/
+class Includable_lexer : public yyFlexLexer
 {
-  Array<YY_BUFFER_STATE> state_stack_;
+  vector<YY_BUFFER_STATE> state_stack_;
 
 protected:
-  bool  close_input ();
-  Link_array<Source_file> include_stack_;
-  Array<int> char_count_stack_;
+  bool close_input ();
+  vector<Source_file*> include_stack_;
+  vector<int> char_count_stack_;
 
 public:
-  bool allow_includes_b_;
-  
+
   Includable_lexer ();
   ~Includable_lexer ();
 
   /// store dependencies for Makefile stuff.
-  Array<String> filename_strings_;
+  vector<string> file_name_strings_;
 
-  Source_file* get_source_file () const;
-  void new_input (String s, Sources*);
-  void new_input (String name, String data, Sources*);
-
-  void add_lexed_char (int);
-  char const * here_str0 () const;
+  Source_file *get_source_file () const;
+  virtual void new_input (string s, Sources *);
+  
+  void new_input (string name, string data, Sources *);
+  
+  char const *here_str0 () const;
 };
 
-
 #endif // INCLUDABLE_LEXER_HH