Searched refs:set_java_use_vector (Results 1 – 2 of 2) sorted by relevance
157 void set_java_use_vector(bool value) { in set_java_use_vector() function
137 params.set_java_use_vector(options[i].second == "true"); in Generate()