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);
}