2 Why We Need Model-Based Testing

178 Modeling Systems with Structured State
}
}
IdentifyConflicts(user, version[user]);
version = version.Override(user, Repository.currentRevision);
Commit checks for update conflicts and marks the user as “pending.” This will
allow either of two possible actions to complete: MustResolve and CommitComplete.
MustResolve action
A client’s request to commit changes can only be propagated to the repository if
there are no conflicts.
partial static class User
{
static Set ResolveSets()
{
Set result = Set.EmptySet;
foreach (string user in Users())
if (commitPending.Contains(user))
{
Set fileConflicts = FileConflicts(user);
if (!fileConflicts.IsEmpty)
result = result.Add(fileConflicts);
}
return result;
}
static Set FileConflicts(string user)
{
Set result = conflicts[user];
foreach (Pair revision in revisions[user])
{
string file = revision.First;
Op op = revision.Second;
}
if (version[user] < Repository.FileVersion(file) &&
Repository.FileExists(file) &&
op != Op.Delete)
result = result.Add(file);
more free ebooks download links at:
http://www.ebook-x.com