1 package fr.ove.openmath.jome.model;
2
3 import java.util.*;
4 import fr.ove.openmath.jome.model.*;
5 import fr.ove.openmath.jome.model.evaluation.*;
6
7 /***
8 * The same as @see BinaryOperator but the difference is the name of the operator is made of letters. And if the
9 * operator is glued to its operands during parsing, the name of the operator could not be detected. So space before
10 * and after the name of the operator are necessary.<BR>
11 * So, the only difference with @see BinaryOperator is the spaces added around the name of the operator when exporting
12 * the linear form.
13 *
14 * @author © 2000 DIRAT Laurent
15 * @version 2.0 12/01/2000
16 */
17 public class NamedBinaryOperator extends BinaryOperator {
18 /***
19 * The Creation of the corresponding linear expression of the formula.
20 */
21 public String createLinear(String linear) {
22 linear = ((FormulaTreeStructure) getChild(0)).createLinear(linear);
23 linear += " " + getTheOperator() + " ";
24 linear = ((FormulaTreeStructure) getChild(1)).createLinear(linear);
25 return linear;
26 }
27 }