uk.ac.ed.ph.snuggletex.upconversion

类 UpConversionOptions

java.lang.Object

uk.ac.ed.ph.snuggletex.upconversion.UpConversionOptions

所有已实现的接口:

java.lang.Cloneable

public final class UpConversionOptions
extends java.lang.Object
implements java.lang.Cloneable

Encapsulates the various options and assumptions that can be used when running the up-conversion process.

(These can be set explicitly via this Java API, or using custom LaTeX macros as well.)

从以下版本开始:

1.2.0

构造器概要

构造器

构造器和说明
UpConversionOptions()

方法概要

限定符和类型	方法和说明
void	assumeSymbol(org.w3c.dom.Element element, java.lang.String assumptionType)
void	clearSpecifiedOption(java.lang.String name)
java.lang.Object	clone()
java.util.Set<ElementWrapper>	getAssumedSymbols()
java.lang.String	getEffectiveOptionValue(java.lang.String name, boolean applyDefault)
java.util.Set<java.lang.String>	getSpecifiedOptionNames()
java.lang.String	getSpecifiedOptionValue(java.lang.String name)
java.lang.String	getSymbolAssumptionType(org.w3c.dom.Element element)
java.lang.String	getSymbolAssumptionType(ElementWrapper elementWrapper)
boolean	isOptionSpecified(java.lang.String name)
void	setSpecifiedOption(java.lang.String name, java.lang.String value)
void	unassumeSymbol(org.w3c.dom.Element element)

从类继承的方法 java.lang.Object

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

构造器详细资料

UpConversionOptions

public UpConversionOptions()

方法详细资料

isOptionSpecified

public boolean isOptionSpecified(java.lang.String name)

getSpecifiedOptionNames

public java.util.Set<java.lang.String> getSpecifiedOptionNames()

getSpecifiedOptionValue

public java.lang.String getSpecifiedOptionValue(java.lang.String name)

getEffectiveOptionValue

public java.lang.String getEffectiveOptionValue(java.lang.String name,
                                                boolean applyDefault)

setSpecifiedOption

public void setSpecifiedOption(java.lang.String name,
                               java.lang.String value)

抛出:

IllegalUpconversionOptionException

clearSpecifiedOption

public void clearSpecifiedOption(java.lang.String name)

抛出:

IllegalUpconversionOptionException

getAssumedSymbols

public java.util.Set<ElementWrapper> getAssumedSymbols()

getSymbolAssumptionType

public java.lang.String getSymbolAssumptionType(org.w3c.dom.Element element)

getSymbolAssumptionType

public java.lang.String getSymbolAssumptionType(ElementWrapper elementWrapper)

assumeSymbol

public void assumeSymbol(org.w3c.dom.Element element,
                         java.lang.String assumptionType)

抛出:

IllegalUpconversionOptionException

unassumeSymbol

public void unassumeSymbol(org.w3c.dom.Element element)

抛出:

IllegalUpconversionOptionException

clone

public java.lang.Object clone()

覆盖:

clone 在类中 java.lang.Object