cprover
Loading...
Searching...
No Matches
load_method_by_regex.h File Reference

Process a pattern to use as a regex for selecting extra entry points for ci_lazy_methodst. More...

#include <util/irep.h>
#include <functional>
#include <vector>
+ Include dependency graph for load_method_by_regex.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool does_pattern_miss_descriptor (const std::string &pattern)
 Identify if a parameter includes a part that will match a descriptor.
 

Variables

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

Detailed Description

Process a pattern to use as a regex for selecting extra entry points for ci_lazy_methodst.

Definition in file load_method_by_regex.h.

Function Documentation

◆ 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.

That is, does it have a colon separtor.

Parameters
patternThe user provided pattern
Returns
True if no descriptor is found (that is, the only : relates to the java:: prefix.

Definition at line 39 of file load_method_by_regex.cpp.

Variable Documentation

◆ 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) ( const std::string & pattern)