Searched refs:caseStream (Results 1 – 2 of 2) sorted by relevance
830 ifstream caseStream(fullName.c_str()); in DeSerializeFile() local831 if (!caseStream) in DeSerializeFile()835 caseFile->DeSerialize(caseStream); in DeSerializeFile()959 CaseFile::DeSerialize(ifstream &caseStream) in DeSerialize() argument964 caseStream >> std::noskipws >> std::ws; in DeSerialize()965 while (caseStream.good()) { in DeSerialize()978 caseStream.get(lineBuf); in DeSerialize()979 caseStream.ignore(); /*discard the newline character*/ in DeSerialize()
321 void DeSerialize(std::ifstream &caseStream);