Searched refs:caseStream (Results 1 – 2 of 2) sorted by relevance
844 ifstream caseStream(fullName.c_str()); in DeSerializeFile() local845 if (!caseStream) in DeSerializeFile()849 caseFile->DeSerialize(caseStream); in DeSerializeFile()973 CaseFile::DeSerialize(ifstream &caseStream) in DeSerialize() argument978 caseStream >> std::noskipws >> std::ws; in DeSerialize()979 while (caseStream.good()) { in DeSerialize()992 caseStream.get(lineBuf); in DeSerialize()993 caseStream.ignore(); /*discard the newline character*/ in DeSerialize()
321 void DeSerialize(std::ifstream &caseStream);