Tabnine Logo
LabelInfoFromModule
Code IndexAdd Tabnine to your IDE (free)

How to use
LabelInfoFromModule
in
org.kframework.compile

Best Java code snippets using org.kframework.compile.LabelInfoFromModule (Showing top 7 results out of 315)

origin: kframework/k

public SplitThreadsCell(Module m) {
  collectionFor = ConvertDataStructureToLookup.collectionFor(m);
  this.m = m;
  this.info = new LabelInfoFromModule(m);
  this.configInfo = new ConfigurationInfoFromModule(m);
}
origin: kframework/k

public static Module transformModule(Module mod) {
  ConfigurationInfoFromModule configInfo = new ConfigurationInfoFromModule(mod);
  LabelInfo labelInfo = new LabelInfoFromModule(mod);
  return ModuleTransformer.fromSentenceTransformer(
      new AddImplicitComputationCell(configInfo, labelInfo),
      "concretizing configuration").apply(mod);
}
origin: kframework/k

public static Module transformModule(Module mod) {
  ConfigurationInfoFromModule configInfo = new ConfigurationInfoFromModule(mod);
  LabelInfo labelInfo = new LabelInfoFromModule(mod);
  SortInfo sortInfo = SortInfo.fromModule(mod);
  return ModuleTransformer.fromSentenceTransformer(
      new ConcretizeCells(configInfo, labelInfo, sortInfo, mod)::concretize,
      "concretizing configuration").apply(mod);
}
origin: kframework/k

public static Definition transformDefinition(Definition input) {
  ConfigurationInfoFromModule configInfo = new ConfigurationInfoFromModule(input.mainModule());
  LabelInfo labelInfo = new LabelInfoFromModule(input.mainModule());
  return DefinitionTransformer.fromSentenceTransformer(
      new AddImplicitComputationCell(configInfo, labelInfo),
      "concretizing configuration").apply(input);
}
origin: kframework/k

  private Sentence concretizeSentence(Sentence s, Definition input) {
    ConfigurationInfoFromModule configInfo = new ConfigurationInfoFromModule(input.mainModule());
    LabelInfo labelInfo = new LabelInfoFromModule(input.mainModule());
    SortInfo sortInfo = SortInfo.fromModule(input.mainModule());
    return new ConcretizeCells(configInfo, labelInfo, sortInfo, input.mainModule()).concretize(s);
  }
}
origin: kframework/k

public static Definition transformDefinition(Definition input) {
  ConfigurationInfoFromModule configInfo = new ConfigurationInfoFromModule(input.mainModule());
  LabelInfo labelInfo = new LabelInfoFromModule(input.mainModule());
  SortInfo sortInfo = SortInfo.fromModule(input.mainModule());
  return DefinitionTransformer.fromSentenceTransformer(
      new ConcretizeCells(configInfo, labelInfo, sortInfo, input.mainModule())::concretize,
      "concretizing configuration"
  ).apply(input);
}
origin: kframework/k

@Override
public Function<Module, Module> specificationSteps(Definition def) {
  Module mod = def.mainModule();
  ConfigurationInfoFromModule configInfo = new ConfigurationInfoFromModule(mod);
  LabelInfo labelInfo = new LabelInfoFromModule(mod);
  SortInfo sortInfo = SortInfo.fromModule(mod);
  ModuleTransformer resolveAnonVars = ModuleTransformer.fromSentenceTransformer(
      new ResolveAnonVar()::resolve,
      "resolving \"_\" vars");
  ModuleTransformer resolveSemanticCasts = ModuleTransformer.fromSentenceTransformer(
      new ResolveSemanticCasts(true)::resolve,
      "resolving semantic casts");
  ModuleTransformer subsortKItem = ModuleTransformer.from(Kompile::subsortKItem, "subsort all sorts to KItem");
  ModuleTransformer addImplicitComputationCell = ModuleTransformer.fromSentenceTransformer(
      new AddImplicitComputationCell(configInfo, labelInfo),
      "concretizing configuration");
  Function1<Module, Module> resolveFreshConstants = d -> ModuleTransformer.from(new ResolveFreshConstants(def, true)::resolve, "resolving !Var variables").apply(d);
  ModuleTransformer concretizeCells = ModuleTransformer.fromSentenceTransformer(
      new ConcretizeCells(configInfo, labelInfo, sortInfo, mod)::concretize,
      "concretizing configuration");
  return m -> resolveAnonVars
      .andThen(resolveSemanticCasts)
      .andThen(addImplicitComputationCell)
      .andThen(resolveFreshConstants)
      .andThen(concretizeCells)
      .andThen(subsortKItem)
      .apply(m);
}
org.kframework.compileLabelInfoFromModule

Most used methods

  • <init>

Popular in Java

  • Start an intent from android
  • requestLocationUpdates (LocationManager)
  • getApplicationContext (Context)
  • getContentResolver (Context)
  • FileNotFoundException (java.io)
    Thrown when a file specified by a program cannot be found.
  • OutputStream (java.io)
    A writable sink for bytes.Most clients will use output streams that write data to the file system (
  • ConnectException (java.net)
    A ConnectException is thrown if a connection cannot be established to a remote host on a specific po
  • NoSuchElementException (java.util)
    Thrown when trying to retrieve an element past the end of an Enumeration or Iterator.
  • SortedMap (java.util)
    A map that has its keys ordered. The sorting is according to either the natural ordering of its keys
  • JPanel (javax.swing)
  • Top plugins for WebStorm
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

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