/* Generated By:JavaCC: Do not edit this line. JavaCC.h Version 6.0 */
/* JavaCCOptions:STATIC=false,SUPPORT_CLASS_VISIBILITY_PUBLIC=true */
#ifndef __JAVACC_H
#define __JAVACC_H
#include <stdio.h>
#include <string>
#include <memory.h>
#include <assert.h>
#include <cstring>

#include "vhdlstring.h"

#ifndef JAVACC_CHAR_TYPE
#define JAVACC_CHAR_TYPE char
#endif

#ifndef JAVACC_STRING_TYPE
#define JAVACC_STRING_TYPE VhdlString
#endif

#define finally  // TODO(Sreeni): Get rid of when we fix jjtree

#define JAVACC_SIMPLE_STRING VhdlString

JAVACC_SIMPLE_STRING addUnicodeEscapes(JAVACC_STRING_TYPE str);

typedef JAVACC_STRING_TYPE StringBuffer;
typedef JAVACC_STRING_TYPE String;

// Abstraction on stream classes to read a block of data into a buffer.
class ReaderStream {
 public:
  // Read block of data into a buffer and return the actual number read.
  virtual size_t read(JAVACC_CHAR_TYPE *, int, size_t) {
    return 0;
  }
  virtual bool endOfInput() { return true; }
  virtual ~ReaderStream() {}
};

const JAVACC_CHAR_TYPE EMPTY[] = { 0 };

#ifndef MAX
#define MAX(a,b) ((a)>(b)?(a):(b))
#endif
#ifndef MIN
#define MIN(a,b) ((a)<(b)?(a):(b))
#endif

#endif
/* JavaCC - OriginalChecksum=775c677272b259e2a33aac80851ba9f1 (do not edit this line) */
