Loading...

Searching...

No Matches

string_constraint_generator_comparison.cpp File Reference

Generates string constraints for function comparing strings, such as: equals, equalsIgnoreCase, compareTo, hashCode, intern. More...

#include "string_constraint_generator.h"
#include <util/mathematical_expr.h>

+ Include dependency graph for string_constraint_generator_comparison.cpp:

Functions

Returns an expression which is true when the two given characters are equal when ignoring case for ASCII.

Detailed Description

Generates string constraints for function comparing strings, such as: equals, equalsIgnoreCase, compareTo, hashCode, intern.

static exprt character_equals_ignore_case ( const exprt & char1,

const exprt & char2,

const exprt & char_a,

const exprt & char_A,

const exprt & char_Z

)

static

Returns an expression which is true when the two given characters are equal when ignoring case for ASCII.

Parameters: char1 character expression

char2 character expression

char_a constant character 'a'

char_A constant character 'A'

char_Z constant character 'Z'