C# (CSharp) Weverca.MemoryModels.CopyMemoryModel ArrayUndefinedValueLocation示例

示例#1

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

            ProcessValues(null, values, IsMust);
        }

示例#2

 /// <summary>
 /// Visits the array undefined value location.
 /// </summary>
 /// <param name="location">The location.</param>
 public void VisitArrayUndefinedValueLocation(ArrayUndefinedValueLocation location)
 {
 }

示例#3

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

示例#4

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