View Javadoc

1   package fr.ove.openmath.jome.model;
2   
3   import java.util.*;
4   import fr.ove.openmath.jome.model.*;
5   
6   /***
7   * The factorial operator
8   *
9   * @author © 2000 DIRAT Laurent
10  * @version 2.1  24/02/2000
11  */
12  public class Factorial extends UnaryPostfixedOperator {
13      /***
14      * The constructor.
15      */
16      public Factorial() {
17          super();
18          setTheOperator("!");
19      }
20          
21      /***
22      * Set the specified value
23      * @param the value to set.
24      */
25      public void setValue(String value) {
26          // Surcharge et on ne fait rien car le nom de l'opÈrateur est spÈcifÈ dans le constructeur.
27          // C'est nÈcessaire parce que danslefchier de ressources, il semble qu'il y ait des pb avec "!"
28          // comme identificateur. D'o? l'identificateur "fact".
29          // Si pas surcharge, le nom de lopÈrateur sera "fact" et non "!" comme attendu.
30      }
31      
32  }
33