// endTagDeriv :: Pattern -> Pattern
// [implemented]
internal static RdpPattern EndTagDeriv (RdpPattern p)
{
return p.EndTagDeriv ();
}
public RdpPattern EndTagDeriv (RdpPattern p)
{
RdpPattern m = endTag [p] as RdpPattern;
if (m != null)
return m;
m = p.EndTagDeriv (this);
endTag [p] = m;
return m;
}