2 Why We Need Model-Based Testing

Systems with Complex State 177
}
}
revisions = revisions.Override(user, userRevisions.Add(file,
(op == Op.Delete ? Op.Delete : Op.Add)));
Revert action
Edits may be undone using the Revert action. This restores the client’s view a given
file to be consistent with the last update (checkout) operation.
partial static class User
{
static bool RevertEnabled(string user, string file)
{
return CanStep(user) && revisions[user].ContainsKey(file);
}
}
[Action]
static void Revert([Domain("Users")] string user, string file)
{
revisions = revisions.Override(user,
revisions[user].RemoveKey(file));
}
Commit action
The Commit action begins the process of recording edits made by a client in the
global repository.
partial static class User
{
static bool CommitEnabled(string user)
{
return CanStep(user);
}
[Action]
static void Commit([Domain("Users")] string user)
{
commitPending = commitPending.Add(user);
more free ebooks download links at:
http://www.ebook-x.com