public RdpPattern EmptyTextDeriv (RdpPattern p) { RdpPattern m = emptyText [p] as RdpPattern; if (m != null) return m; m = p.EmptyTextDeriv (this); emptyText [p] = m; return m; }