JTP API Documentation

jtp.ui.rs
Class UnambiguousFormat

java.lang.Object
  |
  +--java.text.Format
        |
        +--jtp.ui.rs.UnambiguousFormat
All Implemented Interfaces:
Cloneable, Serializable

public class UnambiguousFormat
extends Format

SymbolPrintoutTable.java Created: Wed Feb 20 00:39:28 2002

See Also:
Serialized Form

Constructor Summary
UnambiguousFormat()
           
UnambiguousFormat(Format nameFormat, Format unambiguousFormatter)
           
 
Method Summary
 StringBuffer format(Object o, StringBuffer sb, FieldPosition ignored)
           
 Format getNameFormat()
          This format is being used to derive names for objects being printed out.
 Format getUnambiguousNameFormatter()
          This formatter is used to disambiguate objects in case two or more have the same name.
 Object parseObject(String param1, ParsePosition param2)
           
 Object resolve(String name, int index)
           
 void setNameFormat(Format v)
           
 void setUnambiguousNameFormatter(Format v)
           
 
Methods inherited from class java.text.Format
clone, format, formatToCharacterIterator, parseObject
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

UnambiguousFormat

public UnambiguousFormat()

UnambiguousFormat

public UnambiguousFormat(Format nameFormat,
                         Format unambiguousFormatter)
Method Detail

getNameFormat

public Format getNameFormat()
This format is being used to derive names for objects being printed out. If no other object has the same name, the name will be used to represent the object, othewise the UnambiguousFormatter will be used to disambiguate names.

Returns:
value of nameFormat.
See Also:
getUnambiguousNameFormatter()

setNameFormat

public void setNameFormat(Format v)
Parameters:
v - Value to assign to nameFormat.
See Also:
getNameFormat()

resolve

public Object resolve(String name,
                      int index)

getUnambiguousNameFormatter

public Format getUnambiguousNameFormatter()
This formatter is used to disambiguate objects in case two or more have the same name. For example, if two variables have the same name x, they can be printed out as ?x_1 and ?x_2, correspondingly.


setUnambiguousNameFormatter

public void setUnambiguousNameFormatter(Format v)
See Also:
getUnambiguousNameFormatter()

format

public StringBuffer format(Object o,
                           StringBuffer sb,
                           FieldPosition ignored)
Specified by:
format in class Format

parseObject

public Object parseObject(String param1,
                          ParsePosition param2)
Specified by:
parseObject in class Format

JTP API Documentation