cprover
|
#include <iosfwd>
#include <string>
#include <vector>
#include "expr.h"
#include "message.h"
#include "file_util.h"
Go to the source code of this file.
Classes | |
class | parsert |
Macros | |
#define | newstack(x) _newstack(PARSER, (x)) |
#define | stack(x) (PARSER.stack[x]) |
#define | stack_expr(x) (PARSER.stack[x]) |
#define | stack_type(x) (static_cast<typet &>(static_cast<irept &>(PARSER.stack[x]))) |
#define | YY_INPUT(buf, result, max_size) |
#define | YY_USER_ACTION PARSER.advance_column(yyleng); |
Functions | |
exprt & | _newstack (parsert &parser, unsigned &x) |
Definition at line 142 of file parser.h.
Referenced by yyansi_clex(), yyjsillex(), and yyjsilparse().
#define stack | ( | x | ) | (PARSER.stack[x]) |
Definition at line 144 of file parser.h.
Referenced by mini_bdd_applyt::APP_non_rec(), natural_loops_templatet< const goto_programt, goto_programt::const_targett >::compute_natural_loop(), sharing_mapt< keyT, valueT, hashT, equalT >::count_unmarked_nodes(), event_grapht::graph_explorert::extract_cycle(), find_macros(), reachability_slicert::fixedpoint_from_assertions(), reachability_slicert::fixedpoint_to_assertions(), string_dependenciest::for_each_dependency(), sharing_mapt< keyT, valueT, hashT, equalT >::get_delta_view(), get_reachable(), has_subtype(), sharing_mapt< keyT, valueT, hashT, equalT >::iterate(), make_identifier(), irept::nonrecursive_destructor(), print_backtrace(), show_call_sequences(), exprt::visit(), yyansi_clex(), yyansi_cparse(), yyjsillex(), and yyjsilparse().
#define stack_expr | ( | x | ) | (PARSER.stack[x]) |
#define stack_type | ( | x | ) | (static_cast<typet &>(static_cast<irept &>(PARSER.stack[x]))) |
Definition at line 146 of file parser.h.
Referenced by yyansi_cparse().
#define YY_INPUT | ( | buf, | |
result, | |||
max_size | |||
) |
Definition at line 19 of file parser.cpp.
References get_nil_irep(), and parsert::stack.