public class TypeHierarchy
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.List<Sort> |
arraySortList
List of known array sorts.
|
private Services |
services
The KeY services.
|
private java.util.List<Sort> |
sortList
List of known java reference sorts.
|
private java.util.HashMap<Sort,SortNode> |
sortmap
Maps each sort to its SortNode.
|
Constructor and Description |
---|
TypeHierarchy(Services services) |
Modifier and Type | Method and Description |
---|---|
private void |
addSort(Sort s) |
private void |
contractNode(Sort s)
Contracts a sort s.
|
java.util.List<Sort> |
getArraySortList() |
java.util.Set<SortNode> |
getChildren(Sort s)
Returns the children of a sort s.
|
java.util.Set<SortNode> |
getParents(Sort s)
Returns the parents of a sort s.
|
java.util.List<Sort> |
getSortList() |
void |
print() |
void |
removeInterfaceNodes()
Removes all interface sorts from the type hierarchy.
|
private java.util.HashMap<Sort,SortNode> sortmap
private java.util.List<Sort> sortList
private java.util.List<Sort> arraySortList
private Services services
public TypeHierarchy(Services services)
public java.util.List<Sort> getSortList()
public java.util.List<Sort> getArraySortList()
private void addSort(Sort s)
public java.util.Set<SortNode> getChildren(Sort s)
s
- A sort s.public java.util.Set<SortNode> getParents(Sort s)
s
- A sort s.public void removeInterfaceNodes()
private void contractNode(Sort s)
s
- The sort to be contracted.public void print()