Searched refs:writeJavaCallToRs (Results 1 – 1 of 1) sorted by relevance
157 void writeJavaCallToRs(bool relaxed, bool generateCallToVerifier) const;303 writeJavaCallToRs(false, generateCallToVerifier); in writeJavaCheckMethod()304 writeJavaCallToRs(true, generateCallToVerifier); in writeJavaCheckMethod()822 void PermutationWriter::writeJavaCallToRs(bool relaxed, bool generateCallToVerifier) const { in writeJavaCallToRs() function in PermutationWriter