Searched refs:writeJavaVerifyFunctionHeader (Results 1 – 1 of 1) sorted by relevance
325 void writeJavaVerifyFunctionHeader(ofstream& file) const;1579 writeJavaVerifyFunctionHeader(file); in writeJavaVerifyScalarMethod()1673 void Permutation::writeJavaVerifyFunctionHeader(ofstream& file) const { in writeJavaVerifyFunctionHeader() function in __anon8b74ac7a0111::Permutation1822 writeJavaVerifyFunctionHeader(file); in writeJavaVerifyVectorMethod()