- Main Page
- Namespaces
- Classes
- Files
- Related Pages

# /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/GATSAT/TestSuiteLexer.hpp

    00001 #ifndef INC_TestSuiteLexer_hpp_
    00002 #define INC_TestSuiteLexer_hpp_
    00003
    00004 #include <antlr/config.hpp>
    00005 /* $ANTLR 2.7.5 (20050128): "TestSuite.g" -> "TestSuiteLexer.hpp"$ */
    00006 #include <antlr/CommonToken.hpp>
    00007 #include <antlr/InputBuffer.hpp>
    00008 #include <antlr/BitSet.hpp>
    00009 #include "TestSuiteParserTokenTypes.hpp"
    00010 #include <antlr/CharScanner.hpp>
    00011 #line 13 "TestSuite.g"
    00012
    00014
    00015   namespace Mers {
    00016     namespace Models {
    00017       namespace Base {
    00018         class BaseModel;
    00019         class BaseModelValueArray;
    00020         class BaseModelValue;
    00021         class BaseModelVariable;
    00022         class BaseModelSentence;
    00023         class BaseModelClause;
    00024         class BaseModelAssignment;
    00025       }
    00026     }
    00027     namespace Utils {
    00028       namespace Containers {
    00029         class IntegerArray;
    00030       }
    00031     }
    00032     namespace Solvers {
    00033       namespace SAT {
    00034         namespace GATSAT {
    00035           class GatsatFactory;
    00036           class NUGatsatFactory;
    00037           class GATSAT;
    00038         }
    00039       }
    00040     }
    00041   }
    00042
    00044
    00045 #line 46 "TestSuiteLexer.hpp"
    00046 ANTLR_BEGIN_NAMESPACE(Mers)
    00047 ANTLR_BEGIN_NAMESPACE(Solvers)
    00048 ANTLR_BEGIN_NAMESPACE(SAT)
    00049 ANTLR_BEGIN_NAMESPACE(GATSAT)
    00050 #line 1 "TestSuite.g"
    00051
    00053 //
    00054 // Copyright (c) 2004           Model-based Embedded and Robotic Systems Group
    00055 // All Rights Reserved          Massachusetts Institute of Technology
    00056 //
    00057 // This software is provided as is. Model-based Embedded and Robotic Systems
    00058 // (MERS) group does not assume any responsibility.
    00059 //
    00061
    00062 #line 59 "TestSuiteLexer.hpp"
    00063 class CUSTOM_API TestSuiteLexer : public ANTLR_USE_NAMESPACE(antlr)CharScanner, public TestSuiteParserTokenTypes
    00064 {
    00065 #line 1 "TestSuite.g"
    00066 #line 63 "TestSuiteLexer.hpp"
    00067 private:
    00068         void initLiterals();
    00069 public:
    00070         bool getCaseSensitiveLiterals() const
    00071         {
    00072                 return true;
    00073         }
    00074 public:
    00075         TestSuiteLexer(ANTLR_USE_NAMESPACE(std)istream& in);
    00076         TestSuiteLexer(ANTLR_USE_NAMESPACE(antlr)InputBuffer& ib);
    00077         TestSuiteLexer(const ANTLR_USE_NAMESPACE(antlr)LexerSharedInputState& state);
    00078         ANTLR_USE_NAMESPACE(antlr)RefToken nextToken();
    00079         public: void mLBRACKET(bool _createToken);
    00080         public: void mRBRACKET(bool _createToken);
    00081         public: void mEQUALS(bool _createToken);
    00082         public: void mNOT(bool _createToken);
    00083         public: void mFLOAT(bool _createToken);
    00084         protected: void mNUMBER(bool _createToken);
    00085         public: void mNAME(bool _createToken);
    00086         public: void mWHITESPACE(bool _createToken);
    00087         protected: void mWS(bool _createToken);
    00088         public: void mNEWLINE(bool _createToken);
    00089 private:
    00090
    00091 };
    00092
    00093 ANTLR_END_NAMESPACE
    00094 ANTLR_END_NAMESPACE
    00095 ANTLR_END_NAMESPACE
    00096 ANTLR_END_NAMESPACE
    00097 #endif /*INC_TestSuiteLexer_hpp_*/