cz.muni.fi.mir.mathmlcanonicalization.modules

Class MfencedReplacer

java.lang.Object

cz.muni.fi.mir.mathmlcanonicalization.modules.MfencedReplacer

All Implemented Interfaces:

DOMModule, Module

public class MfencedReplacer
extends Object
implements DOMModule

Replace mfenced elements in MathML for equivalent.

Input

Well-formed MathML, preserved non-default attributes in <mfenced> tags, not processed by MrowMinimizer yet

Output

The original code containing no <mfenced> elements, originally fenced formulae are enclosed in <mrow> tag, contain delimiters and separators (from <mfenced> attributes) in <mo> elements, inner content is placed into another <mrow> element. Module can be configured not to add mrow outside and inside or your own fixed or default parentheses and separators for fenced expressions can be specified.

Example

 <mfenced open="[">
     <mi>x<mi>
     <mi>y<mi>
 </mfenced>

is transformed to

 <mrow>
     <mo>[</mo>
     <mrow>
         <mi>x<mi>
         <mo>,</mo>
         <mi>y<mi>
     </mrow>
     <mo>)</mo>
 </mrow>

Author:

David Formanek

Field Summary

Fields

Modifier and Type	Field and Description
protected static String	FENCED
protected static String	IDENTIFIER
protected static String	MATH
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
MfencedReplacer()

Method Summary

Methods

Modifier and Type	Method and Description
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	loadProperties(String propertiesFilename)
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

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

MfencedReplacer

public MfencedReplacer()

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

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)

loadProperties

protected void loadProperties(String propertiesFilename)

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)