View Javadoc

1   package fr.ove.openmath.jome.ctrlview.bidim;
2   
3   import java.awt.*;
4   import java.util.*;
5   import fr.ove.openmath.jome.ctrlview.bidim.*;
6   import fr.ove.openmath.jome.ctrlview.bidim.selection.events.*;
7   import fr.ove.openmath.jome.model.*;
8   
9   /***
10  * A layout manager for an infix operator which symbol is ",".<BR>
11  * In fact, his is not an operator. This layout manager will only serve for specific operators
12  * which need to separate their operands with "," (e.g. lists, enumeration, ...)
13  *
14  * @author © 1999 DIRAT Laurent
15  * @version 2.0  15/12/1999
16  */
17  public class SeparatorOperatorLayout extends StringInfixOperatorLayout {    
18      /***
19      * Returns the display of the operator
20      */
21      public Display createOperatorDisplay() {
22          // Ce n'est pas un opÈrateur en tant que tel, donc pas de fts associÈ, on spÈcifie donc directement
23          // ce qui est censÈ reprÈsenter l'opÈrateur : ","
24          StringDisplay stringDisplay = new StringDisplay(displayToLay.getGraphicContext(), ",", true);
25          stringDisplay.setIsSymbolOperatorDisplay(true);
26          
27          return stringDisplay;
28      }
29      
30      /***
31      * Checks the validity of the selection.
32      */
33      public void validateSelection() {
34          // Pour le moment, on fait rien
35      }
36      
37      /***
38      * Checks the validity of the deselection.
39      * @param display the display to deselect.
40      */
41      public void validateDeselection(Display display) {
42          // Pour le moment, on fait rien
43      }
44  }