cprover
|
Go to the source code of this file.
Functions | |
static std::regex | build_regex_from_pattern (const std::string &pattern) |
For a given user provided pattern, return a regex, having dealt with the cases where the user has not prefixed with java:: or suffixed with the descriptor. More... | |
bool | does_pattern_miss_descriptor (const std::string &pattern) |
Identify if a parameter includes a part that will match a descriptor. More... | |
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't include a colon for matching the descriptor, append a `:(. More... | |
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't include a colon for matching the descriptor, append a `:(.
*).*` to the regex. Note this will mean all overloaded methods will be marked as extra entry points for CI lazy loading. If the pattern doesn't include the java:: prefix, prefix that
pattern | The user provided pattern |
Definition at line 57 of file load_method_by_regex.cpp.
References build_regex_from_pattern(), and id2string().
Referenced by java_bytecode_languaget::get_language_options().
|
static |
For a given user provided pattern, return a regex, having dealt with the cases where the user has not prefixed with java:: or suffixed with the descriptor.
pattern | The user provided pattern |
Definition at line 21 of file load_method_by_regex.cpp.
References does_pattern_miss_descriptor(), and has_prefix().
Referenced by build_load_method_by_regex().
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.
pattern | The user provided pattern |
Definition at line 38 of file load_method_by_regex.cpp.
References has_prefix().
Referenced by build_regex_from_pattern().