Tabnine Logo
FindK.apply
Code IndexAdd Tabnine to your IDE (free)

How to use
apply
method
in
org.kframework.kore.FindK

Best Java code snippets using org.kframework.kore.FindK.apply (Showing top 4 results out of 315)

origin: kframework/k

  @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();
origin: kframework/k

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

  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();
origin: kframework/k

  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();
org.kframework.koreFindKapply

Popular methods of FindK

    Popular in Java

    • Start an intent from android
    • orElseThrow (Optional)
      Return the contained value, if present, otherwise throw an exception to be created by the provided s
    • setScale (BigDecimal)
    • onRequestPermissionsResult (Fragment)
    • FileOutputStream (java.io)
      An output stream that writes bytes to a file. If the output file exists, it can be replaced or appen
    • FileReader (java.io)
      A specialized Reader that reads from a file in the file system. All read requests made by calling me
    • System (java.lang)
      Provides access to system-related information and resources including standard input and output. Ena
    • Calendar (java.util)
      Calendar is an abstract base class for converting between a Date object and a set of integer fields
    • Project (org.apache.tools.ant)
      Central representation of an Ant project. This class defines an Ant project with all of its targets,
    • Location (org.springframework.beans.factory.parsing)
      Class that models an arbitrary location in a Resource.Typically used to track the location of proble
    • Top 17 Plugins for Android Studio
    Tabnine Logo
    • Products

      Search for Java codeSearch for JavaScript code
    • IDE Plugins

      IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimAtomGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
    • Company

      About UsContact UsCareers
    • Resources

      FAQBlogTabnine AcademyStudentsTerms of usePrivacy policyJava Code IndexJavascript Code Index
    Get Tabnine for your IDE now