!7

cprint {

  start-thread {

    S riddle = "STATIC ALA FLATTEN LIST OF PAIRS L PAIR A LL A OUT EMPTY LIST LL FOR PAIR APUN NULL L OUT ADD PA OUT ADD PB RET OUT";

    S productions = [[

      $main        := $function

      $function    := $modifiers $typeParameters $returnType $name "(" $args ")" "{" $body "}"

      $body        := repeat0OrMore($statement)

      $declaration := $type $name "=" $value ";"

      $statement   := $returnStmt | $declaration

      $returnStmt  := "ret" $value ";"

    ]];

    new LS prods2;

    for (S grammarClass, def : parseColonEqualsProperties_tlftj(productions)) {

      def = replaceDollarVarsWithAngleBracketed(def);

      LS tok = javaTokWithAngleBracketsC(def);

      S def2 = joinWithSpace(withoutQuoted(tok));

      S replacement = joinWithSpace("bla");

      prods2.add(dropDollarPrefix(grammarClass) + " => " + quote(def2) + " => " + replacement);

    }

    new RecursiveProbabilisticParser1 parser;

    parser.minTokensForAny = 0;

    //parser.verbose = true;

    print(recursiveProbabilisticParse(print(lines(prods2)), "function", riddle, +parser));

  }

}