Package | Description |
---|---|
cz.cuni.mff.corrector.cache |
Caching manager implementations.
|
cz.cuni.mff.corrector.corrector |
Implementations of correction algorithms.
|
cz.cuni.mff.corrector.execution |
Supporting classes for corrector implementations.
|
cz.cuni.mff.corrector.graph |
Correction multigraphs implementation.
|
cz.cuni.mff.corrector.intent |
Correction intents implementation.
|
cz.cuni.mff.corrector.repair |
Objects for encapsulating computed repairs.
|
Modifier and Type | Method and Description |
---|---|
Item |
IntentStoreFlat.getStoredItem(Intent indexingIntent) |
Item |
SignatureStoreFlat.getStoredItem(Intent indexingIntent) |
Item |
SignatureStoreNested.getStoredItem(Intent indexingIntent) |
Item |
Store.getStoredItem(Intent indexingIntent)
Attempts to fetch stored item for a given correction intent.
|
void |
IntentStoreFlat.removeStoredItem(Intent indexingIntent) |
void |
SignatureStoreFlat.removeStoredItem(Intent indexingIntent) |
void |
SignatureStoreNested.removeStoredItem(Intent indexingIntent) |
void |
Store.removeStoredItem(Intent indexingIntent)
Removes the cached item indexed by the given correction intent.
|
void |
IntentStoreFlat.setStoredItem(Intent indexingIntent,
Item itemRef) |
void |
SignatureStoreFlat.setStoredItem(Intent indexingIntent,
Item itemRef) |
void |
SignatureStoreNested.setStoredItem(Intent indexingIntent,
Item itemRef) |
void |
Store.setStoredItem(Intent indexingIntent,
Item itemRef)
Inserts a new item into the cache using the intent signature.
|
Modifier and Type | Method and Description |
---|---|
protected Repair |
Handler.acquireInvokingSingle(Intent nestedIntent)
Fetches the required repair or requests its invoked execution.
|
protected Repair |
Handler.acquireNestingSingle(Intent nestedIntent)
Fetches the required repair or requests its nested execution.
|
protected Repair |
Handler.acquireSchedulingSingle(Requests requestsData,
Intent nestedIntent,
Edge nestedEdge)
Fetches the required repair or requests its scheduled execution.
|
Task |
Corrector.createExtendedTask(Intent correctionIntent)
Creates a new instance of an extended task.
|
Task |
Corrector.createSimpleTask(Intent correctionIntent)
Creates a new instance of a simple task.
|
protected Edge |
Handler.doEdgeOpening(Intent nestedIntent)
Opens the exploration of a newly reached edge and its intent.
|
Repair |
Corrector.fetchStoredRepair(Intent requiredIntent)
Attempts to fetch the required intent repair from the store.
|
Wrapper |
Corrector.provideExtendedWrapper(Intent requestedIntent)
Fetches the required repair, existing or newly created extended task.
|
protected Wrapper |
Corrector.provideSimpleWrapper(Intent requestedIntent)
Fetches the required repair or creates a new simple task.
|
Modifier and Type | Method and Description |
---|---|
protected java.util.List<Repair> |
Handler.acquireInvokingMultiple(java.util.List<Intent> nestedIntents)
Fetches the required repairs or requests their invoked execution.
|
protected java.util.List<Repair> |
Handler.acquireSchedulingMultiple(Requests requestsData,
java.util.List<Intent> nestedIntents,
java.util.List<Edge> nestedEdges)
Fetches the required repairs or requests their scheduled execution.
|
void |
Handler.dispatchStandardRequests(Vertex selectedVertex,
java.util.List<Intent> nestedIntents)
Dispatches all requests to the standard execution processing.
|
protected java.util.List<Edge> |
Handler.doEdgesOpening(java.util.List<Intent> nestedIntents)
Opens the exploration of edges for the entire set of intents.
|
protected void |
Handler.handleInvokingMultiple(Vertex selectedVertex,
java.util.List<Intent> nestedIntents)
Processes exploration and invoked evaluation of all allowed intents.
|
protected void |
Handler.handleInvokingSingle(Vertex selectedVertex,
java.util.List<Intent> nestedIntents)
Processes exploration and invoked evaluation of all allowed intents.
|
protected void |
Handler.handleNestingSingle(Vertex selectedVertex,
java.util.List<Intent> nestedIntents)
Processes exploration and nested evaluation of all allowed intents.
|
protected void |
Handler.handleSchedulingMultiple(Vertex selectedVertex,
java.util.List<Intent> nestedIntents)
Processes exploration and scheduled evaluation of all allowed intents.
|
protected void |
Handler.handleSchedulingSingle(Vertex selectedVertex,
java.util.List<Intent> nestedIntents)
Processes exploration and scheduled evaluation of all allowed intents.
|
java.util.List<Wrapper> |
Corrector.provideExtendedWrappers(java.util.List<Intent> requestedIntents)
Fetches the required repairs, existing or newly created extended tasks.
|
Modifier and Type | Method and Description |
---|---|
Intent |
Task.getCorrectionIntent()
Returns the associated correction intent.
|
Modifier and Type | Method and Description |
---|---|
void |
Variables.addCachedTask(Intent nestedIntent,
Task nestedTask)
Adds a new task into the local cache of tasks for reached intents.
|
static Task |
Task.createExtendedTask(Intent correctionIntent)
Creates a new extended task with initialised dependencies.
|
static Task |
Task.createSimpleTask(Intent correctionIntent)
Creates a new simple task that only holds the intent reference.
|
Task |
Variables.getCachedTask(Intent nestedIntent)
fetched the required task from the local cache if it exists.
|
void |
Variables.removeCachedTask(Intent nestedIntent)
Removes the cached task for the specified correction intent.
|
Modifier and Type | Method and Description |
---|---|
Intent |
Edge.getCorrectionIntent()
Returns the associated correction intent.
|
Constructor and Description |
---|
Edge(Intent correctionIntent)
Creates a new instance of the correction edge.
|
Edge(Vertex sourceVertex,
Vertex targetVertex,
Intent correctionIntent)
Deprecated.
Only for testing purposes only!
|
Modifier and Type | Class and Description |
---|---|
class |
IntentCorrect
Implementation of the correct correction intent.
|
class |
IntentDelete
Implementation of the delete correction intent.
|
class |
IntentInsert
Implementation of the insert correction intent.
|
class |
IntentRename
Implementation of the rename correction intent.
|
class |
IntentRepair
Implementation of the repair correction intent.
|
Modifier and Type | Method and Description |
---|---|
static java.util.List<Intent> |
Intent.generateNestedIntents(Intent parentIntent,
int initialStratum,
java.lang.String initialState,
Grammar treeGrammar,
java.util.EnumSet<Intent.Type> enabledIntents)
Generates the set of all permitted nested correction intents.
|
Modifier and Type | Method and Description |
---|---|
static java.util.List<Intent> |
Intent.generateNestedIntents(Intent parentIntent,
int initialStratum,
java.lang.String initialState,
Grammar treeGrammar,
java.util.EnumSet<Intent.Type> enabledIntents)
Generates the set of all permitted nested correction intents.
|
static void |
IntentDelete.generateNestedIntents(java.util.List<Intent> outputSet,
Intent parentIntent,
int initialStratum,
java.lang.String initialState,
Grammar treeGrammar)
Generates the set of all permitted nested delete intents.
|
static void |
IntentInsert.generateNestedIntents(java.util.List<Intent> outputSet,
Intent parentIntent,
int initialStratum,
java.lang.String initialState,
Grammar treeGrammar,
java.util.Map<java.lang.String,java.lang.String> transitions)
Generates the set of all permitted nested insert intents.
|
static void |
IntentRename.generateNestedIntents(java.util.List<Intent> outputSet,
Intent parentIntent,
int initialStratum,
java.lang.String initialState,
Grammar treeGrammar,
java.util.Map<java.lang.String,java.lang.String> transitions)
Generates the set of all permitted nested rename intents.
|
static void |
IntentRepair.generateNestedIntents(java.util.List<Intent> outputSet,
Intent parentIntent,
int initialStratum,
java.lang.String initialState,
Grammar treeGrammar,
java.util.Map<java.lang.String,java.lang.String> transitions)
Generates the set of all permitted nested repair intents.
|
Modifier and Type | Method and Description |
---|---|
static void |
IntentDelete.generateNestedIntents(java.util.List<Intent> outputSet,
Intent parentIntent,
int initialStratum,
java.lang.String initialState,
Grammar treeGrammar)
Generates the set of all permitted nested delete intents.
|
static void |
IntentInsert.generateNestedIntents(java.util.List<Intent> outputSet,
Intent parentIntent,
int initialStratum,
java.lang.String initialState,
Grammar treeGrammar,
java.util.Map<java.lang.String,java.lang.String> transitions)
Generates the set of all permitted nested insert intents.
|
static void |
IntentRename.generateNestedIntents(java.util.List<Intent> outputSet,
Intent parentIntent,
int initialStratum,
java.lang.String initialState,
Grammar treeGrammar,
java.util.Map<java.lang.String,java.lang.String> transitions)
Generates the set of all permitted nested rename intents.
|
static void |
IntentRepair.generateNestedIntents(java.util.List<Intent> outputSet,
Intent parentIntent,
int initialStratum,
java.lang.String initialState,
Grammar treeGrammar,
java.util.Map<java.lang.String,java.lang.String> transitions)
Generates the set of all permitted nested repair intents.
|
Modifier and Type | Method and Description |
---|---|
Intent |
Repair.getCorrectionIntent()
Returns the reference to the associated correction intent.
|
Constructor and Description |
---|
Repair(Intent associatedIntent)
Creates a new instance of the intent repair structure.
|
Repair(Intent associatedIntent,
Graph correctionGraph)
Creates a new instance of the intent repair structure.
|
Repair(Intent associatedIntent,
NodeRepair nodeRepair,
SequenceRepair sequenceRepair)
Deprecated.
Only for testing purposes only!
|