Tabnine Logo
org.kframework
Code IndexAdd Tabnine to your IDE (free)

How to use org.kframework

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

origin: kframework/k-legacy

  @Override
  public Set<K> merge(Set<K> a, Set<K> b) {
    return Collections.or(a, b);
  }
}
origin: kframework/k

@Override
public Set<K> unit() {
  return Collections.<K>Set();
}
origin: kframework/k

@Override
public Seq<Sort> params() {
  return Seq();
}
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();
origin: kframework/k

  @Test
  public void testFrom() throws Exception {
    org.kframework.definition.Definition actual = Definition.from("module X endmodule");
    Module modSyntax = Module.apply("X$SYNTAX", Set());
    Module mod = new Module("X", Set(modSyntax), Set(), Att());
    assertEquals(org.kframework.definition.Definition.apply(mod, Set(mod, modSyntax), Att()), actual);
  }
}
origin: kframework/k

private boolean equalsSyntax(Module _this, Module that) {
  if (!_this.productions().equals(that.productions())) return false;
  if (!_this.priorities().equals(that.priorities())) return false;
  if (!_this.leftAssoc().equals(that.leftAssoc())) return false;
  if (!_this.rightAssoc().equals(that.rightAssoc())) return false;
  return _this.sortDeclarations().equals(that.sortDeclarations());
}
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 org.kframework.definition.Module apply(Module mainModule, Set<Module> allKilModules,
                       Map<String, org.kframework.definition.Module> koreModules) {
  return apply(mainModule, allKilModules, koreModules, Seq());
}
origin: kframework/k

/**
 * Parses the text to create a {@link Definition} object.
 */
public static org.kframework.definition.Definition from(String definitionText, String mainModuleName) {
  return from(definitionText, mainModuleName, Source.apply("generated"));
}
origin: kframework/k

/**
 * Parses a string with a particular start symbol/sort.
 *
 * @param startSymbol the start symbol/sort
 * @param toParse     the String to parse
 * @return a pair: the left projection is a parsed string as a K, if successful;
 * the right projection is the set of issues encountered while parsing
 */
public Tuple2<Option<K>, Set<Warning>> apply(Sort startSymbol, String toParse) {
  return apply(startSymbol, toParse, Source.apply("generated"));
}
origin: kframework/k

@API
public interface Warning {

}

origin: kframework/k

/**
 * Parses the text to create a {@link Definition} object.
 */
public static org.kframework.definition.Definition from(String definitionText, String mainModuleName, Source source) {
  return from(definitionText, mainModuleName, source, Lists.newArrayList(Kompile.BUILTIN_DIRECTORY));
}
origin: kframework/k

  public static Parser from(Module module) {
    return new Parser(module);
  }
}
origin: kframework/k

private boolean isFinalState(int steps, RewriterResult result) {
  return result.rewriteSteps().isPresent() && result.rewriteSteps().get() < steps;
}
origin: kframework/k-legacy

@Override
public Set<E> unit() {
  return Collections.<E>Set();
}
origin: kframework/k

@Override
public Seq<org.kframework.kore.Sort> params() {
  return Seq();
}
origin: kframework/k-legacy

@API
public interface Warning {

}

origin: kframework/k

  @Override
  public Set<K> merge(Set<K> a, Set<K> b) {
    return Collections.or(a, b);
  }
}
origin: kframework/k-legacy

@Override
public Set<K> unit() {
  return Collections.<K>Set();
}
origin: kframework/k-legacy

@Override
public Set<E> merge(Set<E> a, Set<E> b) {
  return Collections.or(a, b);
}
org.kframework

Most used classes

  • Collections
  • Att
  • Sentence
  • KLabel
  • Source
  • K,
  • KApply,
  • KORE,
  • KRewrite,
  • KSequence,
  • Sort,
  • BinaryParser,
  • Outer,
  • StringUtil,
  • KEMException,
  • KException,
  • FileUtil,
  • Sorts,
  • Constructors
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