strings Directory Reference

Directory dependency graph for strings:

Files
file	array_pool.cpp [code]
file	array_pool.h [code]
	Associates arrays and length to pointers, so that the string refinement can transform builtin function calls with pointer arguments to formulas over arrays.
file	equation_symbol_mapping.cpp [code]
file	equation_symbol_mapping.h [code]
file	format_specifier.cpp [code]
	Format specifiers for String.format.
file	format_specifier.h [code]
	Format specifiers for String.format.
file	string_builtin_function.cpp [code]
file	string_builtin_function.h [code]
file	string_concatenation_builtin_function.cpp [code]
	Builtin functions for string concatenations.
file	string_concatenation_builtin_function.h [code]
	Builtin functions for string concatenations.
file	string_constraint.cpp [code]
file	string_constraint.h [code]
	Defines string constraints.
file	string_constraint_generator.h [code]
	Generates string constraints to link results from string functions with their arguments.
file	string_constraint_generator_code_points.cpp [code]
	Generates string constraints for Java functions dealing with code points.
file	string_constraint_generator_comparison.cpp [code]
	Generates string constraints for function comparing strings, such as: equals, equalsIgnoreCase, compareTo, hashCode, intern.
file	string_constraint_generator_constants.cpp [code]
	Generates string constraints for constant strings.
file	string_constraint_generator_float.cpp [code]
	Generates string constraints for functions generating strings from other types, in particular int, long, float, double, char, bool.
file	string_constraint_generator_indexof.cpp [code]
	Generates string constraints for the family of indexOf and lastIndexOf java functions.
file	string_constraint_generator_main.cpp [code]
	Generates string constraints to link results from string functions with their arguments.
file	string_constraint_generator_testing.cpp [code]
	Generates string constraints for string functions that return Boolean values.
file	string_constraint_generator_transformation.cpp [code]
	Generates string constraints for string transformations, that is, functions taking one string and returning another.
file	string_constraint_generator_valueof.cpp [code]
	Generates string constraints for functions generating strings from other types, in particular int, long, float, double, char, bool.
file	string_constraint_instantiation.cpp [code]
	Defines related function for string constraints.
file	string_constraint_instantiation.h [code]
	Defines related function for string constraints.
file	string_dependencies.cpp [code]
file	string_dependencies.h [code]
	Keeps track of dependencies between strings.
file	string_format_builtin_function.cpp [code]
	Built-in function for String.format.
file	string_format_builtin_function.h [code]
	Built-in function for String.format.
file	string_insertion_builtin_function.cpp [code]
file	string_insertion_builtin_function.h [code]
file	string_refinement.cpp [code]
	String support via creating string constraints and progressively instantiating the universal constraints as needed.
file	string_refinement.h [code]
	String support via creating string constraints and progressively instantiating the universal constraints as needed.
file	string_refinement_invariant.h [code]
file	string_refinement_util.cpp [code]
file	string_refinement_util.h [code]