2 Why We Need Model-Based Testing

Systems with Complex State 175
}
{
}
version = version.Add(user, newVersion);
revisions = revisions.Add(user, Map.EmptyMap);
conflicts = conflicts.Add(user, Set.EmptySet);
Synchronize may occur at any time except when there is a pending commit action
for the given user. It is also possible to use Synchronize for a new user.
A Synchronize action may occur after some files have been edited but before they
have been committed to the repository. If the version of a file in the repository is
more recent (i.e., is larger) than the version already modified, then a conflict occurs.
The following method checks for such conflicts.
partial static class User
{
static void IdentifyConflicts(string user, int currentVersion)
{
Set userConflicts = conflicts[user];
foreach (Pair revision in revisions[user])
{
string file = revision.First;
Op op = revision.Second;
}
}
if (!userConflicts.Contains(file) &&
currentVersion < Repository.FileVersion(file) &&
Repository.FileExists(file, currentVersion) &&
op != Op.Delete)
userConflicts = userConflicts.Add(file);
}
conflicts = conflicts.Override(user, userConflicts);
When checking for conflicts, two helper methods are used to detect whether the
repository has seen an update that conflicts with the currently edited version in the
client.
The FileVersion method returns the version number of the most recent checkin
of a given file:
partial static class Repository
{
more free ebooks download links at:
http://www.ebook-x.com