public class DisplayFormManager
extends java.lang.Object
| Constructor and Description |
|---|
DisplayFormManager() |
| Modifier and Type | Method and Description |
|---|---|
DisplayFormManager |
clearTags() |
java.lang.String |
displayBottomForm() |
java.lang.String |
displaySortForm(Sort sort) |
java.lang.String |
displaySortsForm(ArrayList sorts)
This is the display form of disjunctive sorts which are represented
as ArrayLists.
|
java.lang.String |
displaySortsForm(BitCode sorts,
Taxonomy taxonomy)
This is the display form of disjunctive sorts which are represented
as a BitCode.
|
java.lang.String |
displaySortsForm(Sort[] sorts)
This is the display form of an array of sorts.
|
java.lang.String |
displayTopForm() |
java.lang.String |
quotedDisplayForm(double x) |
java.lang.String |
unquotedDisplayForm(double x) |
public java.lang.String displayBottomForm()
public java.lang.String displayTopForm()
public final java.lang.String displaySortForm(Sort sort)
public final java.lang.String displaySortsForm(Sort[] sorts)
public final java.lang.String displaySortsForm(ArrayList sorts)
public final java.lang.String displaySortsForm(BitCode sorts, Taxonomy taxonomy)
public java.lang.String quotedDisplayForm(double x)
public java.lang.String unquotedDisplayForm(double x)
public DisplayFormManager clearTags()