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:

Go to the source code of this file.

Functions
static exprt	character_equals_ignore_case (const exprt &char1, const exprt &char2, const exprt &char_a, const exprt &char_A, const exprt &char_Z)
	Returns an expression which is true when the two given characters are equal when ignoring case for ASCII. More...

Detailed Description

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

Definition in file string_constraint_generator_comparison.cpp.

Function Documentation

character_equals_ignore_case()

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'

Returns

a expression of Boolean type

Definition at line 92 of file string_constraint_generator_comparison.cpp.