jpicedt.format.output.util
Class ParameterString

java.lang.Object
  jpicedt.format.output.util.ParameterString

Direct Known Subclasses:

ParameterString

public class ParameterString
extends Object

Une classe qui représente une liste de paramètres donnés sous la forme clef=valeur, pour des paramètres PSTricks, ou TikZ. Cette classe est utile lorsque des couleurs sont définies par l'utilisateur. Le problème c'est que lorsque une nouvelle couleur est définie, ceci doit être fait par une commande (par exemple \newrgbcolor en PSSTricks avant la que commande encodant l'Element utilisant cette couleur apparaisse dans le fichier. C'est pourquoi il est nécessaire de retourner un objet encapsualnt plusieurs chaîne de caractère, non seulement la chaîne de caractère donnant la liste des paramètres, mais également une liste des couleurs définies par l'utilisateur.

Since:

jPicEdt 1.6

Nested Class Summary

static class	ParameterString.UserDefinedColour Couleur définie par l'utilisateur, à encoder
static class	ParameterString.UserDefinedColourList

Constructor Summary

ParameterString(StringBuffer paramBuf, ParameterString.UserDefinedColourList userDefinedColourList)

Method Summary

void	addUserDefinedColour(String name, Color colour) Met à jour la liste de couleurs utilisateur, en l'allouant si nécessaire.
StringBuffer	getParameterBuffer()
ParameterString.UserDefinedColourList	getUserDefinedColourList()
boolean	isDefinedColourList()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ParameterString

public ParameterString(StringBuffer paramBuf,
                       ParameterString.UserDefinedColourList userDefinedColourList)

Since:

jPicEdt 1.6

Method Detail

addUserDefinedColour

public void addUserDefinedColour(String name,
                                 Color colour)

Met à jour la liste de couleurs utilisateur, en l'allouant si nécessaire.

Since:

jPicEdt 1.6

isDefinedColourList

public boolean isDefinedColourList()

Returns:

true if there's at least one user-defined colour that need to be defined

getParameterBuffer

public StringBuffer getParameterBuffer()

Returns:

the formated parameter string (w/o leading and trailing brackets)

getUserDefinedColourList

public ParameterString.UserDefinedColourList getUserDefinedColourList()

Returns:

une liste contenant les couleurs définie par l'utilisateur.