View Javadoc

1   package fr.ove.openmath.jome.ctrlview.bidim;
2   
3   import fr.ove.openmath.jome.ctrlview.bidim.*;
4   import fr.ove.openmath.jome.model.*;
5   
6   /***
7   * A layout manager for an infix operator which symbol can be rendered as an image.
8   *
9   * @author © 1999 DIRAT Laurent
10  * @version 2.0  14/12/1999
11  */
12  public abstract class ImageInfixOperatorLayout extends InfixOperatorLayout {    
13      /***
14      * The symbol we have to insert between each component if necessary.
15      */
16      private ImageSymbol symbolOperator = null;
17      
18      /***
19      * Returns the display of the operator
20      */
21      public Display createOperatorDisplay() {
22          if (symbolOperator == null) {
23              Operator fts = (Operator) displayToLay.getListener();
24              //symbolOperator = new ImageSymbol(fts.getTheOperator(), displayToLay);
25              symbolOperator = new ImageSymbol(fts.getResourceIdentifier(), displayToLay);
26          }
27          
28          // On crÈÈ un display pour l'opÈrateur.
29          SymbolDisplay operatorDisplay = new SymbolDisplay(displayToLay.getGraphicContext(), symbolOperator);
30          operatorDisplay.setIsSymbolOperatorDisplay(true);
31          
32          return operatorDisplay;
33      }
34  }