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

java.lang.Object
  fr.ove.openmath.jome.formaters.om.LambdaFormater

All Implemented Interfaces:

Formater

public class LambdaFormater

extends java.lang.Object

implements Formater

Formats the formula tree structure as its corresponding OpenMath object.
This is the formater for the lambda expressions

Version:

1.0 22/02/2000

Author:

© 2000 DIRAT Laurent

Constructor Summary

LambdaFormater()

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

LambdaFormater

public LambdaFormater()

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.