cz.muni.fi.mir.mathmlcanonicalization.modules

Class UnaryOperatorRemover

java.lang.Object

cz.muni.fi.mir.mathmlcanonicalization.modules.UnaryOperatorRemover

All Implemented Interfaces:

DOMModule, Module

public class UnaryOperatorRemover
extends Object
implements DOMModule

Removes unary operators, i.e. //mo[count(preceding-sibling::*) = 0].

Input

Well-formed Presentation or Content MathML

Output

The original code with all unatry operators removed

Example Input

 <?xml version="1.0" encoding="UTF-8"?>
 <math>
   <mrow>
     <mo>-</mo>
     <mi>E</mi>
     <mo>=</mo>
     <mi>m</mi>
     <msup>
       <mi>c</mi>
       <mn>2</mn>
     </msup>
   </mrow>
 </math>
 

Example Output

 <?xml version="1.0" encoding="UTF-8"?>
 <math>
   <mrow>
     <mi>E</mi>
     <mo>=</mo>
     <mi>m</mi>
     <msup>
       <mi>c</mi>
       <mn>2</mn>
     </msup>
   </mrow>
 </math>
 

Author:

Michal Růžička

Field Summary

Fields

Modifier and Type	Field and Description
protected static String	FENCED
protected static String	IDENTIFIER
protected static String	MATH
protected static org.jdom2.Namespace	MATHMLNS
protected static String	OPERATOR
protected static String	OVERSCRIPT
protected Properties	properties
protected static String	ROW
protected static String	SUBSCRIPT
protected static String	SUBSUP
protected static String	SUPERSCRIPT
protected static String	UNDEROVER
protected static String	UNDERSCRIPT

Constructor Summary

Constructors

Constructor and Description
UnaryOperatorRemover()

Method Summary

Modifier and Type	Method and Description
void	declareProperty(String key)
void	execute(org.jdom2.Document doc) Executes the canonicalization module
String	getProperty(String key) Gets given property of the module
Set<String>	getPropertyNames() Gets the module property names
protected Set<String>	getPropertySet(String property)
protected boolean	isEnabled(String key)
protected boolean	isOperator(org.jdom2.Element element)
protected boolean	isOperator(org.jdom2.Element element, String operator)
boolean	isProperty(String key) Finds out if the property is set
protected void	replaceElement(org.jdom2.Element toReplace, String replacementName)
void	setProperty(String key, String value) Sets given property of the module

Methods inherited from class java.lang.Object

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

Methods inherited from interface cz.muni.fi.mir.mathmlcanonicalization.modules.Module

getProperty, getPropertyNames, isProperty, setProperty

Field Detail

properties

protected final Properties properties

MATHMLNS

protected static final org.jdom2.Namespace MATHMLNS

FENCED

protected static final String FENCED

See Also:

Constant Field Values

IDENTIFIER

protected static final String IDENTIFIER

See Also:

Constant Field Values

MATH

protected static final String MATH

See Also:

Constant Field Values

OPERATOR

protected static final String OPERATOR

See Also:

Constant Field Values

OVERSCRIPT

protected static final String OVERSCRIPT

See Also:

Constant Field Values

ROW

protected static final String ROW

See Also:

Constant Field Values

SUBSCRIPT

protected static final String SUBSCRIPT

See Also:

Constant Field Values

SUPERSCRIPT

protected static final String SUPERSCRIPT

See Also:

Constant Field Values

SUBSUP

protected static final String SUBSUP

See Also:

Constant Field Values

UNDEROVER

protected static final String UNDEROVER

See Also:

Constant Field Values

UNDERSCRIPT

protected static final String UNDERSCRIPT

See Also:

Constant Field Values

Constructor Detail

UnaryOperatorRemover

public UnaryOperatorRemover()

Method Detail

execute

public void execute(org.jdom2.Document doc)

Description copied from interface: DOMModule

Executes the canonicalization module

Specified by:

execute in interface DOMModule

Parameters:

doc - document to be modified according to the module specification

getProperty

public String getProperty(String key)

Description copied from interface: Module

Gets given property of the module

Specified by:

getProperty in interface Module

Parameters:

key - property name

Returns:

property value (not null)

isProperty

public boolean isProperty(String key)

Description copied from interface: Module

Finds out if the property is set

Specified by:

isProperty in interface Module

Parameters:

key - property name

Returns:

true if property is set, false otherwise

setProperty

public void setProperty(String key,
                        String value)

Description copied from interface: Module

Sets given property of the module

Specified by:

setProperty in interface Module

Parameters:

key - property name

value - property value

declareProperty

public void declareProperty(String key)

getPropertyNames

public Set<String> getPropertyNames()

Description copied from interface: Module

Gets the module property names

Specified by:

getPropertyNames in interface Module

Returns:

the module property names of type String

isEnabled

protected boolean isEnabled(String key)

getPropertySet

protected Set<String> getPropertySet(String property)

isOperator

protected boolean isOperator(org.jdom2.Element element,
                             String operator)

isOperator

protected boolean isOperator(org.jdom2.Element element)

replaceElement

protected void replaceElement(org.jdom2.Element toReplace,
                              String replacementName)