public static void Trans2FindFirst2RequestInvalidFileToken( int messageId, int sessionId, int treeId, bool isSigned, bool isReparse, InformationLevel informationLevel, int gmtTokenIndex, bool isFlagsKnowsLongNameSet, bool isGmtPatten) { Checker.CheckRequest(smbConnection, messageId, sessionId, treeId, isSigned, smbState); smbRequest = new Trans2FindFirst2Request( messageId, sessionId, treeId, gmtTokenIndex, isReparse, informationLevel, isFlagsKnowsLongNameSet, isGmtPatten); // -1 here means the invalid token. const int invalidToken = -1; Condition.IsTrue(gmtTokenIndex == invalidToken); Update.UpdateRequest(smbConnection, smbRequest); Requirement.AssumeCaptured("Test case for invalid file token"); }
public static void Trans2FindFirst2Request( int messageId, int sessionId, int treeId, bool isSigned, bool isReparse, [Domain("InfoLevelByFind")] InformationLevel informationLevel, int gmtTokenIndex, bool isFlagsKnowsLongNameSet, bool isGMTPatten) { Checker.CheckRequest(smbConnection, messageId, sessionId, treeId, isSigned, smbState); smbRequest = new Trans2FindFirst2Request( messageId, sessionId, treeId, gmtTokenIndex, isReparse, informationLevel, isFlagsKnowsLongNameSet, isGMTPatten); bool tokenExist = false; foreach (SmbFile file in smbConnection.openedFiles.Values) { foreach (int i in file.previousVersionToken) { if (i == gmtTokenIndex) { tokenExist = true; Condition.IsTrue(gmtTokenIndex == i); break; } } if (tokenExist) { break; } } Condition.IsTrue(tokenExist); Update.UpdateRequest(smbConnection, smbRequest); }