blob: c92e6252426cd5dad972e050c907a1525bc2fd6e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
/********************* */
/** memory_mapped_input_buffer.cpp
** Original author: cconway
** This file is part of the CVC4 prototype.
** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
** information.
**
** ANTLR input buffer from a memory-mapped file.
**/
#ifndef MEMORY_MAPPED_INPUT_BUFFER_H_
#define MEMORY_MAPPED_INPUT_BUFFER_H_
#include <fcntl.h>
#include <stdio.h>
#include <stdint.h>
#include <sys/errno.h>
#include <sys/mman.h>
#include <sys/stat.h>
#include <antlr/InputBuffer.hpp>
#include "util/Assert.h"
#include "util/exception.h"
namespace CVC4 {
namespace parser {
class MemoryMappedInputBuffer : public antlr::InputBuffer {
public:
MemoryMappedInputBuffer(const std::string& filename) {
errno = 0;
struct stat st;
if( stat(filename.c_str(), &st) == -1 ) {
throw Exception("unable to stat() file");
// throw Exception( "unable to stat() file " << filename << " errno " << errno );
}
d_size = st.st_size;
int fd = open(filename.c_str(), O_RDONLY);
if( fd == -1 ) {
throw Exception("unable to fopen() file");
}
d_start = static_cast< const char * >(
mmap( 0, d_size, PROT_READ, MAP_FILE | MAP_PRIVATE, fd, 0 ) );
errno = 0;
if( intptr_t( d_start ) == -1 ) {
throw Exception("unable to mmap() file");
// throw Exception( "unable to mmap() file " << filename << " errno " << errno );
}
d_cur = d_start;
d_end = d_start + d_size;
}
~MemoryMappedInputBuffer() {
munmap((void*)d_start,d_size);
}
inline int getChar() {
Assert( d_cur >= d_start && d_cur <= d_end );
return d_cur == d_end ? EOF : *d_cur++;
}
private:
unsigned long int d_size;
const char *d_start, *d_end, *d_cur;
};
}
}
#endif /* MEMORY_MAPPED_INPUT_BUFFER_H_ */
|
