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

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

public class ParenthesizeFormater
extends java.lang.Object
implements Formater

Formats the formula tree structure as its corresponding OpenMath object.
Format the child of the instance.

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

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

ParenthesizeFormater

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