/// <summary> /// Initializes a new instance of the <see cref="FieldLocationVisitor"/> class. /// </summary> /// <param name="fieldSegment">The field segment.</param> /// <param name="assistant">The assistant.</param> /// <param name="mustLocationProcess">The must location process.</param> /// <param name="mayLocationProcess">The may location process.</param> public FieldLocationVisitor(FieldPathSegment fieldSegment, MemoryAssistantBase assistant, HashSet <ValueLocation> mustLocationProcess, HashSet <ValueLocation> mayLocationProcess) : base(assistant) { this.fieldSegment = fieldSegment; this.mustLocationProcess = mustLocationProcess; this.mayLocationProcess = mayLocationProcess; }
/// <summary> /// Initializes a new instance of the <see cref="ReadFieldVisitor"/> class. /// </summary> /// <param name="containingIndex">Index of the containing.</param> /// <param name="fieldSegment">The field segment.</param> /// <param name="locations">The locations.</param> public ReadFieldVisitor(MemoryIndex containingIndex, FieldPathSegment fieldSegment, ICollection <ValueLocation> locations) { this.containingIndex = containingIndex; this.locations = locations; ContainsUndefinedValue = false; ContainsDefinedValue = false; ContainsObjectValue = false; ContainsAnyValue = false; index = new VariableIdentifier(fieldSegment.Names); }
/// <summary> /// Visits the field to continue traversing memory tree by object field. /// </summary> /// <param name="fieldSegment">The field segment.</param> public void VisitField(FieldPathSegment fieldSegment) { FieldLocationVisitor visitor = new FieldLocationVisitor(fieldSegment, this); foreach (MemoryIndex parentIndex in mustIndexes) { processField(parentIndex, fieldSegment, visitor); } foreach (ValueLocation parentLocation in mustLocation) { parentLocation.Accept(visitor); } }
/// <summary> /// Processes the field - traverse thru all containing objects or sets path to undefined. /// </summary> /// <param name="parentIndex">Index of the parent.</param> /// <param name="fieldSegment">The field segment.</param> /// <param name="visitor">The visitor to process scalar values.</param> private void processField(MemoryIndex parentIndex, FieldPathSegment fieldSegment, ProcessValueAsLocationVisitor visitor) { MemoryEntry entry; if (snapshot.Data.TryGetMemoryEntry(parentIndex, out entry)) { bool processOtherValues = false; ObjectValueContainer objectValues = snapshot.Structure.GetObjects(parentIndex); if (objectValues.Count > 0) { foreach (ObjectValue objectValue in objectValues) { ObjectDescriptor descriptor = snapshot.Structure.GetDescriptor(objectValue); process(fieldSegment, descriptor); } processOtherValues = entry.Count > objectValues.Count; } else if (entry.Count > 0) { processOtherValues = true; } else { IsDefined = false; } if (processOtherValues) { visitor.ProcessValues(parentIndex, entry.PossibleValues, true); } } else { IsDefined = false; } }
/// <summary> /// Visits the field to continue traversing memory tree by object field. /// </summary> /// <param name="segment">The segment.</param> public void VisitField(FieldPathSegment segment) { FieldLocationVisitor visitor = new FieldLocationVisitor(segment, snapshot.MemoryAssistant, mustLocationProcess, mayLocationProcess); visitor.IsMust = true; foreach (MemoryIndex index in mustIndexes) { processField(segment, index, visitor, true); } foreach (ValueLocation location in mustLocation) { location.Accept(visitor); } visitor.IsMust = false; foreach (MemoryIndex index in MayIndexes) { processField(segment, index, visitor, false); } foreach (ValueLocation location in mayLocation) { location.Accept(visitor); } }
/// <summary> /// Initializes a new instance of the <see cref="FieldLocationVisitor"/> class. /// </summary> /// <param name="fieldSegment">The field segment.</param> /// <param name="collector">The collector.</param> public FieldLocationVisitor(FieldPathSegment fieldSegment, ReadCollector collector) : base(collector.snapshot.MemoryAssistant) { this.fieldSegment = fieldSegment; this.collector = collector; }
/// <summary> /// Visits the field. /// </summary> /// <param name="fieldSegment">The field segment.</param> public void VisitField(FieldPathSegment fieldSegment) { CreatedIndex = snapshot.CreateField(Name, ObjectValue, IsMust, true); }