Exemple #1
0
 {
   addCell(null, "TopCell", "<top>");
   addCell("TopCell", "ThreadCell", "<t>", Multiplicity.STAR);
   addCell("ThreadCell", "KCell", "<k>", Sorts.K());
   addCell("ThreadCell", "EnvCell", "<env>", Sort("Map"));
   addCell("ThreadCell", "OptCell", "<opt>", Multiplicity.OPTIONAL, Sorts.K());
   addUnit("OptCell", KLabel(".OptCell"));
   addUnit("ThreadCell", KLabel(".ThreadCellBag"));
   addConcat("ThreadCell", KLabel("_ThreadCellBag_"));
 }
Exemple #2
0
 {
   addCell(null, "TopCell", "<top>");
   addCell("TopCell", "ThreadCell", "<t>", Multiplicity.STAR, Sorts.K());
   addCell("TopCell", "ExtraCell", "<extra>");
   addUnit("ThreadCell", KLabel(".ThreadCellBag"));
   addConcat("ThreadCell", KLabel("_ThreadCellBag_"));
 }
 public Module gen(Module mod) {
   Set<Sentence> res = new HashSet<>();
   for (Sort sort : iterable(mod.definedSorts())) {
     Production prod =
         Production(
             "is" + sort.name(),
             Sorts.Bool(),
             Seq(
                 Terminal("is" + sort.name()),
                 Terminal("("),
                 NonTerminal(Sorts.K()),
                 Terminal(")")),
             Att().add(Attribute.FUNCTION_KEY).add(Attribute.PREDICATE_KEY, sort.name()));
     if (!mod.productions().contains(prod)) res.add(prod);
   }
   return Module(
       mod.name(),
       mod.imports(),
       (scala.collection.immutable.Set<Sentence>) mod.localSentences().$bar(immutable(res)),
       mod.att());
 }