public class SortHierarchy
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.LinkedList<SortWrapper> |
sorts |
Modifier | Constructor and Description |
---|---|
protected |
SortHierarchy(java.util.HashMap<Sort,java.lang.StringBuffer> sortnames,
java.util.HashMap<Sort,java.lang.StringBuffer> prednames,
boolean explicitNullHierarchy,
boolean explicitHierarchy,
Services services)
Create a Sort Hierarchy.
|
Modifier and Type | Method and Description |
---|---|
java.util.LinkedList<SortWrapper> |
getSorts() |
private java.util.LinkedList<SortWrapper> sorts
protected SortHierarchy(java.util.HashMap<Sort,java.lang.StringBuffer> sortnames, java.util.HashMap<Sort,java.lang.StringBuffer> prednames, boolean explicitNullHierarchy, boolean explicitHierarchy, Services services)
sortnames
- a HashMap of sorts mapped to the Strings which is displayed in
Formulaspublic java.util.LinkedList<SortWrapper> getSorts()