public ValidationState AfterCloseStartTag()
{
RdpPattern p = state.StartTagCloseDeriv();
return(p is RdpNotAllowed ?
null : new ValidationState(p));
}
public RdpPattern StartTagCloseDeriv(RdpPattern p)
{
RdpPattern m = startClose [p] as RdpPattern;
if (m != null)
{
return(m);
}
m = p.StartTagCloseDeriv(this);
startClose [p] = m;
return(m);
}
// startTagCloseDeriv :: Pattern -> Pattern
// [implemented]
internal static RdpPattern StartTagCloseDeriv(RdpPattern p)
{
return(p.StartTagCloseDeriv());
}