/** * 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; }