/// <summary> /// Initializes a new instance of the <see cref="EdgeTraversal" /> class from the specified instance. /// </summary> /// <param name="other"> /// The instance from which the new instance is to be initialized. /// </param> /// <exception cref="ArgumentNullException"> /// Thrown if <paramref name="other" /> is null. /// </exception> public EdgeTraversal(EdgeTraversal other) { if (other == null) { throw new ArgumentNullException(nameof(other)); } Init(other.EdgeId, other.Message, other.FinalState, other.Properties); }
public virtual EdgeTraversal VisitEdgeTraversal(EdgeTraversal node) { if (node != null) { node.Message = VisitNullChecked(node.Message); } return(node); }
public bool ValueEquals(EdgeTraversal other) => ValueComparer.Equals(this, other);