Package | Description |
---|---|
cz.cuni.mff.corrector.grammar |
Regular tree grammars.
|
cz.cuni.mff.corrector.intent |
Correction intents implementation.
|
Modifier and Type | Method and Description |
---|---|
Context |
Grammar.getEmptyContext()
Returns the reference to the empty context.
|
Context |
Grammar.getGeneralContext(java.lang.String nonterminalSymbol,
java.lang.String terminalSymbol)
Returns the general context for a given nonterminal and terminal.
|
Context |
Grammar.getStartingContext()
Returns the reference to the starting context.
|
Modifier and Type | Field and Description |
---|---|
protected Context |
Intent.grammarContext
Reference to the nested grammar context.
|
Modifier and Type | Field and Description |
---|---|
protected java.util.List<Context> |
Intent.contextChain
Optional chain of nested grammar contexts.
|
Modifier and Type | Method and Description |
---|---|
Context |
Intent.getGrammarContext()
Returns the reference to the nested grammar context.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Context> |
Intent.getContextChain()
Returns the optional associated chain of contexts.
|
Constructor and Description |
---|
Intent(Node baseNode,
NodeRepair nodeRepair,
Vertex initialVertex,
Vertex endingVertex,
java.util.List<Node> nodeSequence,
Context grammarContext,
java.util.List<Context> contextChain)
Creates a new instance of the correction intent.
|
IntentCorrect(java.util.List<Node> nodeSequence,
Context grammarContext)
Creates a new instance of the correct correction intent.
|
IntentDelete(Node baseNode,
Vertex initialVertex,
Vertex endingVertex,
java.util.List<Node> nodeSequence,
Context grammarContext)
Creates a new instance of the delete correction intent.
|
IntentInsert(Vertex initialVertex,
Vertex endingVertex,
Context grammarContext,
java.util.List<Context> contextChain,
java.lang.String nodeLabel)
Creates a new instance of the insert correction intent.
|
IntentRename(Node baseNode,
Vertex initialVertex,
Vertex endingVertex,
java.util.List<Node> nodeSequence,
Context grammarContext,
java.lang.String nodeLabel)
Creates a new instance of the rename correction intent.
|
IntentRepair(Node baseNode,
Vertex initialVertex,
Vertex endingVertex,
java.util.List<Node> nodeSequence,
Context grammarContext)
Creates a new instance of the repair correction intent.
|
Constructor and Description |
---|
Intent(Node baseNode,
NodeRepair nodeRepair,
Vertex initialVertex,
Vertex endingVertex,
java.util.List<Node> nodeSequence,
Context grammarContext,
java.util.List<Context> contextChain)
Creates a new instance of the correction intent.
|
IntentInsert(Vertex initialVertex,
Vertex endingVertex,
Context grammarContext,
java.util.List<Context> contextChain,
java.lang.String nodeLabel)
Creates a new instance of the insert correction intent.
|