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

    • Parsing JSON documents to java classes using gson
    • requestLocationUpdates (LocationManager)
    • orElseThrow (Optional)
      Return the contained value, if present, otherwise throw an exception to be created by the provided s
    • setScale (BigDecimal)
    • VirtualMachine (com.sun.tools.attach)
      A Java virtual machine. A VirtualMachine represents a Java virtual machine to which this Java vir
    • Deque (java.util)
      A linear collection that supports element insertion and removal at both ends. The name deque is shor
    • SortedSet (java.util)
      SortedSet is a Set which iterates over its elements in a sorted order. The order is determined eithe
    • ConcurrentHashMap (java.util.concurrent)
      A plug-in replacement for JDK1.5 java.util.concurrent.ConcurrentHashMap. This version is based on or
    • JPanel (javax.swing)
    • JTable (javax.swing)
    • 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