cbmc/load__method__by__regex_8h_source.html

/*******************************************************************\


Module: Java Bytecode


Author: Diffblue Ltd.


\*******************************************************************/


#ifndef CPROVER_JAVA_BYTECODE_LOAD_METHOD_BY_REGEX_H

#define CPROVER_JAVA_BYTECODE_LOAD_METHOD_BY_REGEX_H


#include <util/irep.h>


#include <functional>

#include <vector>


class symbol_table_baset;


std::function<std::vector<irep_idt>(const symbol_table_baset &symbol_table)>

build_load_method_by_regex(const std::string &pattern);


bool does_pattern_miss_descriptor(const std::string &pattern);


#endif // CPROVER_JAVA_BYTECODE_LOAD_METHOD_BY_REGEX_H

ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562

symbol_table_baset
The symbol table base class interface.
Definition symbol_table_base.h:23

irep.h

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