CBMC
load_method_by_regex.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Java Bytecode
4 
5 Author: Diffblue Ltd.
6 
7 \*******************************************************************/
8 
12 
13 #ifndef CPROVER_JAVA_BYTECODE_LOAD_METHOD_BY_REGEX_H
14 #define CPROVER_JAVA_BYTECODE_LOAD_METHOD_BY_REGEX_H
15 
16 #include <util/irep.h>
17 
18 #include <functional>
19 #include <vector>
20 
21 class symbol_table_baset;
22 
23 std::function<std::vector<irep_idt>(const symbol_table_baset &symbol_table)>
24 build_load_method_by_regex(const std::string &pattern);
25 
26 bool does_pattern_miss_descriptor(const std::string &pattern);
27 
28 #endif // CPROVER_JAVA_BYTECODE_LOAD_METHOD_BY_REGEX_H
symbol_table_baset
The symbol table base class interface.
Definition: symbol_table_base.h:23
does_pattern_miss_descriptor
bool does_pattern_miss_descriptor(const std::string &pattern)
Identify if a parameter includes a part that will match a descriptor.
Definition: load_method_by_regex.cpp:39
build_load_method_by_regex
std::function< std::vector< irep_idt >const symbol_table_baset &symbol_table)> build_load_method_by_regex(const std::string &pattern)
Create a lambda that returns the symbols that the given pattern should be loaded.If the pattern doesn...
Definition: load_method_by_regex.cpp:58