Searched refs:writeJavaCheckMethod (Results 1 – 1 of 1) sorted by relevance
99 void writeJavaCheckMethod(bool generateCallToVerifier) const;221 writeJavaCheckMethod(true); in writeJavaSection()225 writeJavaCheckMethod(true); in writeJavaSection()229 writeJavaCheckMethod(true); in writeJavaSection()232 writeJavaCheckMethod(false); in writeJavaSection()267 void PermutationWriter::writeJavaCheckMethod(bool generateCallToVerifier) const { in writeJavaCheckMethod() function in PermutationWriter