cz.muni.fi.mir.mathmlunificator

Class UnificationLevel

java.lang.Object

cz.muni.fi.mir.mathmlunificator.UnificationLevel

public class UnificationLevel
extends Object

Representation of unification level of a Node by MathMLUnificator.unifyMathMLNode(org.w3c.dom.Node, boolean).

Author:

Michal Růžička

See Also:

MathMLUnificator.unifyMathMLNode(org.w3c.dom.Node, boolean)

Constructor Summary

Constructors

Constructor and Description
UnificationLevel() Construct an instance of representation of unification level of a Node that is not part of unification series, i.e. both nodeLevel and maxLevel will be null.
UnificationLevel(Integer nodeLevel, Integer maxLevel) Construct an instance of representation of unification level of a Node by MathMLUnificator.unifyMathMLNode(org.w3c.dom.Node, boolean).

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Integer	getMaxLevel() Returns maximal level of unification in the XML W3C DOM produced by MathMLUnificator.unifyMathMLNode(org.w3c.dom.Node, boolean) of the Node this instance represents.
Integer	getNodeLevel() Returns level of unification of a Node in the XML W3C DOM produced by MathMLUnificator.unifyMathMLNode(org.w3c.dom.Node, boolean) that is represented by this instance.
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

UnificationLevel

public UnificationLevel(Integer nodeLevel,
                        Integer maxLevel)

Construct an instance of representation of unification level of a Node by MathMLUnificator.unifyMathMLNode(org.w3c.dom.Node, boolean).

Parameters:

nodeLevel - Level of unification of a Node in the XML W3C DOM produced by MathMLUnificator.unifyMathMLNode(org.w3c.dom.Node, boolean). If the node is not unified node the result is null.

maxLevel - Maximal level of unification in the XML W3C DOM produced by MathMLUnificator.unifyMathMLNode(org.w3c.dom.Node, boolean) the Node belongs to. If the node is not part of the unification series the result is null.

UnificationLevel

public UnificationLevel()

Construct an instance of representation of unification level of a Node that is not part of unification series, i.e. both nodeLevel and maxLevel will be null.

Method Detail

getNodeLevel

public Integer getNodeLevel()

Returns level of unification of a Node in the XML W3C DOM produced by MathMLUnificator.unifyMathMLNode(org.w3c.dom.Node, boolean) that is represented by this instance.

Returns:

Unification level of the represented node or null if the represented node is not unified node the result is.

getMaxLevel

public Integer getMaxLevel()

Returns maximal level of unification in the XML W3C DOM produced by MathMLUnificator.unifyMathMLNode(org.w3c.dom.Node, boolean) of the Node this instance represents.

Returns:

Maximal unification level of unification series the represented node belongs to or null if the represented node is not part of the unification series.

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object