@Override public K apply(KApply k) { if (predicates.values().contains(k)) { return BooleanUtils.TRUE; } return super.apply(k); } }.apply(requires);
@Override public K apply(KVariable k) { if (ANON_VAR.equals(k)) { return newDotVariable(); } return super.apply(k); } }.apply(term);
public K apply(KSequence kseq) { return super.apply(((ADT.KSequence) kseq).kApply()); } }.apply(ruleBody);
@Override public K apply(KApply k) { if (k.klabel().name().equals(userCellLabel.name())) { return getUnblockRuleBody(streamProduction, sort); } else { return super.apply(k); } }
@Override public K apply(KVariable k) { if (normalization.containsKey(k)) { return KVariable(normalization.get(k), k.att().add("denormal", k.name())); } return super.apply(k); } }.apply(denormal);
public K apply(KVariable var) { if (var.name(). equals("HOLE") && transitions.stream().noneMatch(att::contains)) { return KVariable(var.name(), var.att().add(Sort.class, Outer.parseSort(att.getOptional("result").orElse("KResult")))); } return super.apply(var); } }.apply(body);
@Override public K apply(KSequence k) { k = (KSequence) super.apply(k); return KSequence(k.items(), k.att()); }
@Override public K apply(KApply k) { if (k.klabel() instanceof KVariable && predicates.containsKey(k.klabel())) { return KApply(apply(k.klabel()), k.klist().items().stream().map(this::apply).collect(org.kframework.Collections.toList()), k.att()); } return super.apply(k); }
@Override public K apply(KApply k) { if (k.klabel().name().startsWith("#SemanticCastTo")) { sort = k.att().get(Production.class).sort(); } return super.apply(k); }
@Override public K apply(KRewrite k) { k = (KRewrite) super.apply(k); return KRewrite(k.left(), k.right(), k.att()); }
@Override public K apply(KRewrite k) { K left = super.apply(k.left()); return KRewrite(left, k.right(), k.att()); } }.apply(term);
@Override public K apply(InjectedKLabel k) { if (k.klabel() instanceof KVariable && predicates.containsKey(k.klabel())) { return InjectedKLabel(apply(k.klabel()), k.att()); } return super.apply(k); }
@Override public K apply(KApply k) { k = (KApply) super.apply(k); return KApply(apply(k.klabel()), k.klist(), k.att()); }
@Override public K apply(KApply k) { if (k.att().contains("dummy_cell")) { KLabel klabel = KLabel(k.klabel().name() + "-fragment"); return KApply(klabel, k.klist(), k.att()); } return super.apply(k); } }.apply(term);
@Override public K apply(KApply k) { if (m.attributesFor().apply(k.klabel()).contains("thread")) { return KApply(k.klabel(), KApply(KLabel("#ThreadLocal"))); } return super.apply(k); } }.apply(body);
@Override public K apply(KApply k) { if (KLabels.KREWRITE.equals(k.klabel())) { return KRewrite(apply(k.klist().items().get(0)), apply(k.klist().items().get(1)), k.att()); } else { k = (KApply) super.apply(k); return KApply(apply(k.klabel()), k.klist(), k.att()); } }
@Override public K apply(KToken k) { if (lhs) { if (k.sort().equals(Sorts.Int()) || k.sort().equals(Sorts.Float())) { KVariable var = newDotVariable(k.sort()); state.add(KApply(KLabel("_==" + k.sort().name() + "_"), var, k)); return var; } } return super.apply(k); }