Tabnine Logo
LabelInfoFromModule.<init>
Code IndexAdd Tabnine to your IDE (free)

How to use
org.kframework.compile.LabelInfoFromModule
constructor

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

  • Add the Codota plugin to your IDE and get smart completions
private void myMethod () {
List l =
  • Codota Iconnew ArrayList()
  • Codota Iconnew LinkedList()
  • Smart code suggestions by Tabnine
}
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<init>

Popular methods of LabelInfoFromModule

    Popular in Java

    • Updating database using SQL prepared statement
    • onCreateOptionsMenu (Activity)
    • scheduleAtFixedRate (Timer)
    • onRequestPermissionsResult (Fragment)
    • MalformedURLException (java.net)
      This exception is thrown when a program attempts to create an URL from an incorrect specification.
    • SQLException (java.sql)
      An exception that indicates a failed JDBC operation. It provides the following information about pro
    • DecimalFormat (java.text)
      A concrete subclass of NumberFormat that formats decimal numbers. It has a variety of features desig
    • Calendar (java.util)
      Calendar is an abstract base class for converting between a Date object and a set of integer fields
    • Deque (java.util)
      A linear collection that supports element insertion and removal at both ends. The name deque is shor
    • Location (org.springframework.beans.factory.parsing)
      Class that models an arbitrary location in a Resource.Typically used to track the location of proble
    • 21 Best IntelliJ Plugins
    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