public virtual PipProvenance ReadPipProvenance() { Start <PipProvenance>(); PipProvenance value = PipProvenance.Deserialize(this); End(); return(value); }
public virtual PipProvenance ReadPipProvenance() { Contract.Ensures(Contract.Result <PipProvenance>() != null); Start <PipProvenance>(); PipProvenance value = PipProvenance.Deserialize(this); End(); return(value); }