示例#1
0
        /// <summary>
        /// Determines whether the specified System.Object is equal
        /// to the current System.Object.
        /// </summary>
        /// <param name="obj">Object</param>
        /// <returns>Boolean</returns>
        public override bool Equals(object obj)
        {
            if (obj == null)
            {
                return(false);
            }

            MachineInfo mid = obj as MachineInfo;

            if (mid == null)
            {
                return(false);
            }

            return(MachineId == mid.MachineId);
        }
示例#2
0
 /// <summary>
 /// Initializes this machine.
 /// </summary>
 /// <param name="runtime">PSharpRuntime</param>
 /// <param name="mid">MachineId</param>
 /// <param name="info">MachineInfo</param>
 internal void Initialize(PSharpRuntime runtime, MachineId mid, MachineInfo info)
 {
     this.Runtime = mid.Runtime;
     this.Id      = mid;
     this.Info    = info;
 }