Exemplo n.º 1
0
 public void enterElement(String $uri, String $local, String $qname, Attributes $attrs)
     throws SAXException {
   int $ai;
   switch ($_ngcc_current_state) {
     case 0:
       {
         revertToParentFromEnterElement(this, super._cookie, $uri, $local, $qname, $attrs);
       }
       break;
     case 3:
       {
         if (($uri.equals("http://relaxng.org/ns/structure/1.0") && $local.equals("start"))) {
           $runtime.onEnterElementConsumed($uri, $local, $qname, $attrs);
           $_ngcc_current_state = 2;
         } else {
           unexpectedEnterElement($qname);
         }
       }
       break;
     case 2:
       {
         if ((($uri.equals("http://relaxng.org/ns/structure/1.0") && $local.equals("list"))
             || (($uri.equals("http://relaxng.org/ns/structure/1.0") && $local.equals("choice"))
                 || (($uri.equals("http://relaxng.org/ns/structure/1.0")
                         && $local.equals("element"))
                     || (($ai =
                                 $runtime.getAttributeIndex(
                                     "http://www.xml.gr.jp/xmlns/relaxngcc", "return-value"))
                             >= 0
                         || (($ai =
                                     $runtime.getAttributeIndex(
                                         "http://www.xml.gr.jp/xmlns/relaxngcc", "return-type"))
                                 >= 0
                             || (($uri.equals("http://relaxng.org/ns/structure/1.0")
                                     && $local.equals("optional"))
                                 || (($ai =
                                             $runtime.getAttributeIndex(
                                                 "http://www.xml.gr.jp/xmlns/relaxngcc", "params"))
                                         >= 0
                                     || (($uri.equals("http://relaxng.org/ns/structure/1.0")
                                             && $local.equals("group"))
                                         || (($uri.equals("http://relaxng.org/ns/structure/1.0")
                                                 && $local.equals("notAllowed"))
                                             || (($uri.equals(
                                                         "http://relaxng.org/ns/structure/1.0")
                                                     && $local.equals("data"))
                                                 || (($uri.equals(
                                                             "http://relaxng.org/ns/structure/1.0")
                                                         && $local.equals("zeroOrMore"))
                                                     || (($uri.equals(
                                                                 "http://relaxng.org/ns/structure/1.0")
                                                             && $local.equals("parentRef"))
                                                         || (($ai =
                                                                     $runtime.getAttributeIndex(
                                                                         "http://www.xml.gr.jp/xmlns/relaxngcc",
                                                                         "class"))
                                                                 >= 0
                                                             || (($uri.equals(
                                                                         "http://relaxng.org/ns/structure/1.0")
                                                                     && $local.equals("oneOrMore"))
                                                                 || (($uri.equals(
                                                                             "http://relaxng.org/ns/structure/1.0")
                                                                         && $local.equals("mixed"))
                                                                     || (($uri.equals(
                                                                                 "http://relaxng.org/ns/structure/1.0")
                                                                             && $local.equals(
                                                                                 "text"))
                                                                         || (($uri.equals(
                                                                                     "http://www.xml.gr.jp/xmlns/relaxngcc")
                                                                                 && $local.equals(
                                                                                     "java"))
                                                                             || (($uri.equals(
                                                                                         "http://relaxng.org/ns/structure/1.0")
                                                                                     && $local
                                                                                         .equals(
                                                                                             "attribute"))
                                                                                 || (($uri.equals(
                                                                                             "http://relaxng.org/ns/structure/1.0")
                                                                                         && $local
                                                                                             .equals(
                                                                                                 "ref"))
                                                                                     || (($ai =
                                                                                                 $runtime
                                                                                                     .getAttributeIndex(
                                                                                                         "",
                                                                                                         "combine"))
                                                                                             >= 0
                                                                                         || (($uri
                                                                                                     .equals(
                                                                                                         "http://relaxng.org/ns/structure/1.0")
                                                                                                 && $local
                                                                                                     .equals(
                                                                                                         "value"))
                                                                                             || (($uri
                                                                                                         .equals(
                                                                                                             "http://relaxng.org/ns/structure/1.0")
                                                                                                     && $local
                                                                                                         .equals(
                                                                                                             "interleave"))
                                                                                                 || (($ai =
                                                                                                             $runtime
                                                                                                                 .getAttributeIndex(
                                                                                                                     "http://www.xml.gr.jp/xmlns/relaxngcc",
                                                                                                                     "access"))
                                                                                                         >= 0
                                                                                                     || (($uri
                                                                                                                 .equals(
                                                                                                                     "http://relaxng.org/ns/structure/1.0")
                                                                                                             && $local
                                                                                                                 .equals(
                                                                                                                     "grammar"))
                                                                                                         || (($uri
                                                                                                                     .equals(
                                                                                                                         "http://www.xml.gr.jp/xmlns/relaxngcc")
                                                                                                                 && $local
                                                                                                                     .equals(
                                                                                                                         "java-import"))
                                                                                                             || (($uri
                                                                                                                         .equals(
                                                                                                                             "http://www.xml.gr.jp/xmlns/relaxngcc")
                                                                                                                     && $local
                                                                                                                         .equals(
                                                                                                                             "java-body"))
                                                                                                                 || ($uri
                                                                                                                         .equals(
                                                                                                                             "http://relaxng.org/ns/structure/1.0")
                                                                                                                     && $local
                                                                                                                         .equals(
                                                                                                                             "empty"))))))))))))))))))))))))))))) {
           NGCCHandler h =
               new PatternDefinition(this, super._source, $runtime, 17, $runtime.grammar);
           spawnChildFromEnterElement(h, $uri, $local, $qname, $attrs);
         } else {
           unexpectedEnterElement($qname);
         }
       }
       break;
     default:
       {
         unexpectedEnterElement($qname);
       }
       break;
   }
 }