Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

KIFLexer Class Reference

#include <KIFLexer.hpp>

Inheritance diagram for KIFLexer:

KIFLexerTokenTypes List of all members.

Public Member Functions

bool getCaseSensitiveLiterals () const
 KIFLexer (ANTLR_USE_NAMESPACE(std) istream &in)
 KIFLexer (ANTLR_USE_NAMESPACE(antlr) InputBuffer &ib)
 KIFLexer (const ANTLR_USE_NAMESPACE(antlr) LexerSharedInputState &state)
 ANTLR_USE_NAMESPACE (antlr) RefToken nextToken()
void mWORD (bool _createToken)
void mSTRING (bool _createToken)
void mVARIABLE (bool _createToken)
void mNUMBER (bool _createToken)
void mQUOTE (bool _createToken)
void mSKIP_RULE (bool _createToken)
void mCOMMENT_LINE (bool _createToken)
void mLPAR (bool _createToken)
void mRPAR (bool _createToken)
void mLESS (bool _createToken)
void mMORE (bool _createToken)
void mLESSEQ (bool _createToken)
void mGEQ (bool _createToken)
void mIMPLY (bool _createToken)
void mEQUIVALENCE (bool _createToken)

Protected Member Functions

void mUPPER (bool _createToken)
void mLOWER (bool _createToken)
void mDIGIT (bool _createToken)
void mSPECIAL (bool _createToken)
void mWHITE (bool _createToken)
void mINITIALCHAR (bool _createToken)
void mWORDCHAR (bool _createToken)
void mCHARACTER (bool _createToken)
void mTICK (bool _createToken)
void mFIGURE (bool _createToken)
void mEXPONENT (bool _createToken)

Private Member Functions

void initLiterals ()

Static Private Member Functions

const ANTLR_USE_NAMESPACE (antlr) BitSet _tokenSet_0
const ANTLR_USE_NAMESPACE (antlr) BitSet _tokenSet_1
const ANTLR_USE_NAMESPACE (antlr) BitSet _tokenSet_2

Static Private Attributes

const unsigned long _tokenSet_0_data_ [] = { 0UL, 4093635698UL, 2281701375UL, 1207959550UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL }
const unsigned long _tokenSet_1_data_ []
const unsigned long _tokenSet_2_data_ []

Constructor & Destructor Documentation

KIFLexer::KIFLexer ANTLR_USE_NAMESPACE(std) istream &  in  ) 
 

KIFLexer::KIFLexer ANTLR_USE_NAMESPACE(antlr) InputBuffer &  ib  ) 
 

KIFLexer::KIFLexer const ANTLR_USE_NAMESPACE(antlr) LexerSharedInputState &  state  ) 
 


Member Function Documentation

const KIFLexer::ANTLR_USE_NAMESPACE antlr   )  [static, private]
 

const KIFLexer::ANTLR_USE_NAMESPACE antlr   )  [static, private]
 

const KIFLexer::ANTLR_USE_NAMESPACE antlr   )  [static, private]
 

KIFLexer::ANTLR_USE_NAMESPACE antlr   ) 
 

bool KIFLexer::getCaseSensitiveLiterals  )  const
 

void KIFLexer::initLiterals  )  [private]
 

void KIFLexer::mCHARACTER bool  _createToken  )  [protected]
 

void KIFLexer::mCOMMENT_LINE bool  _createToken  ) 
 

void KIFLexer::mDIGIT bool  _createToken  )  [protected]
 

void KIFLexer::mEQUIVALENCE bool  _createToken  ) 
 

void KIFLexer::mEXPONENT bool  _createToken  )  [protected]
 

void KIFLexer::mFIGURE bool  _createToken  )  [protected]
 

void KIFLexer::mGEQ bool  _createToken  ) 
 

void KIFLexer::mIMPLY bool  _createToken  ) 
 

void KIFLexer::mINITIALCHAR bool  _createToken  )  [protected]
 

void KIFLexer::mLESS bool  _createToken  ) 
 

void KIFLexer::mLESSEQ bool  _createToken  ) 
 

void KIFLexer::mLOWER bool  _createToken  )  [protected]
 

void KIFLexer::mLPAR bool  _createToken  ) 
 

void KIFLexer::mMORE bool  _createToken  ) 
 

void KIFLexer::mNUMBER bool  _createToken  ) 
 

void KIFLexer::mQUOTE bool  _createToken  ) 
 

void KIFLexer::mRPAR bool  _createToken  ) 
 

void KIFLexer::mSKIP_RULE bool  _createToken  ) 
 

void KIFLexer::mSPECIAL bool  _createToken  )  [protected]
 

void KIFLexer::mSTRING bool  _createToken  ) 
 

void KIFLexer::mTICK bool  _createToken  )  [protected]
 

void KIFLexer::mUPPER bool  _createToken  )  [protected]
 

void KIFLexer::mVARIABLE bool  _createToken  ) 
 

void KIFLexer::mWHITE bool  _createToken  )  [protected]
 

void KIFLexer::mWORD bool  _createToken  ) 
 

void KIFLexer::mWORDCHAR bool  _createToken  )  [protected]
 


Member Data Documentation

const unsigned long KIFLexer::_tokenSet_0_data_ = { 0UL, 4093635698UL, 2281701375UL, 1207959550UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL } [static, private]
 

const unsigned long KIFLexer::_tokenSet_1_data_[] [static, private]
 

const unsigned long KIFLexer::_tokenSet_2_data_[] [static, private]
 


The documentation for this class was generated from the following files:
Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2