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

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

public class MapsToSigmaFormater
extends java.lang.Object
implements Formater

Formats the formula tree structure as its corresponding OpenMath object.
This is the formater of operators which have the sigma format :

Version:
1.0 21/02/2000
Author:
© 2000 DIRAT Laurent

Constructor Summary
MapsToSigmaFormater()
           
 
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

MapsToSigmaFormater

public MapsToSigmaFormater()
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.