fr.ove.openmath.jome.formaters.om
Class Mfd2SubstitutionFormater

java.lang.Object
  extended byfr.ove.openmath.jome.formaters.om.Mfd2SubstitutionFormater
All Implemented Interfaces:
Formater

public class Mfd2SubstitutionFormater
extends java.lang.Object
implements Formater

Formats the formula tree structure as its corresponding OpenMath object.
Format the function element.

Version:
1.0 07/01/2000
Author:
© 2000 DIRAT Laurent

Constructor Summary
Mfd2SubstitutionFormater()
           
 
Method Summary
 java.lang.String format(java.lang.String formatedObject, FormaterRepository formaterRepository, java.lang.Object obj)
          Returns the specified object formatted as a string.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Mfd2SubstitutionFormater

public Mfd2SubstitutionFormater()
Method Detail

format

public java.lang.String format(java.lang.String formatedObject,
                               FormaterRepository formaterRepository,
                               java.lang.Object obj)
Returns the specified object formatted as a string.

Specified by:
format in interface Formater
Parameters:
formatedObject - the formatted object (for structured object, could represents the beginning).
formaterRepository - where the different other formaters are.
obj - the object to format.


Copyright © 1999-2007 Universit?© de Nice Sophia-Antipolis, I3S, Ove SARL, DFKI and Universit?§t des Saarlandes. All Rights Reserved.