Outline

<..static void fracLevel(dom)..>

public static void fracLevel(Node d) {
    dom = (Document) d;
    setFracLevel(dom.getFirstChild(), 0);
}
private static int setFracLevel(Node node, int cont) {
   int level = 0;
   if (node.hasChildNodes()) {
         String ndName = node.getNodeName();
     int prevCont = cont;
     String clValue = null;
     if (ndName.equals("mfrac")) {
       <.clValue := class of mfrac .>
       <.cont := distance from mfrac(continued-frac).>
     }
     <.level += inherited from children .>
     <.return 0 if barier .>
     if (ndName.equals("mfrac")) {
       <.return 0 if mfrac barier .>
       if( cont > 0 ){
           if ( prevCont == 0 ){
              <.set start continued fracs mark .>
           }
           <.remove end of non-tail continued frac .>
           level = 0;
       } else if ( prevCont > 0 ){
           <.set end continued fracs mark .>
           level = 0;
       } else
         if( level > 0 ){
           <.set extra levels for frac .>
         }
         level++;
   } }
   return level;
}

-_-_-

9.1 Outline