|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use BatchStyledDocument | |
---|---|
argutia.gui | |
argutia.gui.batchStyledDocument | Permet une amélioration significative du temps de mise à jour des
DefaultStyledDocument . |
argutia.logic | |
argutia.logic.argumentationFramework | |
argutia.logic.sets | |
argutia.logic.syntax | |
argutia.logic.syntax.node |
Uses of BatchStyledDocument in argutia.gui |
---|
Subclasses of BatchStyledDocument in argutia.gui | |
---|---|
class |
DocumentColore
Permet de manipuler des documents avec coloration syntaxique en temps réel et le munit de méthodes de traductions pour l'import et l'export dans des fichiers texte ainsi que pour la mise à jour de la syntaxe des opérateurs. |
Fields in argutia.gui declared as BatchStyledDocument | |
---|---|
private BatchStyledDocument |
StyledMessageFormat.doc
|
Methods in argutia.gui with parameters of type BatchStyledDocument | |
---|---|
static void |
StyledMessageFormat.format(String[] patterns,
AttributeSet style,
BatchStyledDocument doc,
AffichableAvecStyle... arguments)
|
static void |
StyledMessageFormat.format(String pattern,
AttributeSet style,
BatchStyledDocument doc)
|
static void |
StyledMessageFormat.format(String pattern,
AttributeSet style,
BatchStyledDocument doc,
AffichableAvecStyle... arguments)
|
void |
StyledMessageFormat.insert(String[] patterns,
AttributeSet style,
BatchStyledDocument doc,
AffichableAvecStyle... arguments)
|
void |
StyledMessageFormat.insert(String pattern,
AttributeSet style,
BatchStyledDocument doc)
|
void |
StyledMessageFormat.insert(String pattern,
AttributeSet style,
BatchStyledDocument doc,
AffichableAvecStyle... arguments)
|
void |
Representation.toStyledString(BatchStyledDocument doc)
Ajoute du style au résultat d'un appel à Representation.toString() et l'ajoute au
BatchedContent passé en paramètre. |
void |
DocumentColore.toStyledString(BatchStyledDocument doc)
|
Constructors in argutia.gui with parameters of type BatchStyledDocument | |
---|---|
StyledMessageFormat(String[] patterns,
AttributeSet style,
BatchStyledDocument doc,
AffichableAvecStyle... arguments)
|
|
StyledMessageFormat(String pattern,
AttributeSet style,
BatchStyledDocument doc)
|
|
StyledMessageFormat(String pattern,
AttributeSet style,
BatchStyledDocument doc,
AffichableAvecStyle... arguments)
|
Uses of BatchStyledDocument in argutia.gui.batchStyledDocument |
---|
Methods in argutia.gui.batchStyledDocument that return BatchStyledDocument | |
---|---|
BatchStyledDocument |
BatchStyledDocument.appendBatchLineFeed()
Ajoute un retour à la ligne dans le BatchedContent. |
BatchStyledDocument |
BatchStyledDocument.appendBatchString(String s,
AttributeSet a)
Ajoute du texte avec le style spécifié dans le BatchedContent. |
BatchStyledDocument |
BatchStyledDocument.appendBatchStringln(String s,
AttributeSet a)
Ajoute du texte avec le style spécifié dans le BatchedContent, suivi d'un retour à la ligne. |
Methods in argutia.gui.batchStyledDocument with parameters of type BatchStyledDocument | |
---|---|
void |
AffichableAvecStyle.toStyledString(BatchStyledDocument doc)
Ajoute du texte mis en forme au BatchedContent passé en paramètre. |
Uses of BatchStyledDocument in argutia.logic |
---|
Methods in argutia.logic with parameters of type BatchStyledDocument | |
---|---|
void |
PropositionalVariable.toStyledString(BatchStyledDocument doc)
Ajoute du style au résultat d'un appel à PropositionalVariable.toString() et l'ajoute en attente
d'insertion dans le document spécifié. |
void |
Formula.toStyledString(BatchStyledDocument doc)
|
Uses of BatchStyledDocument in argutia.logic.argumentationFramework |
---|
Methods in argutia.logic.argumentationFramework with parameters of type BatchStyledDocument | |
---|---|
void |
Argument.toStyledString(BatchStyledDocument doc)
|
static void |
Argument.toStyleString(BatchStyledDocument doc,
List<Argument> liste)
|
Uses of BatchStyledDocument in argutia.logic.sets |
---|
Methods in argutia.logic.sets with parameters of type BatchStyledDocument | |
---|---|
void |
SetOfFormulas.toStyledString(BatchStyledDocument doc)
|
void |
Partition.toStyledString(BatchStyledDocument doc)
|
void |
MutableSetOfFormulas.toStyledString(BatchStyledDocument doc)
|
void |
MutableFamilyOfSets.toStyledString(BatchStyledDocument doc)
|
void |
FamilyOfSets.toStyledString(BatchStyledDocument doc)
|
Uses of BatchStyledDocument in argutia.logic.syntax |
---|
Methods in argutia.logic.syntax with parameters of type BatchStyledDocument | |
---|---|
void |
WrongSyntacticUnit.toStyledString(BatchStyledDocument doc)
|
void |
Decomposition.toStyledString(BatchStyledDocument doc)
|
void |
ConfigurableSyntacticUnit.toStyledString(BatchStyledDocument doc)
Ajoute du style au résultat d'un appel à ConfigurableSyntacticUnit.toString() et l'ajoute au
BatchedContent passé en paramètre. |
Uses of BatchStyledDocument in argutia.logic.syntax.node |
---|
Methods in argutia.logic.syntax.node with parameters of type BatchStyledDocument | |
---|---|
void |
Node.toStyledString(BatchStyledDocument doc)
|
private void |
Node.toStyledString(BatchStyledDocument doc,
Node pere)
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||