Top Description Fields Constructors Methods
uk.ac.ed.ph.snuggletex.semantics

public final Class MathNegatableInterpretation

extends Object
implements MathInterpretation
Class Inheritance
All Implemented Interfaces
uk.ac.ed.ph.snuggletex.semantics.MathInterpretation, uk.ac.ed.ph.snuggletex.semantics.Interpretation
Imports
uk.ac.ed.ph.snuggletex.definitions.MathCharacter, uk.ac.ed.ph.snuggletex.internal.util.ObjectUtilities
Supplementary interpretation for an operator which may be negated. This provides information about the corresponding negation operator.

You will want to assign a MathOperatorInterpretation as well to specify the "positive" operator.

Author
David McKain
Version
$Revision$

Field Summary

Modifier and TypeField and Description
private final MathCharacter
negatedCharacter

Constructor Summary

AccessConstructor and Description
public
MathNegatableInterpretation(final MathCharacter negatedCharacter)

Method Summary

Modifier and TypeMethod and Description
public MathCharacter
getNegatedCharacter()

public InterpretationType
getType()

Implements uk.ac.ed.ph.snuggletex.semantics.Interpretation.getType.

public String
toString()

Overrides java.lang.Object.toString.

Returns a string representation of the object.

Inherited from java.lang.Object:
cloneequalsfinalizegetClasshashCodenotifynotifyAllwaitwaitwait

Field Detail

negatedCharacterback to summary
private final MathCharacter negatedCharacter

Constructor Detail

MathNegatableInterpretationback to summary
public MathNegatableInterpretation(final MathCharacter negatedCharacter)

Method Detail

getNegatedCharacterback to summary
public MathCharacter getNegatedCharacter()
getTypeback to summary
public InterpretationType getType()

Implements uk.ac.ed.ph.snuggletex.semantics.Interpretation.getType.

toStringback to summary
public String toString()

Overrides java.lang.Object.toString.

Doc from java.lang.Object.toString.

Returns a string representation of the object. Satisfying this method's contract implies a non-null result must be returned.

Annotations
@Override