Fix a mistake in java_identifier_start

romainbrenguier · romainbrenguier · commit befb6e2614c8 · 2017-05-20T16:46:41.000+01:00
The wrong function was previously called: part instead of start.
This is related to diffblue/test-gen#118
diff --git a/src/java_bytecode/character_refine_preprocess.cpp b/src/java_bytecode/character_refine_preprocess.cpp
@@ -1059,7 +1059,7 @@ codet character_refine_preprocesst::convert_is_java_identifier_start_char(
     conversion_inputt &target)
 {
   return convert_char_function(
-    &character_refine_preprocesst::expr_of_is_unicode_identifier_part, target);
+    &character_refine_preprocesst::expr_of_is_unicode_identifier_start, target);
 }
 
 /*******************************************************************\

Original file line number	Diff line number	Diff line change
`@@ -1059,7 +1059,7 @@ codet character_refine_preprocesst::convert_is_java_identifier_start_char(`
`1059`	`1059`	`conversion_inputt &target)`
`1060`	`1060`	`{`
`1061`	`1061`	`return convert_char_function(`
`1062`		`- &character_refine_preprocesst::expr_of_is_unicode_identifier_part, target);`
	`1062`	`+ &character_refine_preprocesst::expr_of_is_unicode_identifier_start, target);`
`1063`	`1063`	`}`
`1064`	`1064`
`1065`	`1065`	`/*******************************************************************\`