23 if(
x>=parser.
stack.capacity())
27 return parser.
stack.back();
31 const std::string &message,
32 const std::string &before)
34 std::string
tmp=message;
36 tmp +=
" before '" + before +
"'";
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Base class for all expressions.
source_locationt source_location
source_locationt source_location
void parse_error(const std::string &message, const std::string &before)
std::vector< exprt > stack
const irept & get_nil_irep()
exprt & _newstack(parsert &parser, unsigned &x)