13 #ifndef CPROVER_JAVA_BYTECODE_LOAD_METHOD_BY_REGEX_H
14 #define CPROVER_JAVA_BYTECODE_LOAD_METHOD_BY_REGEX_H
20 std::function<std::vector<irep_idt>(
const symbol_tablet &symbol_table)>
Collect methods needed to be loaded using the lazy method.
bool does_pattern_miss_descriptor(const std::string &pattern)
Identify if a parameter includes a part that will match a descriptor.
std::function< std::vector< irep_idt >const symbol_tablet &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...