strings Directory Reference

Directory dependency graph for strings:

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