package fr.ove.openmath.jome.ctrlview.bidim;
   
   import java.awt.*;
   import fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout;
   import fr.ove.openmath.jome.ctrlview.bidim.Display;
   import fr.ove.openmath.jome.ctrlview.bidim.selection.events.SelectionEvent;
   import fr.ove.openmath.jome.model.*;
   
   /***
  * A layout manager that lays the display of a slot.
  *
  * @author © 1999 DIRAT Laurent
  * @version 2.0 22/07/1999
  */
  public class SlotLayout extends DisplayLayout {
      /***
      * Computes the size of the display according to its children size (if any),
      * and its different attributes.
      * @return the size of the display.
      */
      public Dimension computeAttributes() {
          updateLevel(displayToLay.getLevel());
          
          Display display = (Display) displayToLay.getComponent(0);
          display.setSize(display.getPreferredSize());
          int width = display.getShiftX() + display.getWidth();
          int height = display.getShiftY() + display.getHeight();
  
          displayToLay.setAscent(display.getShiftY() + display.getAscent());
          displayToLay.setDescent(height - display.getAscent());
          
          displayToLay.setSize(width , height);
          displayToLay.setComputeAttributes(false);
          
          return new Dimension(width , height);
      }
      
      /***
      * Checks the validity of the selection.
      */
      public void validateSelection() {
          Display childDisplay = (Display) displayToLay.getComponent(0);
          if (childDisplay.isSelected()) {
              displayToLay.setSelected();
              SelectionEvent selEvt = new SelectionEvent(displayToLay);
              // On purge la liste des ÈlÈments sÈlectionnÈs.
              selEvt.setAction(SelectionEvent.PURGE, null);
              displayToLay.fireSelectionEvent(selEvt);
              // On y ajoute notre puissance.
              selEvt.setAction(SelectionEvent.ADD, displayToLay);
              displayToLay.fireSelectionEvent(selEvt);
          }
          
          // Puisque le slot n'est juste qu'un display ne possÈdant aucune propriÈtÈ particuliËre,
          // sa sÈlection est automatiquement valide, on regarde au niveau de son pËre.
          Display display = displayToLay;
          if (display.getParent() instanceof Display) {
              display = (Display) display.getParent();
              FormulaTreeStructure fts = (FormulaTreeStructure) display.getListener();
              if (fts.getFather() != null) // Si fts est la racine de la formule alors la sÈlection ? dÈj? ÈtÈ validÈe
                  ((DisplayLayout) display.getLayout()).validateSelection();
          }
  
          // On met ? jour l'affichage.
          display.repaint();
      }
      
      /***
      * Checks the validity of the deselection.
      * @param display the display to deselect.
      */
      public void validateDeselection(Display display) {
          Display father = displayToLay;
          SelectionEvent selEvt = new SelectionEvent(father);
          
          if (father.isSelected()) {
              father.setNotSelected();
              // On enlËve le display pËre de la liste des display sÈlectionnÈs.
              selEvt.setAction(SelectionEvent.REMOVE, father);
              father.fireSelectionEvent(selEvt);
          
              // Comme pour la sÈlection, on contrÙle la validitÈ de la dÈsÈlection.
              if (father.getParent() instanceof Display) {
                  father = (Display) father.getParent();
                  //if (!(display.getListener() instanceof Formula))
                  FormulaTreeStructure fts = (FormulaTreeStructure) display.getListener();
                  if (fts.getFather() != null) // Si fts est la racine de la formule alors la dÈsÈlection ? dÈj? ÈtÈ validÈe
                      ((DisplayLayout) father.getLayout()).validateDeselection(displayToLay);
              }
              
              // HÈ oui, on contrÙle la validitÈ de la sÈlection... dans une dÈsÈlection.
              // Toujours le mÍme pb, est-ce que le nouvel Ètat de la sÈlection (aprËs
              // dÈsÈlection donc) est syntaxiquement cohÈrent ?
              validateSelection();
              
              // On met ? jour l'affichage.
              father.repaint();
          }
      }
 
     /***
     * The display needs to be rebuilt. We do this.
     */
     public void rebuildDisplay() {
         // La taille des displays est probablement diffÈrente de ceux qui Ètaient
         // prÈcÈdemment. On demande alors le recalcul des display ancÍtres.
         displayToLay.computeAncestorsAttributes();
     }
    
     // #################################################
     // ### ImplÈmentation des diffÈrentes interfaces ###
     // #################################################
 
     // ***************************************************
     // *** ImplÈmentation de l'interface LayoutManager ***
 
 
     /*
      * Lays out the container in the specified panel.
      * @param parent the component which needs to be laid out
      */
      public void layoutContainer(Container parent) {
         // Ca c'est parce que c'est le layout manager de la formule. Et comme personne ne dit au container
         // contenant la formule, que la taille de la formule a besoin d'Ítre recalculÈe, il faut bien le
         // faire qque part. Chaque display informe son pËre qu'il doit Ítre recalculÈ, mais la formule ne
         // le fait pas pour le sien.
         parent.setSize(parent.getPreferredSize());
 
         Display display = (Display) parent.getComponent(0);
         display.setSize(display.getPreferredSize());
         display.setLocation(display.getShiftX(), display.getShiftY());
 
         // On place maintenant les Èventuels display enfants du display courant
         display.doLayout();
     }
 
     // *** Fin de l'interface LayoutManager ***
     // ****************************************
 }