Example #1
0
        /// <summary>
        /// Cnverts context base variable into the copy memory model snapshot.
        /// </summary>
        /// <param name="context">The context variable.</param>
        /// <returns>Given context parameter converted into copy memory model snapshot.</returns>
        /// <exception cref="System.ArgumentException">Context parametter is not of type Weverca.MemoryModels.CopyMemoryModel.Snapshot</exception>
        public static Snapshot ToSnapshot(ISnapshotReadonly context)
        {
            Snapshot snapshot = context as Snapshot;

            if (snapshot != null)
            {
                return(snapshot);
            }
            else
            {
                throw new ArgumentException("Context parametter is not of type Weverca.MemoryModels.CopyMemoryModel.Snapshot");
            }
        }
Example #2
0
        public virtual string ToString(ISnapshotReadonly snapshot)
        {
            var result = new StringBuilder();

            result.Append("Values: ");
            foreach (var value in PossibleValues)
            {
                result.AppendFormat("({0}),", value.ToString(snapshot));
            }

            result.Length--;

            return(result.ToString());
        }
Example #3
0
 public override string ToString(ISnapshotReadonly snapshot)
 {
     return(string.Format("{0} UID: {1}", snapshot.ObjectType(this).QualifiedName.ToString(), UID));
 }
Example #4
0
 public virtual string ToString(ISnapshotReadonly snapshot)
 {
     return(ToString());
 }