pure_lexer.h

由matlab开发的hybrid系统的描述语言

/*
	HYSDEL
	Copyright (C) 1999-2002  Fabio D. Torrisi

	This file is part of HYSDEL.
    
	HYSDEL is free software; you can redistribute it and/or
	modify it under the terms of the GNU General Public
	License as published by the Free Software Foundation; either
	version 2 of the License, or (at your option) any later version.

	HYSDEL is distributed in the hope that it will be useful,
	but WITHOUT ANY WARRANTY; without even the implied warranty of
	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
	General Public License for more details.

	You should have received a copy of the GNU General Public
	License along with this library; if not, write to the Free Software
	Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA

	CONTACT INFORMATION
	===================
	Fabio D. Torrisi
	ETH Zentrum
	Physikstrasse. 3 ETL,
	CH-8032 Zurich
	Switzerland
	mailto:[e-mail] (preferred)
*/

#ifndef D_PURE_LEXER
#define D_PURE_LEXER
#ifndef STD_NS
#define STD_NS
using namespace std;
#endif

#include <FlexLexer.h>


#include "Implementation.h"
#include "MLD_representation.h"

#include "Cmd_options.h"
#include "Min_max_eps.h"

#include "Continuous_section.h"
#include "Automata_section.h"
#include "Linear_section.h"
#include "Logic_section.h"
#include "AD_section.h"
#include "DA_section.h"
#include "Output_section.h"
#include "Must_section.h"

#include "Continuous_item.h"
#include "Automata_item.h"
#include "Linear_item.h"
#include "Logic_item.h"
#include "AD_item.h"
#include "DA_item.h"
#include "Output_item.h"
#include "Cont_output_item.h"
#include "Logic_output_item.h"
#include "Constraint_item.h"
#include "Logic_must_item.h"
#include "Cont_must_item.h"

#include "Var_symbol.h"
#include "Param_symbol.h"


#include "Symbol_table.h"
#include "Symbol.h"
#include "Globals.h"


#include "hys.tab.h"


/** provides yylex that the pure_parser calls */
class Pure_lexer : public yyFlexLexer {
public:
	Pure_lexer(istream * input) : yyFlexLexer(input, & cerr) { }

	int yylex();

	int yylex(YYSTYPE * lvalp, YYLTYPE * llocp, const Globals * glob);

private:

	/** store the arguments passed to int yylex (YYSTYPE *lvalp,
	 * YYLTYPE *llocp), such that they can be used in yylex() */
	const Globals * globals;

	YYSTYPE * lvalp;

	YYLTYPE * llocp;
};


/** yylex is called from the pure_parser. It cannot be a method.
 * declared in hys.y */
//int yylex (YYSTYPE *lvalp, YYLTYPE *llocp, lexer_input *l_in);


#endif // D_PURE_LEXER