/**
  * Tests if a Element <code>element</code> is valid for the <code>NonExistentAttributeTransition
  * </code>.
  *
  * @param element
  * @return boolean
  */
 public static boolean isMatch(Element element) {
   if (!URelaxer2.isTargetElement(
       element,
       "http://www.iso_relax.org/xmlns/miaou/binaryTreeAutomaton",
       "nonExistentAttributeTransition")) {
     return (false);
   }
   RStack target = new RStack(element);
   boolean $match$ = false;
   Element child;
   if (!target.hasAttributeHungry("target")) {
     return (false);
   }
   $match$ = true;
   if (!target.hasAttributeHungry("nameClass")) {
     return (false);
   }
   $match$ = true;
   if (!target.hasAttributeHungry("right")) {
     return (false);
   }
   $match$ = true;
   if (!target.isEmptyElement()) {
     return (false);
   }
   return (true);
 }
Beispiel #2
0
 /**
  * Tests if a Element <code>element</code> is valid for the <code>MRem</code>.
  *
  * @param element
  * @return boolean
  */
 public static boolean isMatch(Element element) {
   if (!URelaxer2.isTargetElement(element, "http://www.w3.org/1998/Math/MathML", "rem")) {
     return (false);
   }
   RStack target = new RStack(element);
   Element child;
   if (!target.isEmptyElement()) {
     return (false);
   }
   return (true);
 }
  /**
   * Tests if a Element <code>element</code> is valid for the <code>Direction</code>.
   *
   * @param element
   * @return boolean
   */
  public static boolean isMatch(Element element) {
    if (!URelaxer2.isTargetElement(
        element, "http://www.asahi-net.or.jp/~cs8k-cyu/bulletml", "direction")) {
      return (false);
    }

    RStack target = new RStack(element);
    Element child;

    if (!target.isEmptyElement()) {
      return (false);
    }

    return (true);
  }
Beispiel #4
0
 /**
  * Tests if a Element <code>element</code> is valid for the <code>MSet</code>.
  *
  * @param element
  * @return boolean
  */
 public static boolean isMatch(Element element) {
   if (!URelaxer2.isTargetElement(element, "http://www.w3.org/1998/Math/MathML", "set")) {
     return (false);
   }
   RStack target = new RStack(element);
   Element child;
   while (!target.isEmptyElement()) {
     if (MCi.isMatchHungry(target)) {
     } else if (MCn.isMatchHungry(target)) {
     } else if (MApply.isMatchHungry(target)) {
     } else if (MReln.isMatchHungry(target)) {
     } else if (MLambda.isMatchHungry(target)) {
     } else if (MCondition.isMatchHungry(target)) {
     } else if (MDeclare.isMatchHungry(target)) {
     } else if (MSep.isMatchHungry(target)) {
     } else if (MSemantics.isMatchHungry(target)) {
     } else if (MAnnotation.isMatchHungry(target)) {
     } else if (MAnnotationXml.isMatchHungry(target)) {
     } else if (MInterval.isMatchHungry(target)) {
     } else if (MList.isMatchHungry(target)) {
     } else if (MMatrix.isMatchHungry(target)) {
     } else if (MMatrixrow.isMatchHungry(target)) {
     } else if (MSet.isMatchHungry(target)) {
     } else if (MVector.isMatchHungry(target)) {
     } else if (MLowlimit.isMatchHungry(target)) {
     } else if (MUplimit.isMatchHungry(target)) {
     } else if (MBvar.isMatchHungry(target)) {
     } else if (MDegree.isMatchHungry(target)) {
     } else if (MLogbase.isMatchHungry(target)) {
     } else if (MInverse.isMatchHungry(target)) {
     } else if (MIdent.isMatchHungry(target)) {
     } else if (MAbs.isMatchHungry(target)) {
     } else if (MConjugate.isMatchHungry(target)) {
     } else if (MExp.isMatchHungry(target)) {
     } else if (MFactorial.isMatchHungry(target)) {
     } else if (MNot.isMatchHungry(target)) {
     } else if (MLn.isMatchHungry(target)) {
     } else if (MSin.isMatchHungry(target)) {
     } else if (MCos.isMatchHungry(target)) {
     } else if (MTan.isMatchHungry(target)) {
     } else if (MSec.isMatchHungry(target)) {
     } else if (MCsc.isMatchHungry(target)) {
     } else if (MCot.isMatchHungry(target)) {
     } else if (MSinh.isMatchHungry(target)) {
     } else if (MCosh.isMatchHungry(target)) {
     } else if (MTanh.isMatchHungry(target)) {
     } else if (MSech.isMatchHungry(target)) {
     } else if (MCsch.isMatchHungry(target)) {
     } else if (MCoth.isMatchHungry(target)) {
     } else if (MArcsin.isMatchHungry(target)) {
     } else if (MArccos.isMatchHungry(target)) {
     } else if (MArctan.isMatchHungry(target)) {
     } else if (MDeterminant.isMatchHungry(target)) {
     } else if (MTranspose.isMatchHungry(target)) {
     } else if (MQuotient.isMatchHungry(target)) {
     } else if (MDivide.isMatchHungry(target)) {
     } else if (MPower.isMatchHungry(target)) {
     } else if (MRem.isMatchHungry(target)) {
     } else if (MImplies.isMatchHungry(target)) {
     } else if (MSetdiff.isMatchHungry(target)) {
     } else if (MFn.isMatchHungry(target)) {
     } else if (MCompose.isMatchHungry(target)) {
     } else if (MPlus.isMatchHungry(target)) {
     } else if (MTimes.isMatchHungry(target)) {
     } else if (MMax.isMatchHungry(target)) {
     } else if (MMin.isMatchHungry(target)) {
     } else if (MGcd.isMatchHungry(target)) {
     } else if (MAnd.isMatchHungry(target)) {
     } else if (MOr.isMatchHungry(target)) {
     } else if (MXor.isMatchHungry(target)) {
     } else if (MUnion.isMatchHungry(target)) {
     } else if (MIntersect.isMatchHungry(target)) {
     } else if (MMean.isMatchHungry(target)) {
     } else if (MSdev.isMatchHungry(target)) {
     } else if (MVariance.isMatchHungry(target)) {
     } else if (MMedian.isMatchHungry(target)) {
     } else if (MMode.isMatchHungry(target)) {
     } else if (MSelector.isMatchHungry(target)) {
     } else if (MRoot.isMatchHungry(target)) {
     } else if (MMinus.isMatchHungry(target)) {
     } else if (MLog.isMatchHungry(target)) {
     } else if (MInt.isMatchHungry(target)) {
     } else if (MDiff.isMatchHungry(target)) {
     } else if (MPartialdiff.isMatchHungry(target)) {
     } else if (MSum.isMatchHungry(target)) {
     } else if (MProduct.isMatchHungry(target)) {
     } else if (MLimit.isMatchHungry(target)) {
     } else if (MMoment.isMatchHungry(target)) {
     } else if (MExists.isMatchHungry(target)) {
     } else if (MForall.isMatchHungry(target)) {
     } else if (MNeq.isMatchHungry(target)) {
     } else if (MIn.isMatchHungry(target)) {
     } else if (MNotin.isMatchHungry(target)) {
     } else if (MNotsubset.isMatchHungry(target)) {
     } else if (MNotprsubset.isMatchHungry(target)) {
     } else if (MTendsto.isMatchHungry(target)) {
     } else if (MEq.isMatchHungry(target)) {
     } else if (MLeq.isMatchHungry(target)) {
     } else if (MLt.isMatchHungry(target)) {
     } else if (MGeq.isMatchHungry(target)) {
     } else if (MGt.isMatchHungry(target)) {
     } else if (MSubset.isMatchHungry(target)) {
     } else if (MPrsubset.isMatchHungry(target)) {
     } else if (MMi.isMatchHungry(target)) {
     } else if (MMn.isMatchHungry(target)) {
     } else if (MMo.isMatchHungry(target)) {
     } else if (MMtext.isMatchHungry(target)) {
     } else if (MMs.isMatchHungry(target)) {
     } else if (MMspace.isMatchHungry(target)) {
     } else if (MMrow.isMatchHungry(target)) {
     } else if (MMfrac.isMatchHungry(target)) {
     } else if (MMsqrt.isMatchHungry(target)) {
     } else if (MMroot.isMatchHungry(target)) {
     } else if (MMstyle.isMatchHungry(target)) {
     } else if (MMerror.isMatchHungry(target)) {
     } else if (MMpadded.isMatchHungry(target)) {
     } else if (MMphantom.isMatchHungry(target)) {
     } else if (MMfenced.isMatchHungry(target)) {
     } else if (MMsub.isMatchHungry(target)) {
     } else if (MMsup.isMatchHungry(target)) {
     } else if (MMsubsup.isMatchHungry(target)) {
     } else if (MMunder.isMatchHungry(target)) {
     } else if (MMover.isMatchHungry(target)) {
     } else if (MMunderover.isMatchHungry(target)) {
     } else if (MMmultiscripts.isMatchHungry(target)) {
     } else if (MMtable.isMatchHungry(target)) {
     } else if (MMtr.isMatchHungry(target)) {
     } else if (MMtd.isMatchHungry(target)) {
     } else if (MMaligngroup.isMatchHungry(target)) {
     } else if (MMalignmark.isMatchHungry(target)) {
     } else if (MMaction.isMatchHungry(target)) {
     } else {
       break;
     }
   }
   if (!target.isEmptyElement()) {
     return (false);
   }
   return (true);
 }