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   * This layout manager lays prefixed unary operators.<BR>
8   * The symbol of the operator can be rendered as a simple string
9   *
10  * @author © 1999 DIRAT Laurent
11  * @version 2.0  13/12/1999
12  */
13  public class StringPrefixedUnaryOperatorLayout extends UnaryOperatorLayout {
14      /***
15      * Returns the display of the operator
16      */
17      public Display createOperatorDisplay() {
18          Operator fts = (Operator) displayToLay.getListener();
19          // On crÈÈ un display pour l'opÈrateur.
20          StringDisplay stringDisplay = new StringDisplay(displayToLay.getGraphicContext(), fts.getTheOperator(), true);
21          
22          return stringDisplay;
23      }
24  }