|
Public Member Functions |
bool | getCaseSensitiveLiterals () const |
| TPTPLexer (ANTLR_USE_NAMESPACE(std) istream &in) |
| TPTPLexer (ANTLR_USE_NAMESPACE(antlr) InputBuffer &ib) |
| TPTPLexer (const ANTLR_USE_NAMESPACE(antlr) LexerSharedInputState &state) |
| ANTLR_USE_NAMESPACE (antlr) RefToken nextToken() |
void | mSKIP_RULE (bool _createToken) |
void | mCOMMENT_LINE (bool _createToken) |
void | mFILE_NAME (bool _createToken) |
void | mLPAR (bool _createToken) |
void | mRPAR (bool _createToken) |
void | mLBRA (bool _createToken) |
void | mRBRA (bool _createToken) |
void | mCOMMA (bool _createToken) |
void | mCOLON (bool _createToken) |
void | mDOT (bool _createToken) |
void | mAND (bool _createToken) |
void | mNOT (bool _createToken) |
void | mOR (bool _createToken) |
void | mIFF (bool _createToken) |
void | mIMP (bool _createToken) |
void | mXOR (bool _createToken) |
void | mFORALL (bool _createToken) |
void | mEXISTS (bool _createToken) |
void | mPP (bool _createToken) |
void | mMM (bool _createToken) |
void | mNAME (bool _createToken) |
void | mVAR (bool _createToken) |
Protected Member Functions |
void | mUPPER (bool _createToken) |
void | mLOWER (bool _createToken) |
void | mDIGIT (bool _createToken) |
void | mWHITE (bool _createToken) |
void | mNUMBER (bool _createToken) |
void | mWORDCHAR (bool _createToken) |
void | mCHARACTER (bool _createToken) |
void | mQUOTE (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_ [] = { 4294966271UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL } |
const unsigned long | _tokenSet_1_data_ [] |
const unsigned long | _tokenSet_2_data_ [] |
This library 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 Lesser General Public License for more details.
You should have received a copy of the GNU Lesser 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