How to use

getProductions

method

in

org.kframework.kil.PriorityBlock

public void visit(Syntax syntax) {
  this.sort = syntax.getDeclaredSort().getRealSort();
  syntax.getPriorityBlocks().forEach(pb -> pb.getProductions().forEach(this::visit));
}

  @Test
  public void testLexicalRules2() throws Exception {
    // TODO: remove once the new parser is fully functional
    String def = "module TEST syntax Str ::= Token{{[a]|[b] \".\"}+NT~[x]*} endmodule";

    List<DefinitionItem> defItemList = Outer.parse(Source.apply("generated by OuterParsingTests"), def, null);

    Module mod = (Module) defItemList.get(0);
    Syntax syn = (Syntax) mod.getItems().get(0);
    Lexical lex = (Lexical) syn.getPriorityBlocks().get(0).getProductions().get(0).getItems().get(0);

    Assert.assertEquals("{[a]|[b] \".\"}+NTDz~[x]*", lex.getLexicalRule());
  }
}

@Test
public void testLexicalRules() throws Exception {
  // TODO: remove once the new parser is fully functional
  String def = "module TEST syntax Str ::= Token{((~[\\'\\n\\r\\\\])|([\\\\]~[\\n\\r]))*} endmodule";
  List<DefinitionItem> defItemList = Outer.parse(Source.apply("generated by OuterParsingTests"), def, null);
  Module mod = (Module) defItemList.get(0);
  Syntax syn = (Syntax) mod.getItems().get(0);
  Lexical lex = (Lexical) syn.getPriorityBlocks().get(0).getProductions().get(0).getItems().get(0);
  Assert.assertEquals("((~[\\'\\n\\r\\\\])|([\\\\]~[\\n\\r]))*", lex.getLexicalRule());
}

  private static void check(ModuleItem i) {
    if (i instanceof Syntax) {
      Syntax s = (Syntax) i;
      for (PriorityBlock b : s.getPriorityBlocks()) {
        for (Production p : b.getProductions()) {
          if (p.getItems().size() == 1 && p.getItems().get(0) instanceof UserList) { // Syntax Es ::= List{E,""}
            Sort listSort = s.getDeclaredSort().getSort(); // Es
            Sort elemSort = ((UserList) p.getItems().get(0)).getSort(); // E
            if (isBaseSort(listSort)) {
              throw KEMException.compilerError(listSort + " can not be extended to be a list sort.", p);
            }
            if (listSort.equals(elemSort)) {
              throw KEMException.compilerError("Circular lists are not allowed.", p);
            }
          } else {
            for (ProductionItem it : p.getItems()) {
              if (it instanceof UserList) { // Syntax Es ::= ... List{E,""} ...
                throw KEMException.compilerError("Inline list declarations are not allowed.", it);
              }
            }
          }
        }
      }
    }
  }
}

  .getProductions().stream().filter(p -> p.getKLabel(kore) != null).map(p -> Tag(p.getKLabel(kore)))
  .collect(Collectors.toSet()));
for (Production p : b.getProductions()) {
  if (p.containsAttribute("reject")) // skip productions of the old reject type
    continue;