Searched refs:caseStream (Results 1 – 2 of 2) sorted by relevance
764 ifstream caseStream(fullName.c_str()); in DeSerializeFile() local765 if (!caseStream) in DeSerializeFile()769 caseFile->DeSerialize(caseStream); in DeSerializeFile()888 CaseFile::DeSerialize(ifstream &caseStream) in DeSerialize() argument893 caseStream >> std::noskipws >> std::ws; in DeSerialize()894 while (caseStream.good()) { in DeSerialize()907 caseStream.get(lineBuf); in DeSerialize()908 caseStream.ignore(); /*discard the newline character*/ in DeSerialize()
292 void DeSerialize(std::ifstream &caseStream);