CBMC
Loading...
Searching...
No Matches
endianness_map_wide.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9#ifndef CPROVER_CPROVER_ENDIANNESS_MAP_WIDE_H
10#define CPROVER_CPROVER_ENDIANNESS_MAP_WIDE_H
11
12#include <util/endianness_map.h>
13
15{
16public:
18 const typet &type,
19 bool little_endian,
20 const namespacet &_ns)
21 : endianness_mapt(type, little_endian, _ns)
22 {
23 }
24
25protected:
26 void build_little_endian(const typet &) override;
27};
28
29#endif // CPROVER_CPROVER_ENDIANNESS_MAP_WIDE_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
endianness_map_widet(const typet &type, bool little_endian, const namespacet &_ns)
void build_little_endian(const typet &) override
Maps a big-endian offset to a little-endian offset.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:91
The type of an expression, extends irept.
Definition type.h:29