Class EnumSymbol

java.lang.Object
  |
  +--EnumSymbol
All Implemented Interfaces:
FILisable, java.io.Serializable

public class EnumSymbol
extends java.lang.Object
implements java.io.Serializable, FILisable

The class `EnumSymbol' represents an enumeration symbol.

See Also:
Serialized Form

Constructor Summary
EnumSymbol(java.lang.String symbol)
          Constructs an instance of EnumSymbol.
 
Method Summary
 boolean equals(java.lang.Object anObject)
          Returns true just in case the given object is an EnumSymbol whose string is equal to this one.
 java.lang.String FILise(boolean HTML)
          Returns a string representing this enumeration symbol in FIL.
 java.lang.String toString()
          Returns the string representation of this enumeration symbol.
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

EnumSymbol

public EnumSymbol(java.lang.String symbol)
Constructs an instance of EnumSymbol.
Parameters:
symbol - A string representing the enumeration symbol.
Method Detail

equals

public boolean equals(java.lang.Object anObject)
Returns true just in case the given object is an EnumSymbol whose string is equal to this one.
Overrides:
equals in class java.lang.Object
Parameters:
anObject - The Object to be compared.
Returns:
True just in case the given object is an EnumSymbol whose string is equal to this one.

toString

public java.lang.String toString()
Returns the string representation of this enumeration symbol.
Overrides:
toString in class java.lang.Object
Returns:
The string representation of this enumeration symbol.

FILise

public java.lang.String FILise(boolean HTML)
Returns a string representing this enumeration symbol in FIL.
Specified by:
FILise in interface FILisable
Parameters:
HTML - If true, the FIL will be augmented with HTML tags.
Returns:
A string representing the enumeration symbol in FIL.