static int isanycont(int p) { int p0,nc,p1,p2,i,res,flat[3]; p0=p; if(!RN_P_IS(p0,RN_P_ONE_OR_MORE)) return 0; rn_OneOrMore(p0,p1); p0=p1; if(!RN_P_IS(p0,RN_P_CHOICE)) return 0; rn_Choice(p0,p1,p2); flat[0]=p2; p0=p1; if(!RN_P_IS(p0,RN_P_CHOICE)) return 0; rn_Choice(p0,p1,p2); flat[1]=p1; flat[2]=p2; res=0; for(i=0;i!=3;++i) { p0=flat[i]; switch(RN_P_TYP(p0)) { case RN_P_ELEMENT: rn_Element(p0,nc,p1); if(!(RN_NC_IS(nc,RN_NC_ANY_NAME)&&p==p1)) return 0; res|=1; break; case RN_P_ATTRIBUTE: rn_Attribute(p0,nc,p1); if(!(RN_NC_IS(nc,RN_NC_ANY_NAME)&&p1==rn_text)) return 0; res|=2; break; case RN_P_TEXT: break; default: return 0; } } return res==3; }
static void expected(int p,int first,int req) { int p1,p2,px=0,i; if(req && rn_nullable(p)) return; switch(RN_P_TYP(p)) { case RN_P_ERROR: break; case RN_P_NOT_ALLOWED: break; case RN_P_EMPTY: break; case RN_P_TEXT: px=p; break; case RN_P_CHOICE: rn_Choice(p,p1,p2); expected(p1,first,req); expected(p2,first,req); break; case RN_P_INTERLEAVE: rn_Interleave(p,p1,p2); expected(p1,first,req); expected(p2,first,req); break; case RN_P_GROUP: rn_Group(p,p1,p2); expected(p1,first,req); expected(p2,first&&rn_nullable(p1),req); break; case RN_P_ONE_OR_MORE: rn_OneOrMore(p,p1); expected(p1,first,req); break; case RN_P_LIST: rn_List(p,p1); expected(p1,first,req); break; case RN_P_DATA: px=p; break; case RN_P_DATA_EXCEPT: rn_DataExcept(p,p1,p2); expected(p1,first,req); break; case RN_P_VALUE: px=p; break; case RN_P_ATTRIBUTE: px=p; break; case RN_P_ELEMENT: px=p; break; case RN_P_AFTER: rn_After(p,p1,p2); expected(p1,first,req); if(rn_nullable(p1)) px=p; break; case RN_P_REF: break; default: assert(0); } if(px&&(first||RN_P_IS(px,RN_P_ATTRIBUTE))) { for(i=0;i!=rnx_n_exp;++i) { if(rnx_exp[i]==px) {px=0; break;} } if(px) { if(rnx_n_exp==len_exp) rnx_exp=(int*)m_stretch(rnx_exp,len_exp=2*rnx_n_exp,rnx_n_exp,sizeof(int)); rnx_exp[rnx_n_exp++]=px; } } }