How to use
gen
method
in
org.kframework.compile.GenerateSentencesFromConfigDecl

Best Java code snippets using org.kframework.compile.GenerateSentencesFromConfigDecl.gen (Showing top 3 results out of 315)

Add the Codota plugin to your IDE and get smart completions

private void myMethod () {
 StringBuilder s =new StringBuilder()
new StringBuilder(32)
String str;new StringBuilder(str)
Smart code suggestions by Codota
}

    configDecl -> stream(GenerateSentencesFromConfigDecl.gen(configDecl.body(), configDecl.ensures(), configDecl.att(), parser.getExtensionModule(), kore)))
.collect(Collections.toSet());

  Set<Sentence> newSentences = GenerateSentencesFromConfigDecl.gen(generatedTop, BooleanUtils.TRUE, Att.empty(), mod.getExtensionModule(), true);
  sentences = (Set<Sentence>) sentences.$bar(newSentences);
RuleGrammarGenerator gen = new RuleGrammarGenerator(def);
ParseInModule mod = RuleGrammarGenerator.getCombinedGrammar(gen.getConfigGrammar(m), true);
Set<Sentence> newSentences = GenerateSentencesFromConfigDecl.gen(freshCell, BooleanUtils.TRUE, Att.empty(), mod.getExtensionModule(), true);
sentences = (Set<Sentence>) sentences.$bar(newSentences);

RuleGrammarGenerator parserGen = new RuleGrammarGenerator(def);
Module m = RuleGrammarGenerator.getCombinedGrammar(parserGen.getConfigGrammar(m1), true).getExtensionModule();
Set<Sentence> gen = GenerateSentencesFromConfigDecl.gen(configuration, BooleanUtils.FALSE, Att(), m, false);
Att initializerAtts = Att().add("initializer");
Att productionAtts = initializerAtts.add("function").add("noThread");

Javadoc

Takes a configuration declaration and returns the sentences that it desugars into. Cells of multiplicity 1 desugar into an initializer production, an initializer rule, and a cell production. Cells of multiplicity * desugar into an initializer production, an initializer rule, a cell production, and a bag sort to represent a bag of those cells. Cells of multiplicity ? desugar into an initializer production, an initializer rule, a cell production, and an empty production indicating the absence of that cell. Cells with children additionally generate a *CellFragment sort with the same arity as the cell production, but the arguments made optional by generating additional sorts. Cells which have parents and are not multiplicity * generate a CellOpt sort which is a supersort of the cell sort and has an additional production name like -absent. (For a cell with multiplicitly ? this is necessary to distinguish a fragment that did capture the state of the cell when it wasn't present, from a cell fragment that didn't even try to capture the cell). Currently the implementation does not handle initializer rules; we will address this eventually.

Popular methods of GenerateSentencesFromConfigDecl

computeSentencesOfWellFormedCell
Generates the sentences associated with a particular cell. As a special case, cells with the maincel
convertStringMultiplicity
genInternal
Recurses over a cell and computes all the sentences corresponding to its children, and then generate
getCellPropertiesAsAtt
getCellProperty
getInitLabel
getLeafInitializer
Returns the body of an initializer for a leaf cell: replaces any configuration variables with map lo
getProjectLbl
getSortOfCell
hasConfigOrRegularVariable
Returns true if the specified term has a configuration or regular variable
optionalCellInitializer
Returns the term used to initialize an optinoal cell. An optional cell is initialized to the empty b

optionalCellInitializer

Popular in Java

Reactive rest calls using spring rest template
getResourceAsStream (ClassLoader)
onRequestPermissionsResult (Fragment)
setScale (BigDecimal)
Returns a BigDecimal whose scale is the specified value, and whose value is numerically equal to thi
HttpServer (com.sun.net.httpserver)
This class implements a simple HTTP server. A HttpServer is bound to an IP address and port number a
BufferedInputStream (java.io)
Wraps an existing InputStream and buffers the input. Expensive interaction with the underlying input
FileReader (java.io)
A specialized Reader that reads from a file in the file system. All read requests made by calling me
Arrays (java.util)
This class contains various methods for manipulating arrays (such as sorting and searching). This cl
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,

How to use genmethodin org.kframework.compile.GenerateSentencesFromConfigDecl

Best Java code snippets using org.kframework.compile.GenerateSentencesFromConfigDecl.gen (Showing top 3 results out of 315)

How to use
gen
method
in
org.kframework.compile.GenerateSentencesFromConfigDecl