C# (CSharp) Weverca.MemoryModels.CopyMemoryModel ObjectUndefinedValueLocation Examples

Example #1

        /// <summary>
        /// Visits the object undefined value location.
        /// </summary>
        /// <param name="location">The location.</param>
        public void VisitObjectUndefinedValueLocation(ObjectUndefinedValueLocation location)
        {
            IEnumerable <Value> values = location.ReadValues(assistant);

            ProcessValues(null, values, IsMust);
        }

Example #2

 /// <summary>
 /// Visits the object undefined value location.
 /// </summary>
 /// <param name="location">The location.</param>
 public void VisitObjectUndefinedValueLocation(ObjectUndefinedValueLocation location)
 {
 }

Example #3

 /// <summary>
 /// Visits the object undefined value location.
 /// </summary>
 /// <param name="location">The location.</param>
 public void VisitObjectUndefinedValueLocation(ObjectUndefinedValueLocation location)
 {
     Value = new Value[] { };
 }

Example #4

 /// <summary>
 /// Visits the object undefined value location.
 /// </summary>
 /// <param name="location">The location.</param>
 public void VisitObjectUndefinedValueLocation(ObjectUndefinedValueLocation location)
 {
     location.WriteValues(snapshot.MemoryAssistant, entry);
 }