// <summary> // Copies a record constructor // </summary> // <param name="op"> The Op to Copy </param> // <param name="n"> The Node that references the Op </param> // <returns> A copy of the original Node that references a copy of the original Op </returns> public override Node Visit(NewRecordOp op, Node n) { return(CopyDefault(m_destCmd.CreateNewRecordOp(op.Type), n)); }