/**
* Convertit un style de pointe de flèche <code>ArrowStyle</code> en l'énumérer <code>TZArrow
* </code> correspondant décrivant son codage en TikZ.
*
* @param arrow une valeur <code>ArrowStyle</code> ) convertit en <code>TZArrow</code>.
* @return le <code>TZArrow</code> correspondant à <code>arrow</code>.
* @since jPicEdt 1.6
*/
public static TZArrow toTZArrow(ArrowStyle arrow) {
for (TZArrow aa : TZArrow.values()) {
if (aa.getArrowStyle() == arrow) {
return aa;
}
}
return null;
}
