fr.ove.openmath.compounder
Class OMCompounder

java.lang.Object
  fr.ove.openmath.compounder.OMCompounder

public class OMCompounder

extends java.lang.Object

An OpenMath objects compounder.
The elements to compound are identified by name. These elements are compounded thanks to a "pattern" OpenMath object (the source) where the different elements are identified by means of variables whose values are the identifiers of the elements.

For example, lets assume the source is the following OpenMath object : with the element 1 identified by "el1" and the element 2 identified by "el2".
The compounded OpenMath object is : 1 2

Version:

1.0 11/11/2000

Author:

© 2000 DIRAT Laurent

Constructor Summary

OMCompounder()

Method Summary

void	addElement(java.lang.String id, OpenMathizable elem) Adds an element to compound.
void	compound() Builds the compounded OpenMath object.
java.lang.String	getCompounded() Gets the compounded OpenMath object.
java.lang.String	getSource() Returns thesource OpenMath object.
void	removeElement(java.lang.String id) Removes the element with the specified identifier.
void	setSource(java.lang.String source) Sets the source OpenMath object.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OMCompounder

public OMCompounder()

Method Detail

addElement

public void addElement(java.lang.String id,
                       OpenMathizable elem)

Adds an element to compound.

Parameters:

id - the identifier of the element.

elem - the element.

removeElement

public void removeElement(java.lang.String id)

Removes the element with the specified identifier.

Parameters:

id - the identifier of the element.

getCompounded

public java.lang.String getCompounded()

Gets the compounded OpenMath object.

compound

public void compound()

Builds the compounded OpenMath object.

setSource

public void setSource(java.lang.String source)

Sets the source OpenMath object.

Parameters:

source - the source.

getSource

public java.lang.String getSource()

Returns thesource OpenMath object.