Modifier and Type | Method and Description |
---|---|
abstract java.util.Collection<Result> |
XmlCorrector.getCorrections()
Calculates every correction in the given threshold.
|
java.util.Collection<Result> |
XmlCorrectorMatrix.getCorrections() |
abstract Result |
XmlCorrector.getMinimalCorrections()
Calculates every minimal correction in the given threshold.
|
Result |
XmlCorrectorMatrix.getMinimalCorrections() |
Modifier and Type | Method and Description |
---|---|
java.util.Vector<java.lang.Integer> |
XmlCorrectorController.createResultFile(Result resultat)
Creates the result file for the given Result
|
void |
XmlCorrectorController.resultVerification(OperationSequence os,
int cost)
Verifies that the tree made from the OperationSequence is correct / has
the correct cost
|
Modifier and Type | Method and Description |
---|---|
Result |
TreeEditionMatrix.compare()
Method that will calculates every cell of the matrix and return the
result. null if there is no correction
|
Tree |
Cell.make(Tree t)
Use the given Tree to make the Operations of the first OperationSequence
and returns the modified Tree.
|
Tree |
Result.make(Tree t)
Use the given Tree to make the Operations of the first OperationSequence
and returns the modified Tree.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<OperationSequence> |
OperationSequence.abstractionToOperationSequences(Tree t)
Generates OperationSequence from the current one but without any
abstraction.
|
abstract int |
Operation.getCost(Tree tree)
Calculates the cost of the Operation on the given Tree
|
int |
OperationSequence.getCost(Tree t)
Calculates the global cost of the sequence for doing every Operations on
the Tree given
|
abstract void |
Operation.make(Tree tree)
Makes the Operation on the given Tree
|
void |
OperationSequence.make(Tree t)
Makes every Operation of the OperationSequence on the Tree given
|
org.jdom.Element |
OperationSequence.toXmlElement(Tree t,
int id)
Returns the OperationSequence formated to fit Xml as JDOM.
|
org.jdom.Element |
OperationSequence.toXmlElement(Tree t,
VocabTranslator vt,
int id)
Returns the OperationSequence formated to fit Xml as JDOM.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<OperationSequence> |
AddMinimalTreeOperation.abstractionToOperationSequences(Tree t) |
java.util.Collection<OperationSequence> |
CorrectTreeOperation.abstractionToOperationSequences(Tree t) |
Modifier and Type | Method and Description |
---|---|
void |
RemoveNodeOperation.make(Tree tree) |
void |
RelabelNodeOperation.make(Tree tree) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<OperationSequence> |
RemoveTreeOperation.abstractionToOperationSequences(Tree t) |
java.util.Collection<OperationSequence> |
AddTreeOperation.abstractionToOperationSequences(Tree t) |
abstract java.util.Collection<OperationSequence> |
UpdateOperation.abstractionToOperationSequences(Tree t)
Generates a list of OperationSequence that can't contain any Operation
that is Abstract
|
java.util.Collection<OperationSequence> |
ReplaceTreeOperation.abstractionToOperationSequences(Tree t) |
int |
RemoveTreeOperation.getCost(Tree tree) |
void |
RemoveTreeOperation.make(Tree tree) |
void |
ReplaceTreeOperation.make(Tree tree) |
Modifier and Type | Method and Description |
---|---|
Tree |
Tree.getNodeAsTree(Address address)
Returns Tree create from the Node at the address given
|
void |
Tree.relabelNode(Address address,
java.lang.Character header)
Changes the Label (Header) of the Node at the given Address with the
given Header
|
void |
Tree.relabelNode(java.lang.String address,
java.lang.Character header)
Creates an Address using the String address given and Changes the Label
(Header) of the Node at the Address with the given Header
|
void |
Node.removeChild(int i)
Deletes the Node at position i
|
void |
Tree.removeNode(Address address)
Removes the Node at the Address given if it is a Leaf
|
void |
Tree.removeNode(java.lang.String adress)
Creates an Address with the String given and Removes the Node at the
Address if it is a Leaf
|
void |
Tree.removeTree(Address address)
Removes the Node at the Address given even if it isn't a Leaf
|
void |
Tree.removeTree(java.lang.String address)
Creates an Address with the String given and removes the Node at this
Address even if it isn't a Leaf
|
void |
Tree.replaceTree(Address address,
Tree tree)
Replace the Node and its children at the given Address with the tree
given
|
void |
Tree.replaceTree(java.lang.String address,
Tree tree)
Creates an Address with the String given and replace the Node and its
children at this Address with the tree given
|