Merge pull request #12 from vykio/LatexMatrix

Latex matrix

Author: gauthierleurette

.gitignore

@@ -11,7 +11,6 @@
 .mtj.tmp/
 
 # Package Files #
-*.jar
 *.war
 *.nar
 *.ear

.idea/artifacts/java_rdp_jar.xml

@@ -184,6 +184,8 @@ private void clearMatrices() {
 
     public void clearAll() {
         clearMatrices();
+        this.nbPlace = 0;
+        this.nbTransition = 0;
         this.placeVector = new ArrayList<Place>();
         this.transitionVector = new ArrayList<Transition>();
     }
@@ -289,16 +291,58 @@ public void print_W_moins() {
     }
 
     public String get_C() {
+
+        //Code pour un matrice LaTeX avec labels pour lignes et colonnes
+
         StringBuilder result = new StringBuilder();
-        result.append("C:\n");
+
+        // on utilise un tableau 2X2 ->
+        // premiere ligne premiere colonne : rien
+        // première ligne deuxieme colonne : vecteur transitions
+        // deuxieme ligne première colonne : vecteur places
+        // deuxieme ligne deuxieme colonne : matrice C
+
+
+        // déclaration du tableau principal, on remplit la premiere case par du vide, et on commence à creer la deuxieme case
+        result.append("C =\\begin{array}{c  c}\\phantom{}&\\begin{array}{");
+
+
+
+        // centrer les éléments en fonction du nombre de colonnes
+        for(int k = 0; k < this.transitionVector.size();k++){
+            result.append("c");
+        }
+            result.append("}");
+
+        //boucle pour créer la première ligne -> liste de tous les noms des transitions
+        for(int k = 0; k < this.transitionVector.size();k++){
+            result.append(this.transitionVector.get(k).getName());
+            if(k != this.transitionVector.size()-1) result.append("&");
+        }
+
+        result.append("\\end{array}\\\\\\begin{matrix}");
+
+        //boucle pour mettre les noms des places
+        for(int k = 0; k < this.placeVector.size();k++){
+            result.append(this.placeVector.get(k).getName()).append("\\\\");
+        }
+
+        result.append("\\end{matrix}&\\begin{pmatrix}");
+
+
         for (int i = 0; i < this.C.size(); i++) {
-            result.append(i).append(". \t");
+            if(i>0) result.append("\\\\");
             for (int j = 0; j < this.C.get(i).size(); j++) {
-                result.append(this.C.get(i).get(j)).append(" \t");
+                if (this.C.get(i).get(j) >= 0) result.append("\\phantom{-}");
+                result.append(this.C.get(i).get(j));
+                if(j != this.C.get(i).size()-1) result.append("&");
             }
-            result.append("\n");
+
         }
+        result.append("\\end{pmatrix}\\end{array}");
+        System.out.println(result.toString());
         return (result.toString());
+
     }
 
 }

.idea/java-rdp.iml

@@ -14,18 +14,15 @@ public class Transition {
     private double x, y;
     private List<Arc> childrens, parents;
 
-    private int orientation; // 0 : Verticale; 1 : Horizontale
-
     private final int LARGE_SIDE = 40, MIN_SIDE = 10;
-    public int WIDTH=MIN_SIDE, HEIGHT=LARGE_SIDE;
+    public int WIDTH=LARGE_SIDE, HEIGHT=MIN_SIDE;
 
     public Transition(String name, double x, double y, ArrayList<Arc> childrens, ArrayList<Arc> parents) {
         this.name = name;
         this.x = x;
         this.y = y;
         this.childrens = childrens;
         this.parents = parents;
-        this.orientation = 0;
         this.forme = new Rectangle2D.Float((float) (this.x-(WIDTH/2)), (float) (this.y-(HEIGHT/2)), WIDTH ,HEIGHT );
     }
 

.idea/libraries/lib.xml

@@ -6,10 +6,14 @@
 import com.tech.app.models.Model;
 import com.tech.app.models.Place;
 import com.tech.app.models.Transition;
+import org.scilab.forge.jlatexmath.TeXConstants;
+import org.scilab.forge.jlatexmath.TeXFormula;
+import org.scilab.forge.jlatexmath.TeXIcon;
 
 import javax.swing.*;
 import java.awt.*;
 import java.awt.geom.AffineTransform;
+import java.awt.image.BufferedImage;
 
 /**
  * Ordre d'affichage :
@@ -244,9 +248,21 @@ public Object getSelectedObject(double x, double y) {
 
     /* Afficher dans la console le système */
     public void showModel() {
-        model.updateMatrices();
-        System.out.println(model);
-        JOptionPane.showMessageDialog(frame.getContentPane(), model.get_C());
+        if(model.placeVector.size() != 0 && model.transitionVector.size() != 0){
+            model.updateMatrices();
+            System.out.println(model);
+
+            // mise au format latex de la matrice
+            TeXFormula formula = new TeXFormula(String.valueOf(model.get_C()));
+            TeXIcon ti = formula.createTeXIcon(TeXConstants.STYLE_DISPLAY,20);
+            BufferedImage b = new BufferedImage(ti.getIconWidth(), ti.getIconHeight(), BufferedImage.TYPE_4BYTE_ABGR);
+            ti.paintIcon(new JOptionPane(), b.getGraphics(), 0, 0);
+
+            JOptionPane.showMessageDialog(frame.getContentPane(), null, "Matrice C", JOptionPane.PLAIN_MESSAGE,ti);
+        } else {
+            JOptionPane.showMessageDialog(frame.getContentPane(), "Veuillez créer un RDP pour pouvoir créer une matrice", "Erreur", JOptionPane.ERROR_MESSAGE);
+        }
+
     }
 
     public void showOptions(Object obj) {