Searched refs:writeJavaCheckMethod (Results 1 – 1 of 1) sorted by relevance
99 void writeJavaCheckMethod(bool generateCallToVerifier) const;224 writeJavaCheckMethod(true); in writeJavaSection()228 writeJavaCheckMethod(true); in writeJavaSection()232 writeJavaCheckMethod(true); in writeJavaSection()235 writeJavaCheckMethod(false); in writeJavaSection()283 void PermutationWriter::writeJavaCheckMethod(bool generateCallToVerifier) const { in writeJavaCheckMethod() function in PermutationWriter