diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-03-30 20:22:33 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-03-30 20:22:33 +0000 |
commit | 8730e9320a833a9eb0e65074f9988950b7424c0c (patch) | |
tree | 1cb09404256743e208fece079ba473595e05edcd /src/parser/bounded_token_buffer.h | |
parent | 8c87c05ac56a5f29b2ae1e658f2d7d3b7b588163 (diff) |
Merging from branches/antlr3 (r246:354)
Diffstat (limited to 'src/parser/bounded_token_buffer.h')
-rw-r--r-- | src/parser/bounded_token_buffer.h | 73 |
1 files changed, 73 insertions, 0 deletions
diff --git a/src/parser/bounded_token_buffer.h b/src/parser/bounded_token_buffer.h new file mode 100644 index 000000000..9c18ec3de --- /dev/null +++ b/src/parser/bounded_token_buffer.h @@ -0,0 +1,73 @@ +/** \file + * Defines the interface for an ANTLR3 common token stream. Custom token streams should create + * one of these and then override any functions by installing their own pointers + * to implement the various functions. + */ +#ifndef __CVC4__PARSER__BOUNDED_TOKEN_BUFFER_H +#define __CVC4__PARSER__BOUNDED_TOKEN_BUFFER_H + +// [The "BSD licence"] +// Copyright (c) 2005-2009 Jim Idle, Temporal Wave LLC +// http://www.temporal-wave.com +// http://www.linkedin.com/in/jimidle +// +// All rights reserved. +// +// Redistribution and use in source and binary forms, with or without +// modification, are permitted provided that the following conditions +// are met: +// 1. Redistributions of source code must retain the above copyright +// notice, this list of conditions and the following disclaimer. +// 2. Redistributions in binary form must reproduce the above copyright +// notice, this list of conditions and the following disclaimer in the +// documentation and/or other materials provided with the distribution. +// 3. The name of the author may not be used to endorse or promote products +// derived from this software without specific prior written permission. +// +// THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR +// IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES +// OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. +// IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, +// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT +// NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, +// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY +// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF +// THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + +#include <antlr3defs.h> + +namespace CVC4 { +namespace parser { + +#ifdef __cplusplus +extern "C" { +#endif + + +/** A "super" structure for COMMON_TOKEN_STREAM. */ +typedef struct BOUNDED_TOKEN_BUFFER_struct +{ + pANTLR3_COMMON_TOKEN_STREAM commonTstream; + pANTLR3_COMMON_TOKEN* tokenBuffer; + // tokenNeg1, token1, token2; + ANTLR3_UINT32 currentIndex, maxIndex, k, bufferSize; + ANTLR3_BOOLEAN empty, done; +} BOUNDED_TOKEN_BUFFER, *pBOUNDED_TOKEN_BUFFER; + +pBOUNDED_TOKEN_BUFFER +BoundedTokenBufferSourceNew(ANTLR3_UINT32 k, pANTLR3_TOKEN_SOURCE source); + +void +BoundedTokenBufferFree(pBOUNDED_TOKEN_BUFFER buffer); + +#ifdef __cplusplus +} +#endif + +} +} + + +#endif /* __CVC4__PARSER__BOUNDED_TOKEN_BUFFER_H */ + |