public Sentence convert(Sentence s) { if (s.att().contains(Attribute.LEMMA_KEY) || s.att().contains(Attribute.SMT_LEMMA_KEY) || s.att().contains(Attribute.PATTERN_KEY) || s.att().contains(Attribute.PATTERN_FOLDING_KEY)) { return s; } else if (s instanceof Rule) { return convert((Rule) s); } else if (s instanceof Context) { return convert((Context) s); } else { return s; } }
public Sentence addImplicitCells(Sentence s) { if (s.att().contains(Attribute.MACRO_KEY) || s.att().contains(Attribute.ALIAS_KEY) || s.att().contains(Attribute.ANYWHERE_KEY)) { return s; } if (s instanceof Rule) { return addImplicitCells((Rule) s); } else if (s instanceof Context) { return addImplicitCells((Context) s); } else { return s; } } }
public Sentence resolve(Sentence s) { if (!((modes.contains(Mode.HEAT_RESULT) && s.att().contains("heat")) || ((modes.contains(Mode.COOL_RESULT_INJECTION) || modes.contains(Mode.COOL_RESULT_CONDITION)) && s.att().contains("cool")))) { return s; } if (s instanceof Rule) { return resolve((Rule) s); } else if (s instanceof Context) { return resolve((Context) s); } else { return s; } } }
public Sentence convert(Sentence s) { if (s.att().contains(Attribute.LEMMA_KEY) || s.att().contains(Attribute.SMT_LEMMA_KEY) || s.att().contains(Attribute.PATTERN_FOLDING_KEY)) { return s; } else if (s instanceof Rule) { return convert((Rule) s); } else if (s instanceof Context) { return convert((Context) s); } else { return s; } }
public Sentence apply(Sentence s) { if (s.att().contains(Attribute.MACRO_KEY) || s.att().contains(Attribute.ALIAS_KEY) || s.att().contains(Attribute.ANYWHERE_KEY)) { return s; } if (s instanceof Rule) { Rule rule = (Rule) s; return new Rule(apply(rule.body()), rule.requires(), rule.ensures(), rule.att()); } else if (s instanceof Context) { Context context = (Context) s; return new Context(apply(context.body()), context.requires(), context.att()); } else { return s; } }
.filter(s -> s instanceof Rule && s.att().contains("unblock")) .collect(Collectors.toList()); assert unblockRules.size() == 1;
public static java.util.List<UserList> getLists(Set<Sentence> sentences) { Map<Boolean, List<Sentence>> separatedProds = sentences.stream().collect(Collectors.groupingBy(p -> p instanceof Production && p.att().contains(Att.userList()))); Map<Sort, java.util.List<Sentence>> listsMap = separatedProds.getOrDefault(true, new LinkedList<>()) .stream().collect(Collectors.groupingBy(s -> ((Production) s).sort()));
public static java.util.List<UserList> getLists(Set<Sentence> sentences) { Map<Boolean, List<Sentence>> separatedProds = sentences.stream().collect(Collectors.groupingBy(p -> p instanceof Production && p.att().contains(Att.userList()))); Map<Sort, java.util.List<Sentence>> listsMap = separatedProds.getOrDefault(true, new LinkedList<>()) .stream().collect(Collectors.groupingBy(s -> ((Production) s).sort()));
ConfigurationInfo cfgInfo = new ConfigurationInfoFromModule(mod); parseProds = Stream.concat(prods.stream(), stream(mod.sentences())).flatMap(s -> { if (s instanceof Production && s.att().contains("cellCollection")) { return Stream.empty(); if (s instanceof Production && (s.att().contains("cell"))) { Production p = (Production) s; return Stream.of(p1, p2); if (s instanceof Production && (s.att().contains("cellFragment", Sort.class))) { Production p = (Production) s; Production p1 = Production(Sorts.Cell(), Seq(NonTerminal(p.sort()))); } else if (addConfigCells) { parseProds = Stream.concat(prods.stream(), stream(mod.sentences()).filter(s -> !s.att().contains("cell"))).collect(Collectors.toSet()); } else parseProds = Stream.concat(prods.stream(), stream(mod.sentences())).collect(Collectors.toSet()); res.addAll(prods3.stream().filter(p -> !(p instanceof Production && (p.att().contains(Att.generatedByListSubsorting()) || p.att().contains(Att.userList())))).collect(Collectors.toSet())); parseProds = res;