Searched refs:caseStream (Results 1 – 2 of 2) sorted by relevance
763 ifstream caseStream(fullName.c_str()); in DeSerializeFile() local764 if (!caseStream) in DeSerializeFile()768 caseFile->DeSerialize(caseStream); in DeSerializeFile()887 CaseFile::DeSerialize(ifstream &caseStream) in DeSerialize() argument892 caseStream >> std::noskipws >> std::ws; in DeSerialize()893 while (caseStream.good()) { in DeSerialize()906 caseStream.get(lineBuf); in DeSerialize()907 caseStream.ignore(); /*discard the newline character*/ in DeSerialize()
292 void DeSerialize(std::ifstream &caseStream);