2 Why We Need Model-Based Testing

Systems with Complex State 179
}
return result;
static bool MustResolveEnabled(string user, Set files)
{
return IsUser(user) && CommitPending(user) &&
!files.IsEmpty && Object.Equals(files,
FileConflicts(user));
}
[Action]
static void MustResolve([Domain("Users")] string user,
[Domain("ResolveSets")] Set files)
{
commitPending = commitPending.Remove(user);
IdentifyConflicts(user, version[user]);
version = version.Override(user, Repository.currentRevision);
}
}
}
Resolve action
The Resolve action reconciles differences between a local edited version of a file
and a parallel update on the server. Of course, in the model we don’t deal with the
actual contents of the file; instead, we examine the conditions that must occur in
order for the resolve operation to occur.
partial static class User
{
static bool ResolveEnabled(string user, string file)
{
return (CanStep(user) && conflicts[user].Contains(file));
}
}
[Action]
static void Resolve([Domain("Users")] string user, string file)
{
Set remainingFiles = conflicts[user].Remove(file);
conflicts = conflicts.Override(user, remainingFiles);
}
more free ebooks download links at:
http://www.ebook-x.com