static <T> java.util.Set<T> scalaSetToJavaSet(scala.collection.immutable.Set<T> set) { return JavaConversions.setAsJavaSet(set); } }
/** See `FailureFlags.flagsOf` */ public static Set<String> flagsOf(Throwable t) { return JavaConversions.setAsJavaSet(FailureFlags$.MODULE$.flagsOf(t)); }
/** See `FailureFlags.flagsOf` */ public static Set<String> flagsOf(long flags) { return JavaConversions.setAsJavaSet(FailureFlags$.MODULE$.flagsOf(flags)); }
/** See `FailureFlags.flagsOf` */ public static Set<String> flagsOf(Throwable t) { return JavaConversions.setAsJavaSet(FailureFlags$.MODULE$.flagsOf(t)); }
/** See `FailureFlags.flagsOf` */ public static Set<String> flagsOf(long flags) { return JavaConversions.setAsJavaSet(FailureFlags$.MODULE$.flagsOf(flags)); }
/** See `FailureFlags.flagsOf` */ public static Set<String> flagsOf(Throwable t) { return JavaConversions.setAsJavaSet(FailureFlags$.MODULE$.flagsOf(t)); }
/** See `FailureFlags.flagsOf` */ public static Set<String> flagsOf(long flags) { return JavaConversions.setAsJavaSet(FailureFlags$.MODULE$.flagsOf(flags)); }
public Definition invoke(Module module, KExceptionManager kem, GlobalContext global) { if (cache.containsKey(module)) { return cache.get(module); } Definition definition = new Definition(module, kem); global.setDefinition(definition); JavaConversions.setAsJavaSet(module.attributesFor().keySet()).stream() .map(l -> KLabelConstant.of(l, definition)) .forEach(definition::addKLabel); definition.addKoreRules(module, global); cache.put(module, definition); return definition; } }
/** * Converts the org.kframework.Rules to backend Rules, also plugging in the automaton rule */ public void addKoreRules(Module module, GlobalContext global) { KOREtoBackendKIL transformer = new KOREtoBackendKIL(module, this, global, true); List<org.kframework.definition.Rule> koreRules = JavaConversions.setAsJavaSet(module.rules()).stream() .filter(r -> !r.att().contains(AUTOMATON)) .collect(Collectors.toList()); koreRules.forEach(r -> { if (r.att().contains(Att.topRule())) { reverseRuleTable.put(r.hashCode(), reverseRuleTable.size()); } }); koreRules.forEach(r -> { Rule convertedRule = transformer.convert(Optional.of(module), r); addRule(convertedRule); if (r.att().contains(Att.topRule())) { ruleTable.put(reverseRuleTable.get(r.hashCode()), convertedRule); } }); Optional<org.kframework.definition.Rule> koreAutomaton = JavaConversions.setAsJavaSet(module.localRules()).stream() .filter(r -> r.att().contains(AUTOMATON)) .collect(Collectors.collectingAndThen( Collectors.toList(), list -> list.size() == 1 ? Optional.of(list.get(0)) : Optional.empty() )); if (koreAutomaton.isPresent()) { automaton = transformer.convert(Optional.of(module), koreAutomaton.get()); } }
JavaConversions.setAsJavaSet(e.getValue()).stream().forEach(p -> { ImmutableList.Builder<Sort> sortsBuilder = ImmutableList.builder(); stream(p._1()).map(s -> Sort.of(s)).forEach(sortsBuilder::add);