Uses of Class
argutia.gui.batchStyledDocument.BatchStyledDocument

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)
           
 
Argutia JavaDoc
23 décembre 2007