How to use

apply

method

in

org.kframework.kore.FindK

  @Override
  public scala.collection.Set<K> apply(KVariable k) {
    if (k.name().equals("HOLE")) {
      return org.kframework.Collections.Set(k);
    } else {
      return super.apply(k);
    }
  }
}.apply(body).size();

  @Override
  public scala.collection.Set<K> apply(KRewrite k) {
    return this.merge(org.kframework.Collections.Set(k), super.apply(k));
  }
}.apply(body).size();

  public scala.collection.Set<K> apply(KApply k) {
    if (k.klabel().name().equals("#RESTORE_CONFIGURATION"))
      return org.kframework.Collections.Set(k.klist().items().get(0));
    else
      return super.apply(k);
  }
}.apply(theNew).head();

  public scala.collection.Set<K> apply(KApply k) {
    if (k.klabel().name().equals(Strategy.strategyCellName()))
      return org.kframework.Collections.Set(k);
    else
      return super.apply(k);
  }
}.apply(theNew).head();