void CheckOpen () { if (!is_open) throw new InvalidOperationException ("Specified port is not open."); }