public bool Emptiable(object stateObject)
{
ValidationState state = ToState(stateObject);
RdpPattern p = state.Pattern;
return(!(p.EndTagDeriv() is RdpNotAllowed));
}
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);
}
// endTagDeriv :: Pattern -> Pattern
// [implemented]
internal static RdpPattern EndTagDeriv(RdpPattern p)
{
return(p.EndTagDeriv());
}