Smt2Scanner is a derived class to add some extra function to the scanner class. More...
#include </home/soonhokong/work/dreal4/dreal/smt2/scanner.h>
Public Member Functions | |
| Smt2Scanner (std::istream *arg_yyin=nullptr, std::ostream *arg_yyout=nullptr) | |
| Create a new scanner object. More... | |
| Smt2Scanner (const Smt2Scanner &)=delete | |
| Smt2Scanner (Smt2Scanner &&)=delete | |
| Smt2Scanner & | operator= (const Smt2Scanner &)=delete |
| Smt2Scanner & | operator= (Smt2Scanner &&)=delete |
| ~Smt2Scanner () override | |
| Required for virtual functions. | |
| virtual Smt2Parser::token_type | lex (Smt2Parser::semantic_type *yylval, Smt2Parser::location_type *yylloc) |
| This is the main lexing function. More... | |
| void | set_debug (bool b) |
| Enable debug output (via arg_yyout) if compiled into the scanner. More... | |
Detailed Description
Smt2Scanner is a derived class to add some extra function to the scanner class.
Flex itself creates a class named yyFlexLexer, which is renamed using macros to ExampleFlexLexer. However we change the context of the generated yylex() function to be contained within the Smt2Scanner class. This is required because the yylex() defined in ExampleFlexLexer has no parameters.
Constructor & Destructor Documentation
◆ Smt2Scanner()
|
explicit |
Create a new scanner object.
The streams arg_yyin and arg_yyout default to cin and cout, but that assignment is only made when initializing in yylex().
Member Function Documentation
◆ lex()
|
virtual |
This is the main lexing function.
It is generated by flex according to the macro declaration YY_DECL above. The generated bison parser then calls this virtual function to fetch new tokens.
◆ set_debug()
| void set_debug | ( | bool | b | ) |
Enable debug output (via arg_yyout) if compiled into the scanner.
The documentation for this class was generated from the following file:
- /home/soonhokong/work/dreal4/dreal/smt2/scanner.h
