/// <summary>
/// Visits the information value location.
/// </summary>
/// <param name="location">The location.</param>
public void VisitInfoValueLocation(InfoValueLocation location)
{
MemoryEntry oldEntry = SnapshotDataUtils.GetMemoryEntry(snapshot, snapshot.CurrentData.Readonly, location.ContainingIndex);
HashSet <Value> newValues = new HashSet <Value>();
CollectionMemoryUtils.AddAll(newValues, oldEntry.PossibleValues);
IEnumerable <Value> values = location.WriteValues(snapshot.MemoryAssistant, entry);
newValues.Add(location.Value);
snapshot.CurrentData.Writeable.SetMemoryEntry(location.ContainingIndex, snapshot.CreateMemoryEntry(newValues));
}
/// <summary>
/// Visits the information value location.
/// </summary>
/// <param name="location">The location.</param>
public void VisitInfoValueLocation(InfoValueLocation location)
{
}
/// <summary>
/// Visits the information value location.
/// </summary>
/// <param name="location">The location.</param>
public void VisitInfoValueLocation(InfoValueLocation location)
{
read(location.ContainingIndex);
}
